September 2022 Archives by author
Starting: Thu Sep 1 11:59:21 EDT 2022
Ending: Fri Sep 30 17:46:02 EDT 2022
Messages: 39
- Mochizuki on computer verification of abc
Rob Arthan
- Workshop Finite Model Theory and Many-Valued Logic (10-12 Nov, Online)
Guillermo Badia
- Tenure-track position at Zhejiang University in Logic (31 Oct 2022)
Bruno Bentzen
- FOM moderation
Sam Buss
- Jech's Semantic proof of second incompleteness
Sam Buss
- Saul Kripke (1940-2022)
Sam Buss
- Martin Davis
Sam Buss
- a potential undecidable problem related to a Hodge theoretic generalization of Jacobi's formula
José Manuel Rodríguez Caballero
- What Russell meant by "traditional pure mathematics"
Timothy Y. Chow
- Mochizuki on computer verification of abc
Timothy Y. Chow
- Mochizuki on computer verification of abc
Timothy Y. Chow
- What is needed to prove Monsky's theorem?
Timothy Y. Chow
- The International Conference on the History of Logic in the Islamic World
Ali Sadegh Daghighi
- Re: Jech's proof of Gödel's second incompleteness theorem
Patrik Eklund
- Thank you
Melvin Fitting
- Nordic Online Logic Seminar: next talk on September 26, by Jan von Plato
Valentin Goranko
- proofs of second incompleteness
Richard Kimberly Heck
- What Russell meant by "traditional pure mathematics"
Heck, Richard Kimberly
- Re: Jech's proof of Gödel's second incompleteness theorem
Joseph Helfer
- proofs of second incompleteness (FOM Digest, Vol 237, Issue 4)
Yu Li
- Logic and Religion, World Congress, Varanasi, Nov 4-8 - Deadline approaching: Sept 15
FRANCISCO MARIANO
- Scriptural Reasoning on Language and Ultimate Truth in an Indian Religious Tradition: The Logic and Religion Webinar, September 15
FRANCISCO MARIANO
- Special Issue on INDIAN RELIGIONS AND THE CONCEPT OF GOD: 2nd Call for Papers
FRANCISCO MARIANO
- Fourteenth French Philosophy of Mathematics Workshop Wednesday, Nantes. October 19-21, 2022
CANTU TESTA Paola
- Jech's proof of Gödel's second incompleteness theorem
Vaughan Pratt
- Some arguments in Favor of the Continuum Hypothesis
Noah Schweber
- Conference Program - Philosophy of mathematics: Foundations, Definitions, and Axioms - 4th FilMat Conference - Pavia, September 29 - October 1, 2022
Andrea Sereni
- degrees of unsolvability
Stephen G. Simpson
- Dear Martin Davis. Thank you!
Jay Sulzberger
- proofs of second incompleteness
martdowd at aol.com
- A theorem on Cook's conjecture
martdowd at aol.com
- Correction to my set theory book,
martdowd at aol.com
- Some arguments in Favor of the Continuum Hypothesis
martdowd at aol.com
- Paraconsistent Newsletter Summer-Winter 2022
jean-yves beziau
- David Makinson, Frege’s Ontological Diagram Completed, LUW Sept 7 at 4 pm CET,
jean-yves beziau
- CfP BEWARE - Joint BRIO Workshop, ME&E-LP Workshop, AWARE AI Workshop, Co-located with AIxIA 202
gprimiero at libero.it
- DEADLINE EXTENSION CfP BEWARE - Joint BRIO Workshop, ME&E-LP Workshop, AWARE AI Workshop, Co-located with AIxIA 202
gprimiero at libero.it
- proofs of second incompleteness
adriano paolo shaul gershom palma
- Re: Jech's proof of Gödel's second incompleteness theorem
adriano paolo shaul gershom palma
Last message date:
Fri Sep 30 17:46:02 EDT 2022
Archived on: Fri Sep 30 20:36:03 EDT 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).