Léon Probst @Probst_lp
PhD student in philosophy at @ISFILugano and @USI_university, mostly doing logic and phil of math leon-probst.myportfolio.com Lugano, Switzerland Joined November 2022-
Tweets11
-
Followers28
-
Following71
-
Likes502
Léon Probst retweeted
The Road to Paradox by Volker Halbach and Graham E. Leigh A clear and direct introduction to the theory of paradoxes and the Gödel incompleteness theorems. 📚 cup.org/3zKpTPg
4
53
250
13K
113
Download Image
Great answers on the arithmetized completeness theorem, which apparently appears already in the Grundlagen der Mathematik (Hilbert and Bernays, 1928)! mathoverflow.net/questions/4777…
Léon Probst retweeted
"What makes definitions hard is that you have to generate them given nothing. You're not given literally nothing; you're just given nothing formal...The search space is about as big as it could be." lesswrong.com/posts/EF8tvShQ…
Léon Probst retweeted
Also, when mathematicians talk about “inaccessible cardinals”, they do not mean that the pope's entourage has become very much out of touch.
Léon Probst retweeted
📌Framed Moments Lugano Philosophy Colloquia with Léon Probst! 22 March 2024
Léon Probst retweeted
Léon Probst (USI) will give the talk "What is a good Gödel numbering?" as part of the Lugano Philosophy Colloquia. Don't miss it on March 22 at 5.30pm (CET)! For Zoom link: [email protected] For more: usi.ch/en/feeds/26653
Léon Probst retweeted
💥 Summer School: Syntax, Truth and Paradox. Application Deadline: 15 February 2024! Volker Halbach and Lorenzo Rossi will teach our Summer School in Lugano (Switzerland) on 17–21 June 2024. For more info: usi.ch/paradox For any question: [email protected]
Léon Probst retweeted
Balthasar Grabmayr (Tübingen) will give the talk "On the limits of Mathematics and their philosophical consequences" for the Lugano Philosophy Colloquia. Don't miss it on Friday 1 December at 5.30pm (CET)! For Zoom link: [email protected] For more info: usi.ch/en/feeds/25721
Great talks and time with Kit Fine, Alessandro Giordani, Leon Horsten and Giorgio Venturi! At the Arbitrary Objects workshop on 20-21 May:
Workshop: Arbitrary Objects on May 20 – 21 With Kit Fine (NYU), Alessandro Giordani (Catholic University Milan), Leon Horsten (Konstanz), Giorgio Venturi (Pisa) Join us on USI campus or on Zoom. To get the link, write to [email protected] More details: usi.ch/en/feeds/24102
CaraBessemer @Js0nnd7T9WD5k
23 Followers 1K Following
Azul @AzulFatalini
69 Followers 79 Following Phd in Set Theory. Argentinian living in Germany. She/her.
Tewlouwh @TewlouwhtvW6ny
36 Followers 609 Following
Mary Leng @mary_leng
4K Followers 4K Following Professor of Philosophy. Mum to four. https://t.co/XJdUBGdp5A @uoyphilosophy @uniofyork
Lorenzo Lorenzetti @LoreLorenzetti
202 Followers 811 Following Postdoc at @ISFILugano // PhD @BristolUni // Philosophy of physics, philosophy of science, metaphysics
Nicola Bonatti @nicola_bonatti
95 Followers 209 Following PhD Candidate at the @LMU_MCMP | I do research in Logic and Phil of Math | Here to connect and keep updated (he/his)✌️
Dr Paola Cattabriga @CattabrigaPaola
40 Followers 233 Following Logician, working on diagonalization and self-referring procedures.
Noé de Rancourt @NdeRancourt
327 Followers 355 Following Pronounced /no.e dø.ʁɑ̃.kuʁ/. I do things having a combinatorial flavour in infinite and/or continuous contexts. 05D10, 46Bxx, 03E15, 03E60.
Bergen Logic Group @BergenLogic
789 Followers 370 Following A logic research group at the Department of Philosophy, University of Bergen, Norway. @UiB @UiB_Philosophy
Sara Ayhan @Sara_Ayhan_
1K Followers 605 Following Logician & philosopher @ruhrunibochum, Post-Doc. I like proof theory, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)
Niccolò Covoni @CovoniNiccolo
792 Followers 469 Following 7. Wovon man nicht sprechen kann, darüber muss man schweigen. PhD Student @uniurbit in ReMeST PhD Student @ISFILugano in Philosophy
Peter Smith @PeterSmith
3K Followers 448 Following Sometime Cambridge logic lecturer, now idling in retirement. Also procrastinating at @[email protected]
Yagyapal @yagyepal
312 Followers 3K Following Philosophy @Univofdelhi / Logic/ Philosophy of Language/ History of Philosophy/ film/ poetry/ praxis
Kappa @woolah333
12 Followers 802 Following
Hanul Jeon @hanuljeon95
556 Followers 297 Following A doctoral student at @Cornell. Interested in logic (proof theory and set theory). he/him. Mastodon: @[email protected]
Robin T. Bianchi @Robin_bI
183 Followers 154 Following Doctoral Assistant in philosophy at @UniNeuchatel. Philosophy of action, mind & metaphysics
Toby Meadows @TobyMeadows
2K Followers 639 Following logician, adj. (pejorative) I do math that mathematicians think is philosophy ... and I do philosophy that philosophers think is math ...
Alessandro Torza @torschau
654 Followers 427 Following Associate Professor of Logic and Philosophy of Science @unipr, cinephile, apostate. 🇮🇹 🇲🇽 🇺🇸 🇪🇺
Luca Incurvati @LIncurvati
749 Followers 431 Following Philosopher and logician at the University of Amsterdam and ILLC丨PI of the ERC project @EXPRESS_project
Page about Timothy Wi... @TWilliamson55
6K Followers 2K Following NON PHILOSOPHER ADMIN RUN. Facts ABOUT T. Williamson, work,biography,schedule,books, articles. He’s too busy to use social media.Opinions here if any, by admin.
Oranthorn @yachenphil
2 Followers 83 Following
ISFI - Institute of P... @ISFILugano
303 Followers 106 Following Events, research, and news from our Institute of Philosophy (ISFI) at @USI_university and FTL in Lugano.
Rodrigo Ballon-Villan... @BallonvR
160 Followers 93 Following Ph.D. student in Philosophy @durham_uni. @wolfsonfdn Scholar. Previously: @USI_university, @unav. Thinking Analytically, dressing Continental.
Antonio Freiles @anfreiles
78 Followers 296 Following
ESSLLI @ESSLLI_official
634 Followers 0 Following This is the official Twitter account of the European Summer School in Logic, Language, and Information.
Azul @AzulFatalini
69 Followers 79 Following Phd in Set Theory. Argentinian living in Germany. She/her.
Mary Leng @mary_leng
4K Followers 4K Following Professor of Philosophy. Mum to four. https://t.co/XJdUBGdp5A @uoyphilosophy @uniofyork
Erin Carmody @uncountableart
640 Followers 414 Following Logic, set theory, art https://t.co/zxvWZRW25Y
Al Wilson @modalizing
2K Followers 628 Following Likes metaphysics, physics, nature, Green politics, dogs, and parenting. Book on quantum metaphysics: https://t.co/krxccXynuY
Paul Elek @Paul_Elek
18K Followers 2K Following Analyste sur @LeMediaTV. Équipe @SRContretemps. Doctorant en sociologie du travail 🚩Nizan fan account 🚩🇵🇸 🇳🇨
arXiv.org @arxiv
42K Followers 187 Following News from https://t.co/enurGFxpcS, a free distribution service and an open archive for scholarly articles. For help with arXiv, see https://t.co/LcWuhM0BOl
Philosophae Mathemati... @scholarofmaths
273 Followers 506 Following Mathematics, Philosophy and Science 🧠📚
Dr Paola Cattabriga @CattabrigaPaola
40 Followers 233 Following Logician, working on diagonalization and self-referring procedures.
Nicola Bonatti @nicola_bonatti
95 Followers 209 Following PhD Candidate at the @LMU_MCMP | I do research in Logic and Phil of Math | Here to connect and keep updated (he/his)✌️
Noé de Rancourt @NdeRancourt
327 Followers 355 Following Pronounced /no.e dø.ʁɑ̃.kuʁ/. I do things having a combinatorial flavour in infinite and/or continuous contexts. 05D10, 46Bxx, 03E15, 03E60.
Bergen Logic Group @BergenLogic
789 Followers 370 Following A logic research group at the Department of Philosophy, University of Bergen, Norway. @UiB @UiB_Philosophy
Sara Ayhan @Sara_Ayhan_
1K Followers 605 Following Logician & philosopher @ruhrunibochum, Post-Doc. I like proof theory, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)
Niccolò Covoni @CovoniNiccolo
792 Followers 469 Following 7. Wovon man nicht sprechen kann, darüber muss man schweigen. PhD Student @uniurbit in ReMeST PhD Student @ISFILugano in Philosophy
Oxford University Pre... @OxUniPress
37K Followers 459 Following Publishing the highest quality academic and educational books and research across the globe. We help millions to achieve their potential.
Cambridge University ... @CambridgeUP
46K Followers 629 Following Our publications, research, and higher education solutions spread knowledge, spark curiosity and aid understanding around the world.
Munich Center for Mat... @LMU_MCMP
1K Followers 107 Following News and updates from the Munich Center for Mathematical Philosophy at LMU Munich. Disclaimer: retweets and likes are not endorsements.
Jay Cummings @LongFormMath
44K Followers 598 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).
Overleaf @overleaf
56K Followers 6K Following Create, edit & publish your research - all from your browser. Our real-time collaborative LaTeX editor automatically produces & displays your typeset document.
Sonja Smets @SonjaSmets
508 Followers 585 Following ILLC, University of Amsterdam Professor of Logic and Epistemology
julia🦄 @KamerynJW
6K Followers 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
LogIn Project @login_project
85 Followers 93 Following Sharing diverse academic knowledge to create a more inclusive community in logic and formal philosophy. @login_project22 on Instagram
Journal for General P... @JGenPhilSci
848 Followers 807 Following News from the Journal for General Philosophy of Science (Editors in Chief: Guido Bacciagaluppi, Helmut Pulte & Thomas Reydon). Account run by @AFabregasT
Benedikt Löwe @BenediktLoewe
617 Followers 579 Following
Faculty of Philosophy @PhilFacOx
16K Followers 70 Following Official twitter account for the Faculty of Philosophy at the University of Oxford.
Lorenzo Lorenzetti @LoreLorenzetti
202 Followers 811 Following Postdoc at @ISFILugano // PhD @BristolUni // Philosophy of physics, philosophy of science, metaphysics
Hanul Jeon @hanuljeon95
556 Followers 297 Following A doctoral student at @Cornell. Interested in logic (proof theory and set theory). he/him. Mastodon: @[email protected]
Philosophy News @philosophynws
61K Followers 138 Following For all those who love the world of ideas. Stay current on the latest news and events, calls for papers, new books, and conference information.
Lean @leanprover
6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.
Australasian J Logic @ajlonline
366 Followers 27 Following Established in 2003, the Australasian Journal of Logic is a fully refereed, freely available electronic journal covering all areas of research in logic.
StAndrews Philosophy @StAndrewsPhil
3K Followers 154 Following Department of Philosophy at the University of St Andrews
Set Theory Talks @settheorytalks
1K Followers 11 Following Aggregating Set Theory Talks worldwide so that you won't have to.
Liam Bright @lastpositivist
62K Followers 4K Following Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]
Gro-Tsen @gro_tsen
7K Followers 92 Following Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.
Lavinia Picollo @LaviPicollo
338 Followers 840 Following Assistant Professor of Philosophy at NUS. Mainly interested in logic, phil maths, metaphysics, and phil language.
Logos Research Group ... @LogosRG
1K Followers 108 Following Tweets by @contesi, @endofunctress and @[email protected]
carlo nicolai @carlonicolai
286 Followers 503 Following Logician and Philosopher, King’s College London
Robin T. Bianchi @Robin_bI
183 Followers 154 Following Doctoral Assistant in philosophy at @UniNeuchatel. Philosophy of action, mind & metaphysics
Dr. Juliette @FerryDanini
22K Followers 2K Following Philosopher of medicine. Assistant professor @UNamur, PhD from Sorbonne Univ 📚 🖊️ Autrice "Pilules roses" aux @EditionsStock
Toby Meadows @TobyMeadows
2K Followers 639 Following logician, adj. (pejorative) I do math that mathematicians think is philosophy ... and I do philosophy that philosophers think is math ...
World Logic Day @UNESCO_WLD
627 Followers 39 Following UNESCO World Logic Day: 14 January. Coordinated by CIPSH, the International Council for Philosophy and the Human Sciences. Account run by @DenizPhiMa
Buenos Aires Logic Gr... @BALogicGroup
1K Followers 126 Following Researchers from the UBA and CONICET, Argentina 🇦🇷, specialized in Logic and Philosophical Logic. They/them.
Alessandro Torza @torschau
654 Followers 427 Following Associate Professor of Logic and Philosophy of Science @unipr, cinephile, apostate. 🇮🇹 🇲🇽 🇺🇸 🇪🇺
Doctor Logic @SaraLUckelman
5K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.
arXiv math.LO Logic @mathLOb
1K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...
Timothy Gowers @wtgow... @wtgowers
48K Followers 183 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Ole Hjortland @olehjortland
3K Followers 2K Following Professor of philosophy & Vice-dean of research, University of Bergen @UiB, @UiB_philosophy, Norway. Writes about logic and argumentation.Trends for United States
12,1 B posts
41,6 B posts
32,8 B posts
2.184 posts
2.270 posts
254 B posts
5.031 posts
1.079 posts
1.860 posts
3.484 posts
4.885 posts
25,4 B posts
34 B posts
5.796 posts
6.974 posts
1.944 posts
5.695 posts
11 B posts
You might like
ISFI - Institute of P...
@ISFILugano
303 Followers
EIR
@endsinrambles
954 Followers
BIAP - Barcelona Inst...
@BiapBarcelona
660 Followers
AɾƚS ★
@J_ARTS_L
598 Followers
Deniz Sarikaya
@DenizPhiMa
419 Followers
TrickyT
@TJN8787
180 Followers
Leonardo Chiocchetti
@Lellochiocco
226 Followers