April 2020 Archives by date

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

Starting: Wed Apr 1 00:32:02 EDT 2020
Ending: Thu Apr 30 19:17:01 EDT 2020
Messages: 56

• 846: Brand New Tangible Incompleteness/4   Harvey Friedman
• CFP: FVRM'2020   Mani A
• UNILOG 2021 - The 7th World Congress and School on Universal Logic   jean-yves beziau
• Fwd: [PMA 32] Mark Steiner, 1942-2020   Martin Davis
• 847: Brand New Tangible Incompleteness/5   Harvey Friedman
• intuitionistic math can help in quantum physics?   Kreinovich, Vladik
• intuitionistic math can help in quantum physics?   José Manuel Rodríguez Caballero
• intuitionistic math can help in quantum physics?   Rene Vestergaard
• intuitionistic math can help in quantum physics?   Rene Vestergaard
• intuitionistic math can help in quantum physics?   Lukasz T. Stepien
• FW: intuitionistic math can help in quantum physics?   Kreinovich, Vladik
• intuitionistic math can help in quantum physics?   Joe Shipman
• FW: John Conway died   Kreinovich, Vladik
• A specialization of Cook's conjecture (II)   martdowd at aol.com
• seminar on foundations of quantum mechanics   Lukasz T. Stepien
• today seminar on foundations of quantum mechanics   Lukasz T. Stepien
• intuitionistic math can help in quantum physics?   Ignacio Añon
• FW: intuitionistic math can help in quantum physics?   Thomas Klimpel
• 848: Set Equation Theory/1   Harvey Friedman
• Certified Programs and Proofs (CPP) 2021: First Call for Papers   Andrei Popescu
• LFMTP 2020 CFP (UPDATES due to Coronavirus)   Claudio Sacerdoti Coen
• 849: Set Equation Theory/2   Harvey Friedman
• SQUARE'2020 - Leuven - Deadline Approaching   jean-yves beziau
• today seminar on foundations of quantum mechanics   Lukasz T. Stepien
• Lambek and Scott   Andrew Winkler
• Virtual LCC'20: Second Call for Contributions   Martin Avanzini
• Jens Erik Fenstad (1935-2020)   Martin Davis
• 31st Novembertagung 2020   D. Kant
• 31st Novembertagung 2020   Joe Shipman
• R: 31st Novembertagung 2020   Antonino Drago
• axiomatics   adriano paolo shaul gershom palma
• 31st Novembertagung 2020   katzmik at macs.biu.ac.il
• axiomatics   Joe Shipman
• [FOM] 31st Novembertagung 2020   Timothy Y. Chow
• R: axiomatics   Antonino Drago
• [FOM] 31st Novembertagung 2020   Joe Shipman
• [FOM] 31st Novembertagung 2020   Timothy Y. Chow
• axiomatics   katzmik at macs.biu.ac.il
• axiomatics   Joe Shipman
• ThEdu'2020 - to be published by EPTCS   Joao Marcos
• axiomatics   Andrew Winkler
• R: [FOM] 31st Novembertagung 2020   Antonino Drago
• 850: Set Equation Theory/3   Harvey Friedman
• [FOM] 31st Novembertagung 2020   Louis H Kauffman
• [FOM] 31st Novembertagung 2020   Timothy Y. Chow
• R: [FOM] 31st Novembertagung 2020   Timothy Y. Chow
• [FOM] 31st Novembertagung 2020   Sam Sanders
• Re(Axiomatics)   Andrei Heilper
• [FOM] 31st Novembertagung 2020   D. Kant
• CiE2020: 2nd Call for Informal Presentations   gprimiero at libero.it
• [FOM] 31st Novembertagung 2020   Louis H Kauffman
• [FOM] 31st Novembertagung 2020   John Baldwin
• [FOM] 31st Novembertagung 2020   Colin McLarty
• [FOM] 31st Novembertagung 2020   Timothy Y. Chow
• 851: Product Inequality Theory/1   Harvey Friedman
• 852: Order Theoretic Maximality/1   Harvey Friedman

Last message date: Thu Apr 30 19:17:01 EDT 2020
Archived on: Thu Apr 30 20:13:50 EDT 2020

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