June 2010 Archives by date

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

Starting: Tue Jun 1 02:33:09 EDT 2010
Ending: Wed Jun 30 11:56:03 EDT 2010
Messages: 55

• [FOM] ZFC and the Formalisation Thesis   Vaughan Pratt
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Vaughan Pratt
• [FOM] [CiE] Newsletter No.34, June 1, 2010   CiE
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Robert Lindauer
• [FOM] Logically determined   Irving
• [FOM] Mathematics *Is*, According To Peirce   Jon Awbrey
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Robert Lindauer
• [FOM] ordinal notations on wall st   Jeffrey Sarnat
• [FOM] 426: Well Behaved Reduction Functions 5   Harvey Friedman
• [FOM] Mathematics ***is*** formalising of our thought and intuition (Shay Logan)   Shay Logan
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Vladimir Sazonov
• [FOM] Mathematics ***is*** formalising of our thought and intuition   hendrik at topoi.pooq.com
• [FOM] S5 models & RE sets   Michael Carroll
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Kreinovich, Vladik
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Vladimir Sazonov
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Vladimir Sazonov
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Keith Brian Johnson
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Charles Silver
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Vaughan Pratt
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Paddy Hackett
• [FOM] Final call for papers: 30 years of Nonmonotonic Reasoning   Victor Marek
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Keith Brian Johnson
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Marc Alcobé
• [FOM] S5 models & RE sets   rgheck
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Vladimir Sazonov
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Marc Alcobé
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Steve Stevenson
• [FOM] S5 models & RE sets   Max Weiss
• [FOM] 427: Finite Games and Incompleteness 1   Harvey Friedman
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Vladimir Sazonov
• [FOM] Ordinal definable numbers   Timothy Y. Chow
• [FOM] 428: Typo Correction in #427   Harvey Friedman
• [FOM] 429: Finite Games and Incompleteness 2   Harvey Friedman
• [FOM] 430: Finite Games and Incompleteness 3   Harvey Friedman
• [FOM] CFP - WoLLIC 2011, May 18-21, Philadelphia   Ruy de Queiroz
• [FOM] 431: Finite Incompleteness/Combinatorially Simplest   Harvey Friedman
• [FOM] question about the complexity of a sentence   Rupert McCallum
• [FOM] PLMMS-2010 call for participation   Lucas Dixon
• [FOM] question about the complexity of a sentence   Jim Scow
• [FOM] FLoC 2010: Final Call for Participation   Nicole Schweikardt
• [FOM] [CiE] Newsletter No.35, June 21, 2010   CiE
• [FOM] question about the complexity of a sentence [correction]   Jim Scow
• [FOM] IJCAI 2011   Carles Sierra
• [FOM] What would von Neumann say?   Tom Dunion
• [FOM] Bourbaki's general theory of isomorphism   Victor Makarov
• [FOM] Bourbaki's general theory of isomorphism   Oran Magal
• [FOM] First Meeting of APMP   josef at us.es
• [FOM] Bourbaki's general theory of isomorphism   John Baldwin
• [FOM] What would von Neumann say?   A. Mani
• [FOM] Bourbaki's general theory of isomorphism‏   Victor Makarov
• [FOM] question about the complexity of a sentence   Robert Solovay
• [FOM] Second Paris-Nancy PhilMath Workshop (P-NPMW 2)   Andrew Arana
• [FOM] 432: Finite Games and Incompleteness 4   Harvey Friedman
• [FOM] 433: Finite Games and Incompleteness 5   Harvey Friedman
• [FOM] IJCAR 2010 - Final Call for Participation   Viorica Sofronie-Stokkermans

Last message date: Wed Jun 30 11:56:03 EDT 2010
Archived on: Wed Jun 30 15:56:19 EDT 2010

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