Léon Probst
leonprobst.bsky.social
PhD student in philosophy at ISFI in USI, doing logic and philo of math https://leon-probst.github.io/
👤 Joined on 09 December 2023
51
Followers
126
Following
3
Total Posts
📜 Kullanıcı Geçmişi
- 09 Ara 2023, 09:42
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@leonprobst.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
A new paper is out, joint with Atticus Stonestorm. I first met Atticus in Oxford years ago, when he was an undergrad, but he is now a math PhD student at Notre Dame, finishing up this year. We worked together on this interesting project, which has come to fruition. jdh.hamkins.org/pattern-of-c...
Show Post
I can't get any work done today. My chair is nervous, the desk is in a panic... it seems like the whole building is freaking out.
Show Post
Yong Cheng: The Limits of Arithmetical Pluralism: Incompleteness, Large Cardinals, and Graded Non-Pluralism https://arxiv.org/abs/2609.22797 https://arxiv.org/pdf/2609.22797 https://arxiv.org/html/2609.22797
Show Post
News: Tim will continue at Oxford as a Senior Research Fellow, from this October. His main affiliation will be to the Oxford Philosophy Faculty.
Show PostEnd of an era- Tim was asked while moving out of his Oxford New College office into a new one in Schwarzman centre, Philosophy faculty: “Do you feel like expelled from paradise?” Tim: “Worse, Adam and Eve didn’t have to do all this packing!”
Show Post