July 2021 Archives by date

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

Starting: Fri Jul 2 03:13:05 EDT 2021
Ending: Sat Jul 31 11:28:53 EDT 2021
Messages: 40

• About existence-as-consistency   Vaughan Pratt
• About existence-as-consistency   Colin McLarty
• About existence-as-consistency   WILLIAM TAIT
• About existence-as-consistency   Marcel Ertel
• FW: Goedel conference   Kreinovich, Vladik
• Is this graph-structure theory a candidate for a natural foundation of Set and Category theory?   Zuhair Abdul Ghafoor Al-Johar
• About existence-as-consistency   Mikhail Katz
• Foundations of Mathematics in Leibniz and Schopenhauer / Logica Universalis Webinar July 14   jean-yves beziau
• Proof and Computation 2021   Chuangjie Xu
• please post under heading "Kronecker quotation" thank you   Gregory Taylor
• please post under heading "Kronecker quotation" thank you   Kreinovich, Vladik
• please post under heading "Kronecker quotation" thank you   Colin McLarty
• please post under heading "Kronecker quotation" thank you   Rossberg, Marcus
• PA theorem   Giovanni Lagnese
• PA theorem   Mario Carneiro
• PA theorem   Richard Kimberly Heck
• question about new book on Godel   Mark Shapiro
• Venn Diagram System for Universe Without Boundary / LUW July 21st   jean-yves beziau
• New Busy Beaver Turing Machine program   Nicholas Drozd
• Why Logic and Religion? 1st Logic and Religion Webinar, July 22   Logic and Religion Association LARA
• Is the proof of the following theorem correct?   X.Y. Newberry
• A uniform phase transition spanning from ISigma_d to ID_1   Andreas Weiermann
• CCA 2021 - Call for Participation   Vasco Brattka
• Postdoc and PhD positions in Proof Theory in Ghent   Fedor Pakhomov
• Is the proof of the following theorem correct?   Mario Carneiro
• 1st Logic and Religion Webinar, July 22 at 4 pm CET   jean-yves beziau
• Refutability of the strengthened finite Ramsey theorem   Giovanni Lagnese
• [FOM] Foundational Challenge   Lew Gordeew
• CfR: Text Driven Approaches to the Philosophy of Mathematics - 1 -- 3 September 2021   Deniz Sarikaya
• Is the proof of the following theorem correct?   X.Y. Newberry
• A paper by Hintikka about the modified Ramsey theorem   Giovanni Lagnese
• A paper by Hintikka about the modified Ramsey theorem   Robert Rynasiewicz
• Special Issue of the AJL on Robert K. Meyer's Relevant Arithmetic   Thomas Ferguson
• A paper by Hintikka about the modified Ramsey theorem   Ehrlich, Philip
• A paper by Hintikka about the modified Ramsey theorem   K. P. Hart
• A paper by Hintikka about the modified Ramsey theorem   Richard Kimberly Heck
• Jon Michael Dunn (1942-2021)   Martin Davis
• Online International Workshop on Gödel's Incompleteness Theorems   Andreas Weiermann
• A second order Goldbach conjecture?   Paul Blain Levy
• New paper on fundamental sequences   martdowd at aol.com

Last message date: Sat Jul 31 11:28:53 EDT 2021
Archived on: Sat Jul 31 12:14:53 EDT 2021

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