Sign in

Toby Meadows

@tobymeadows.bsky.social
844 followers 213 following 162 posts

logician: I do math that mathematicians think is philosophy; and philosophy that philosophers think is math logic, philosophy of math, set theory lps uci sites.google.com/site/tobymeadows

PostsRepliesMedia
Toby Meadows @tobymeadows.bsky.social · 29/08/2026
Twitter's getting more fun again ... ie awful ... yay?!
000
Toby Meadows @tobymeadows.bsky.social · 26/04/2026
Anyone 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/2026
In which I prove something that was obviously true, but it takes a while and is quite fun.
030
Reposted by Toby Meadows
Shawn 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.com
Can The Classical Ladder Be Kicked Away? The View from One Rung Up - Journal of Philosophical Logic
Nonclassical 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 · 05/11/2025
Finally a draft! bsky.app/profile/arxi...
120
Toby Meadows @tobymeadows.bsky.social · 24/09/2025
Must do better!
030
Toby Meadows @tobymeadows.bsky.social · 24/09/2025
An 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/2025
Baire 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/2025
I 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 Meadows
arXiv math.LO Logic @mathlo-bot.bsky.social · 07/08/2025
Jason 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/2025
Can 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/2025
Learning a little algebraic topology. Can't get the Beach Boys out of my head.
120
Reposted by Toby Meadows
Ross Carroll @rosscarroll.bsky.social · 25/02/2025
When 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
Reposted by Toby Meadows
julia 🌋 @hypv.bsky.social · 21/02/2025
jesus christ
2184
Toby Meadows @tobymeadows.bsky.social · 14/02/2025
Bourbakan't do logic... amiright?!
000
Toby Meadows @tobymeadows.bsky.social · 02/02/2025
That 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/2025
That 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/2025
Are there any good intro books/papers on HoTT that are more focused on the homotopy persective?
030
Toby Meadows @tobymeadows.bsky.social · 23/01/2025
AGI angst is theology for a new generation of bright dimwits.
161
Reposted by Toby Meadows
Lauren Ross @laurennross.bsky.social · 21/01/2025
New 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/2025
A 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/2024
I think I'm getting the hang of Blitter. Look at this idiot saying stuff on X! What a loser.
140
Reposted by Toby Meadows
Joel David Hamkins @joeldavidhamkins.bsky.social · 13/12/2024
Deeply 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
Toby Meadows @tobymeadows.bsky.social · 11/12/2024
Follow JB!
010
Reposted by Toby Meadows
lastpositivist.bsky.social @lastpositivist.bsky.social · 11/12/2024
Profound 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/2024
Anyone know something relative gentle on sweet forcing?
000
Reposted by Toby Meadows
Ron Avitzur @ronavitzur.bsky.social · 06/12/2024
Today's Equation: z=e^(-r²)*(sin(2πr)-(r cos(3θ))) #MathArt
z=e^(-r^2)*[sin(2*pi*r)-(r*cos(3*theta))] sculpted in plasticinez=e^(-r^2)*[sin(2*pi*r)-(r*cos(3*theta))] rendered by the Pacific Tech Graphing Calculator
1136
Reposted by Toby Meadows
Munich Center for Mathematical Philosophy @lmu-mcmp.bsky.social · 26/11/2024
The 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 Meadows
Jim Weatherall @jamesowenweatherall.com · 03/12/2024
New 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/2024
Look my first bit of Blitter snark. Soon, this place will be just as bad as the hellsite.
240
Reposted by Toby Meadows
Toby Meadows @tobymeadows.bsky.social · 03/12/2024
I see people talking about SKeeting ... ... it's obvious that we're BLeeting ... Baaa!
media.tenor.com
a close up of a cartoon sheep with the words baaaa on the bottom
ALT: a close up of a cartoon sheep with the words baaaa on the bottom
211
Toby Meadows @tobymeadows.bsky.social · 03/12/2024
I see people talking about SKeeting ... ... it's obvious that we're BLeeting ... Baaa!
media.tenor.com
a close up of a cartoon sheep with the words baaaa on the bottom
ALT: a close up of a cartoon sheep with the words baaaa on the bottom
211
Reposted by Toby Meadows
Joel David Hamkins @joeldavidhamkins.bsky.social · 30/11/2024
Here 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...
Surreal numbers
4325
Toby Meadows @tobymeadows.bsky.social · 26/11/2024
Kevin the romantic!
media.tenor.com
a couple of cartoon dogs eating spaghetti together
ALT: a couple of cartoon dogs eating spaghetti together
160
Reposted by Toby Meadows
Sridhar Ramesh @radishharmers.bsky.social · 24/11/2024
I 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/2024
If 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/2024
Anyone else finish Arcane? That was something else.
000
Reposted by Toby Meadows
Toby Meadows @tobymeadows.bsky.social · 18/11/2024
I have now completed analytic philosophy.
191
Toby Meadows @tobymeadows.bsky.social · 24/11/2024
There'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 Meadows
Kevin Zollman @kevinzollman.com · 23/11/2024
Here'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/2024
So many people have come here from Twitter ... maybe that's not great
070
Toby Meadows @tobymeadows.bsky.social · 18/11/2024
I have now completed analytic philosophy.
191
Toby Meadows @tobymeadows.bsky.social · 18/11/2024
Hear 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 Meadows
Cailin 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
Women talking in front of a posterSame
1494
Reposted by Toby Meadows
Jim Weatherall @jamesowenweatherall.com · 15/11/2024
The 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 Meadows
Kevin Zollman @kevinzollman.com · 15/11/2024
He's doing a great job!
011
Reposted by Toby Meadows
Kevin Zollman @kevinzollman.com · 15/11/2024
This 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 · 14/11/2024
What is geometry?
110
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
Reposted by Toby Meadows
Clare @scroller.bsky.social · 22/10/2023
Alt4You 🤘
A B&W sketched meme based on the classic Trolley Problem metaphor for moral decision making 

The trolley is top left and there's a controller holding the switch lever at the first 3-prong fork/split in the tracks 

There's an identical second controller holding a second lever top centre as the 3-prong tracks further split along, at a dotted line across the tracks

The 3 tracks then cross in a complex pattern before returning to being 3 tracks

At the end of each of these 3 tracks, front right, is a board with a question mark, and each track has an option to choose from: a goat, sports car and and goat, respectively
085