September 2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Thu Sep 1 11:59:21 EDT 2022
Ending: Fri Sep 30 17:46:02 EDT 2022
Messages: 39

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

Last message date: Fri Sep 30 17:46:02 EDT 2022
Archived on: Fri Sep 30 20:36:03 EDT 2022

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...