"Can The Classical Ladder Be Kicked Away? The View from One Rung Up" by @rohanfrench.bsky.social link.springer.com/article/10.1...

Finally a draft! bsky.app/profile/arxi...

Must do better!

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.

Baire space is a Baire space. But not every Baire space is Baire space. ... not sure this is a good thing ...

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.

Jason Chen, Toby Meadows: Teasing apart definitional equivalence https://arxiv.org/abs/2508.03956 https://arxiv.org/pdf/2508.03956 https://arxiv.org/html/2508.03956

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.

Learning a little algebraic topology. Can't get the Beach Boys out of my head.

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.”

jesus christ

Bourbakan't do logic... amiright?!

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.

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.

Are there any good intro books/papers on HoTT that are more focused on the homotopy persective?

AGI angst is theology for a new generation of bright dimwits.

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...

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.

I think I'm getting the hang of Blitter. Look at this idiot saying stuff on X! What a loser.

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.

Follow JB!

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.

Anyone know something relative gentle on sweet forcing?

Today's Equation: z=e^(-r²)*(sin(2πr)-(r cos(3θ))) #MathArt

The Munich Center for Mathematical Philosophy at LMU Munich is now on Bluesky. Please help us spread the word. #Philosophy #Mathematics #Science #Logic

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/

Look my first bit of Blitter snark. Soon, this place will be just as bad as the hellsite.

I see people talking about SKeeting ... ... it's obvious that we're BLeeting ... Baaa!

I see people talking about SKeeting ... ... it's obvious that we're BLeeting ... Baaa!

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...

Kevin the romantic!

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.

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/...

Anyone else finish Arcane? That was something else.

I have now completed analytic philosophy.

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.

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.

So many people have come here from Twitter ... maybe that's not great

I have now completed analytic philosophy.

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.

🧵A slew of our students presenter posters at #PSA24- Margaret Farrell on evolutionary narratives and how they explain

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!

He's doing a great job!

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

What is geometry?

@kameryn.bsky.social Something not so nice about Barwises's book. It seems to entirely skip Karp's work on primitive recursion.

Alt4You 🤘

ah the pleasure of returning to an old problem after enough time to forget things and still getting stuck in exactly the same place

one of our cats now lives inside (not under) our bed ...

I don't know how you did it, but what a way to go.