August 2018 Archives by author

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

Starting: Wed Aug 1 07:46:49 EDT 2018
Ending: Fri Aug 31 15:20:14 EDT 2018
Messages: 80

• [FOM] proof assistants and foundations of mathematics   Arnon Avron
• [FOM] proof assistants and foundations of mathematics   Frédéric Blanqui
• [FOM] FOM Digest, Vol 188, Issue 25   David Fernandez Breton
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?   José Manuel Rodriguez Caballero
• [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   José Manuel Rodriguez Caballero
• [FOM] PA inconsistencies   José Manuel Rodriguez Caballero
• [FOM] PA inconsistencies   José Manuel Rodriguez Caballero
• [FOM] Reverse Mathematics of Scheffer-Shnirelman paradox   José Manuel Rodriguez Caballero
• [FOM] Alain Connes' approach to Analysis   José Manuel Rodriguez Caballero
• [FOM] Alain Connes' approach to Analysis   José Manuel Rodriguez Caballero
• [FOM] Sergeyev-gate   José Manuel Rodriguez Caballero
• [FOM] proof assistants and foundations of mathematics   Mario Carneiro
• [FOM] proof assistants and foundations of mathematics   Mario Carneiro
• [FOM] proof assistants and foundations of mathematics   Mario Carneiro
• [FOM] Another convert to formal proofs   Timothy Y. Chow
• [FOM] proof assistants and foundations of mathematics   Timothy Y. Chow
• [FOM] proof assistants and foundations of mathematics   Timothy Y. Chow
• [FOM] proof assistants and foundations of mathematics   Timothy Y. Chow
• [FOM] proof assistants and foundations of mathematics   Timothy Y. Chow
• [FOM] proof assistants and foundations of mathematics   Timothy Y. Chow
• [FOM] proof assistants and foundations of mathematics   Timothy Y. Chow
• [FOM] proof assistants and foundations of mathematics   Timothy Y. Chow
• [FOM] Alain Connes' approach to Analysis   Timothy Y. Chow
• [FOM] Alain Connes' approach to Analysis   Timothy Y. Chow
• [FOM] Workshop on Model Theory of Valued Fields, October 1 - 11, 2018, IPM - Tehran   Ali Sadegh Daghighi
• [FOM] moderator will be away   Martin Davis
• [FOM] terminating a thread   Martin Davis
• [FOM] closing a thread   Martin Davis
• [FOM] proof assistants and foundations of mathematics   Cédric Doucet
• [FOM] Gradation of truth and its algebraic foundations   Patrik Eklund
• [FOM] LSFA 2018 - Call for Participation   Francicleber M. Ferreira
• [FOM] proof assistants and foundations of mathematics   Harvey Friedman
• [FOM] PA inconsistencies   Harvey Friedman
• [FOM] PA inconsistencies   Harvey Friedman
• [FOM] PA inconsistencies   Harvey Friedman
• [FOM] Alain Connes' approach to Analysis   Harvey Friedman
• [FOM] Conservation of Nonstandard Methods   Harvey Friedman
• [FOM] Concerning f.o.m./f.o.X   Harvey Friedman
• [FOM] RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science   Walter Guttmann
• [FOM] PA inconsistencies   Richard Kimberly Heck
• [FOM] FW: ICM'2022 mark your calendars!   Mikhail Katz
• [FOM] Sergeyev-gate   Mikhail Katz
• [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?   Dr A. Koutsoukou-Argyraki
• [FOM] FW: ICM'2022 mark your calendars!   Kreinovich, Vladik
• [FOM] FW: Sad news   Kreinovich, Vladik
• [FOM] Sergeyev-gate   S. S. Kutateladze
• [FOM] proof assistants and foundations of mathematics   Till Mossakowski
• [FOM] VERY (was: PA inconsistencies)   Arnold Neumaier
• [FOM] proof assistants and foundations of mathematics   Lawrence Paulson
• [FOM] proof assistants and foundations of mathematics   Lawrence Paulson
• [FOM] New CPS textbook now available   Andre Platzer
• [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?   Sam Sanders
• [FOM] proof assistants and foundations of mathematics   Sam Sanders
• [FOM] PA inconsistencies   Sam Sanders
• [FOM] PA inconsistencies   Sam Sanders
• [FOM] Alain Connes' approach to Analysis   Sam Sanders
• [FOM] Conference announcement: Das Kontinuum – 100 Years Later; Leeds, UK; 11-14 Sept. 2018   Paul Shafer
• [FOM] proof assistants and foundations of mathematics   Joe Shipman
• [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?   Joe Shipman
• [FOM] proof assistants and foundations of mathematics   Franck Slama
• [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?   Josef Urban
• [FOM] PA inconsistencies   Alasdair Urquhart
• [FOM] A position for a PhD student in the project “Sequent and tableau-based systems for non-classical logics”   Michał Zawidzki
• [FOM] Sergeyev-gate   martdowd at aol.com
• [FOM] proof assistants and foundations of mathematics   katzmik at macs.biu.ac.il
• [FOM] Alain Connes' approach to Analysis   katzmik at macs.biu.ac.il
• [FOM] Alain Connes' approach to Analysis   katzmik at macs.biu.ac.il
• [FOM] Alain Connes' approach to Analysis   katzmik at macs.biu.ac.il
• [FOM] Sergeyev-gate   katzmik at macs.biu.ac.il

Last message date: Fri Aug 31 15:20:14 EDT 2018
Archived on: Fri Aug 31 15:24:22 EDT 2018

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