May 2010 Archives by subject

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

Starting: Sat May 1 00:21:29 EDT 2010
Ending: Mon May 31 20:33:03 EDT 2010
Messages: 96

• [FOM] (no subject)   Juliette Kennedy
• [FOM] 2 LECTURES BY HARVEY FRIEDMAN IN AMSTERDAM   Juliette Kennedy
• [FOM] 30 Years of Nonmonotonic Logic - International Conference   Victor Marek
• [FOM] 419: Integer Decomposition Theory 6   Harvey Friedman
• [FOM] 420: Reduction Function Theory 1   Harvey Friedman
• [FOM] 421: Reduction Function Theory 2   Harvey Friedman
• [FOM] 422: Well Behaved Reduction Functions 1   Harvey Friedman
• [FOM] 423: Well Behaved Reduction Functions 2   Harvey Friedman
• [FOM] 424: Well Behaved Reduction Functions 3   Harvey Friedman
• [FOM] 425: Well Behaved Reduction Functions 4   Harvey Friedman
• [FOM] [CiE] CiE 2010 - Call for Participation and Informal Presentations   S Barry Cooper
• [FOM] [CiE] Newsletter No.33, May 10, 2010   CiE
• [FOM] Adequacy of FOL+ZFC as foundation   joeshipman at aol.com
• [FOM] Adequacy of FOL+ZFC as foundation   T.Forster at dpmms.cam.ac.uk
• [FOM] Adequacy of FOL+ZFC as foundation   T.Forster at dpmms.cam.ac.uk
• [FOM] Alternate arithmetic   Daniel Méhkeri
• [FOM] Category Theory and Philosophy of Mathematics Today   Andre.Rodin at ens.fr
• [FOM] CFP: Post-proceedings of HyLo 2010   Thomas Bolander
• [FOM] Closing the thread: Can Platonism be falsified?   Martin Davis
• [FOM] Falsify Platonism?   Director CPFS
• [FOM] Falsify Platonism?   Monroe Eskew
• [FOM] Falsify Platonism?   Monroe Eskew
• [FOM] Falsify Platonism?   Brian Hart
• [FOM] FLoC 2010: 2nd Call for Participation   Nicole Schweikardt
• [FOM] FLoC 2010: US-based Student Travel Support   Nicole Schweikardt
• [FOM] Foreman's preface to HST   Monroe Eskew
• [FOM] Foreman's preface to HST   Roger Bishop Jones
• [FOM] Foreman's preface to HST   Monroe Eskew
• [FOM] Formalization Thesis: A second attempt   Timothy Y. Chow
• [FOM] Formalization Thesis: A second attempt   Vladimir Sazonov
• [FOM] Formalization Thesis: A second attempt   Timothy Y. Chow
• [FOM] Formalization Thesis: A second attempt   Vladimir Sazonov
• [FOM] Formalization Thesis: A second attempt   Daniel Méhkeri
• [FOM] Formalization Thesis: A second attempt   Paul Budnik
• [FOM] Formalization Thesis: A second attempt   Timothy Y. Chow
• [FOM] Formalization Thesis: A second attempt   Vaughan Pratt
• [FOM] Formalization Thesis: A second attempt   hendrik at topoi.pooq.com
• [FOM] Formalization Thesis: A second attempt   rgheck
• [FOM] Formalization Thesis: A second attempt   Gyorgy Sereny
• [FOM] Formalization Thesis: A second attempt   Vladimir Sazonov
• [FOM] Formalization Thesis: A second attempt   Ivan Antonowitz
• [FOM] Formalization Thesis: A second attempt   Timothy Y. Chow
• [FOM] Formalization Thesis: A second attempt   Marc Alcobé
• [FOM] Formalization Thesis: A second attempt   Vladimir Sazonov
• [FOM] foundational crisis and theories of truth   Sara L. Uckelman
• [FOM] foundational crisis and theories of truth   Walter Salgado
• [FOM] Hydra games?   Peter Smith
• [FOM] Hydra games?   Jeffrey Sarnat
• [FOM] Hydra games?   Mitch Harris
• [FOM] IJCAR 2010 - 2nd Call for participation   Viorica Sofronie-Stokkermans
• [FOM] LICS Newsletter 127   Stephan Kreutzer
• [FOM] Logically determined   Paul Budnik
• [FOM] LPAR-17 in Indonesia - CFP and Workshops   Geoff Sutcliffe by way of Martin Davis <eipye at pacbell.net>
• [FOM] LPAR-17 submission deadlines   Geoff Sutcliffe by way of Martin Davis <eipye at pacbell.net>
• [FOM] Martin Gardner   Vaughan Pratt
• [FOM] Mathematics ***is*** formalising of our thought and intuition   hendrik at topoi.pooq.com
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Robert Lindauer
• [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   Vladimir Sazonov
• [FOM] Mathematics ***is*** formalising of our thought and intuition   Kreinovich, Vladik
• [FOM] Mathematics ***is***, according to Peirce   Irving
• [FOM] Mathematics *Is*, According To Peirce   Jon Awbrey
• [FOM] Mathematics *Is*, According To Peirce   A. Mani
• [FOM] Meeting in Honor of Jouko Väänänen's 60th Birthday   by way of Martin Davis <eipye at pacbell.net>
• [FOM] MSCS special issue on Advances and Perspectives in the Mechanization of Mathematics   Jeremy Avigad
• [FOM] MWPMW 11   Michael Detlefsen
• [FOM] Neutrosophic Mathematics!?   A. Mani
• [FOM] Neutrosophic Mathematics!?   Keith Brian Johnson
• [FOM] New formal models of computation.   Alex Berka
• [FOM] ordinal notations on wall st   Kenny Easwaran
• [FOM] ordinal notations on wall st   joeshipman at aol.com
• [FOM] Parallels between SOSOA and complexity theory?   Timothy Y. Chow
• [FOM] Platonism and certainty   Daniel Méhkeri
• [FOM] quantum logic   Vaughan Pratt
• [FOM] Rapid growth functions and consistency of PA   Andrej Bauer
• [FOM] Software glitch   Martin Davis
• [FOM] two links   Harvey Friedman
• [FOM] Types Meeting 2010   Pawel Urzyczyn
• [FOM] Upper bounds on what is needed to prove FLT   Andrej Bauer
• [FOM] Upper bounds on what is needed to prove FLT   Colin McLarty
• [FOM] What does Peano arithmetic have to offer?   Vaughan Pratt
• [FOM] What does Peano arithmetic have to offer?   Harvey Friedman
• [FOM] What does Peano arithmetic have to offer?   Vaughan Pratt
• [FOM] What does Peano arithmetic have to offer?   Harvey Friedman
• [FOM] What does Peano arithmetic have to offer?   Monroe Eskew
• [FOM] What does Peano arithmetic have to offer?   Vaughan Pratt
• [FOM] What does Peano arithmetic have to offer?   Monroe Eskew
• [FOM] What does Peano arithmetic have to offer?   Harvey Friedman
• [FOM] What does Peano arithmetic have to offer?   Martin Davis
• [FOM] What does Peano arithmetic have to offer?   Timothy Y. Chow
• [FOM] What does Peano arithmetic have to offer?   Vaughan Pratt
• [FOM] What does Peano arithmetic have to offer?   Vaughan Pratt
• [FOM] ZFC and the Formalisation Thesis   F.A. Muller
• [FOM] ZFC and the Formalisation Thesis   Timothy Y. Chow
• [FOM] ZFC and the Formalisation Thesis   Arnon Avron

Last message date: Mon May 31 20:33:03 EDT 2010
Archived on: Tue Jun 1 13:46:35 EDT 2010

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