Toby Meadows @tobymeadows.bsky.social · 29/08/2026Twitter's getting more fun again ... ie awful ... yay?! 000
Toby Meadows @tobymeadows.bsky.social · 26/04/2026Anyone know any good notes on Easton support forcing, very generally construed? Bits and pieces are out there, but I can't see anything bringing it all together. 010
Toby Meadows @tobymeadows.bsky.social · 29/01/2026In which I prove something that was obviously true, but it takes a while and is quite fun. 030
Reposted by Toby MeadowsShawn Standefer @standefer.bsky.social · 15/11/2025"Can The Classical Ladder Be Kicked Away? The View from One Rung Up" by @rohanfrench.bsky.social link.springer.com/article/10.1...link.springer.comCan The Classical Ladder Be Kicked Away? The View from One Rung Up - Journal of Philosophical LogicNonclassical logicians often justify their use of classical logic in their metatheoretic reasoning as, to put things in Bob Meyer’s evocative phrasing, “preaching in Classicalese to the Classicalists”... 0102
Toby Meadows @tobymeadows.bsky.social · 24/09/2025An amusing part of this unamusing situation is that the proposed example is about currency. As such, it makes no use whatsoever of whatever spooky "natural properties" are possessed by gold. You might as well use fools' gold. Or paper. It doesn't really matter. Just like metaphysics. 070
Toby Meadows @tobymeadows.bsky.social · 20/09/2025Baire space is a Baire space. But not every Baire space is Baire space. ... not sure this is a good thing ... 020
Toby Meadows @tobymeadows.bsky.social · 01/09/2025I think this is quite interesting. Still not really sure what to make of the imo surprising results. Huge thanks to Gabe Goldberg and Pen Maddy for quite different forms of generous assistance. 083
Reposted by Toby MeadowsarXiv math.LO Logic @mathlo-bot.bsky.social · 07/08/2025Jason Chen, Toby Meadows: Teasing apart definitional equivalence arxiv.org/abs/2508.03956 arxiv.org/pdf/2508.03956 arxiv.org/html/2508.03956 021
Toby Meadows @tobymeadows.bsky.social · 24/04/2025Can someone recommend an intro to HoTT or MLTT that uses context based proof theory that is very precise (like a proof theorist) in its handling of the basic syntactic items and how they are assembled? The HoTT book is not great on this. Rijke is much better but is a little too swift imo on this. 100
Toby Meadows @tobymeadows.bsky.social · 25/03/2025Learning a little algebraic topology. Can't get the Beach Boys out of my head. 120
Reposted by Toby MeadowsRoss Carroll @rosscarroll.bsky.social · 25/02/2025When I worked in UK academia I recall hearing of a Japanese man who was baffled at how Britain had decided to run its universities like firms. “Why? Your universities are excellent and your firms are terrible.” 2354221480
Toby Meadows @tobymeadows.bsky.social · 02/02/2025That bittersweet sense of satisfaction that comes from spending months working on a formal framework that once took 25-30 pages to lay out and now takes 4. 060
Toby Meadows @tobymeadows.bsky.social · 02/02/2025That bittersweet sense of satisfaction that comes from spending months working on a formal framework that once took 25-30 pages to lay out and now takes 4. 020
Toby Meadows @tobymeadows.bsky.social · 25/01/2025Are there any good intro books/papers on HoTT that are more focused on the homotopy persective? 030
Toby Meadows @tobymeadows.bsky.social · 23/01/2025AGI angst is theology for a new generation of bright dimwits. 161
Reposted by Toby MeadowsLauren Ross @laurennross.bsky.social · 21/01/2025New book "Explanation in Biology" with Cambridge University Press is out & open access! Covers (1) causal explanation & (2) non-causal/mathematical explanation in life sciences--bio, neuro, etc 🌿🧬🧠 Introduction to philosophical work on scientific explanation! www.cambridge.org/core/element... 1027199
Toby Meadows @tobymeadows.bsky.social · 06/01/2025A good philosopher of mathematics needs an eye for where the mathematics stops and the philosophy begins. For many a good mathematician such an intuition is a hindrance. 1122
Toby Meadows @tobymeadows.bsky.social · 19/12/2024I think I'm getting the hang of Blitter. Look at this idiot saying stuff on X! What a loser. 140
Reposted by Toby MeadowsJoel David Hamkins @joeldavidhamkins.bsky.social · 13/12/2024Deeply honored to be giving the Reinhardt Lecture in March at the University of Colorado at Boulder—plans are finalizing. I shall speak on my thought-experiment concerning how we might have come to view the continuum hypothesis as a fundamental axiom. Details soon. 091
Reposted by Toby Meadowslastpositivist.bsky.social @lastpositivist.bsky.social · 11/12/2024Profound sense of unreality when you look at transphobes claims. I don't know why I find the case so striking, but the gap between the lovable band of awkward nerds who constitute the trans people I know vs the civilisation ending threat to life as we know it they're presented as is quite something. 722339
Toby Meadows @tobymeadows.bsky.social · 09/12/2024Anyone know something relative gentle on sweet forcing? 000
Reposted by Toby MeadowsRon Avitzur @ronavitzur.bsky.social · 06/12/2024Today's Equation: z=e^(-r²)*(sin(2πr)-(r cos(3θ))) #MathArt 1136
Reposted by Toby MeadowsMunich Center for Mathematical Philosophy @lmu-mcmp.bsky.social · 26/11/2024The Munich Center for Mathematical Philosophy at LMU Munich is now on Bluesky. Please help us spread the word. #Philosophy #Mathematics #Science #Logic 14824
Reposted by Toby MeadowsJim Weatherall @jamesowenweatherall.com · 03/12/2024New preprint! #philsky This one is different from my usual fare. It came out of conversations over the past 18 months with my good friend Jesse Wolfson (jpwolfson.com), a mathematician here at UC Irvine. We got interested in efforts to automate mathematics. philsci-archive.pitt.edu/24324/philsci-archive.pitt.edu Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof - PhilSci-Archive 3417
Toby Meadows @tobymeadows.bsky.social · 03/12/2024Look my first bit of Blitter snark. Soon, this place will be just as bad as the hellsite. 240
Reposted by Toby MeadowsToby Meadows @tobymeadows.bsky.social · 03/12/2024I see people talking about SKeeting ... ... it's obvious that we're BLeeting ... Baaa!media.tenor.coma close up of a cartoon sheep with the words baaaa on the bottomALT: a close up of a cartoon sheep with the words baaaa on the bottom 211
Toby Meadows @tobymeadows.bsky.social · 03/12/2024I see people talking about SKeeting ... ... it's obvious that we're BLeeting ... Baaa!media.tenor.coma close up of a cartoon sheep with the words baaaa on the bottomALT: a close up of a cartoon sheep with the words baaaa on the bottom 211
Reposted by Toby MeadowsJoel David Hamkins @joeldavidhamkins.bsky.social · 30/11/2024Here I am! What's going on at BlueSky? I'm interested in all things infinite, including especially math and philosophy and the interaction of math and philosophy. Please point me toward what's going on here. Meanwhile, for your enjoyment here is a picture I made of the first few surreal numbers... 4325
Toby Meadows @tobymeadows.bsky.social · 26/11/2024Kevin the romantic!media.tenor.coma couple of cartoon dogs eating spaghetti togetherALT: a couple of cartoon dogs eating spaghetti together 160
Reposted by Toby MeadowsSridhar Ramesh @radishharmers.bsky.social · 24/11/2024I smash every mirror I can get my hands on. I'm up to 287 years bad luck so far. I'm going to live forever. 1145039
Toby Meadows @tobymeadows.bsky.social · 25/11/2024If you're interested in contemporary set theory and large cardinals, then this paper is a must-see! www.math.uni-hamburg.de/home/luecke/...math.uni-hamburg.de 2134
Toby Meadows @tobymeadows.bsky.social · 25/11/2024Anyone else finish Arcane? That was something else. 000
Reposted by Toby MeadowsToby Meadows @tobymeadows.bsky.social · 18/11/2024I have now completed analytic philosophy. 191
Toby Meadows @tobymeadows.bsky.social · 24/11/2024There's some good vibes here but also something a little ick. It's as tho we're clubbing together to pretend the last eight years didn't happen. Not sure I'm okay with that. 100
Reposted by Toby MeadowsKevin Zollman @kevinzollman.com · 23/11/2024Here's a start to a mathematical philosophers starter pack. I'm having a hard time keeping track of who is here these days. Apologies if I missed you. Let me know if you want to be added or removed, or if you know anyone else who should be on here. 2615748
Toby Meadows @tobymeadows.bsky.social · 20/11/2024So many people have come here from Twitter ... maybe that's not great 070
Toby Meadows @tobymeadows.bsky.social · 18/11/2024Hear me out: I think e-bikes should be called goth-feet. Note they're not really bikes, they're mopeds. They're e-mopeds ... emo-peds ... goth-peds ... goth-feet. 140
Reposted by Toby MeadowsCailin O’Connor @cailinmeister.bsky.social · 16/11/2024🧵A slew of our students presenter posters at #PSA24- Margaret Farrell on evolutionary narratives and how they explain 1494
Reposted by Toby MeadowsJim Weatherall @jamesowenweatherall.com · 15/11/2024The Department of Logic and Philosophy of Science at UC Irvine is very excited to once again sponsor the Poster Forum and reception at #PSA2024. Join us at 6.30pm in the Acadia Ballroom! 1223
Reposted by Toby MeadowsKevin Zollman @kevinzollman.com · 15/11/2024This morning I'm headed to the session on algorithmic randomness at #psa24. With my colleagues Francesca Zaffora Blando and Chris Mierzewski and old friends Simon Huttegger and Jeff Barrett. The session will explore why philosophers of science are (and should be) so interested in randomness 2417
Toby Meadows @tobymeadows.bsky.social · 25/10/2023@kameryn.bsky.social Something not so nice about Barwises's book. It seems to entirely skip Karp's work on primitive recursion. 110