Richard Zach

Patti Smith is a fan of Moritz Schlick

PhD and Postdoc positions in UnAxiMa: Uncovering the Axioms of Mathematics

The FWF Emerging Fields project UnAxiMa (Uncovering the Axioms of Mathematics) is offering up to 12 postdoc positions and up to 12 PhD positions at TU Wien and the University of Vienna, Austria. The goal of the 5-year project is to explore the axioms of mathematics taking into account aspects of mathematical logic (in particular, set theory, computability theory, and reverse mathematics), complexity theory, automated theorem proving, and philosophy. The project is jointly led by six principal investigators:

Juan P. Aguilera (TU Wien),

Vera Fischer (University of Vienna),

Laura Kovács (TU Wien),

Sandra Müller (TU Wien),

Michael Pinsker (TU Wien), and

Georg Schiemer (University of Vienna).

UnAxiMa is looking for highly motivated and creative candidates, and in particular encourage female researchers to apply. The applicants should have a strong background in at least one of the following fields: mathematical logic, theoretical computer science, universal algebra, or philosophy of mathematics. For the PhD positions the requirements are a Master's degree or equivalent in mathematics, computer science, or philosophy. For the postdoc positions the requirements are a PhD or equivalent in mathematics, computer science, or philosophy. Successful candidates will be based at either TU Wien or University of Vienna, but will collaborate with all of the 18-30 team members intensively.

https://www.unaxima.com/careers

Philosopher of mathematics (and my Doktorvater) Paolo Mancosu elected to the American Academy of Arts & Sciences! https://dailynous.com/2026/04/23/philosophers-elected-to-the-american-academy-of-arts-sciences/

Places of the Vienna Circle. An online exhibit by the City of Vienna library and the Institute Vienna Circle https://online-ausstellungen.wienbibliothek.at/wiener-kreis/en/overview/

Aaron Bryce and Rajeev Goré have formalized Gentzen's consistency proof for PA in Coq/Roqc https://arxiv.org/abs/2603.00487 This finishes an attempt by Morgan Sinclaire https://scholarworks.boisestate.edu/cgi/viewcontent.cgi?article=2662&context=td

So turns out Cantor stole the proof that \(\mathbb{R}\) is uncountable from Dedekind https://www.quantamagazine.org/the-man-who-stole-infinity-20260225/

"Again" because this happened already once in 2008, when all editors resigned and founded the Review of Symbolic Logic. But that's not diamond open access while the new Philosophical Logic is!

The Journal of Philosophical Logic is dead (again!?). Long live Philosophical Logic! https://www.openlibhums.org/news/875/

RIP Robert Woodrow

https://mathmatters.cms.math.ca/en/article/remembering-robert-woodrow/

Preparing for Fall 2025

Most of the Open Logic textbooks have seen lots of changes from the versions currently available in hardcopy, so it's time to refresh those to Fall 2025 editions. These will incorporate all the corrections reported by readers since at least 2023 and in many cases going back to 2020 or earlier. Sets, Logic, Computation is seeing the least changes; basically just minor corrections.

https://openlogicproject.org/2025/06/25/preparing-for-fall-2025/