May 2011 Archives by date

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

Starting: Sun May 1 04:08:52 EDT 2011
Ending: Tue May 31 10:22:23 EDT 2011
Messages: 153

• [FOM] What are sets?   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Consistency of first-order logic   Martin Davis
• [FOM] CAV 2011 Call for Participation   Sandip Ray
• [FOM] Consistency of first-order logic   Richard Heck
• [FOM] Mathematics and Computation in Music Conference (MCM 2011) - Paris June 15-17, 2011   Andreatta Moreno
• [FOM] 457: Maximal Cliques and Large Cardinals   Harvey Friedman
• [FOM] 458: Sequential Construction for Large Cardinals   Harvey Friedman
• [FOM] BRT book posted   Harvey Friedman
• [FOM] PhilMath Intersem 2011   Andre.Rodin at ens.fr
• [FOM] BRT book posted   Timothy Y. Chow
• [FOM] BRT book posted   Harvey Friedman
• [FOM] 459: Greedy Clique Constructions in the Integers   Harvey Friedman
• [FOM] 460: Greedy Clique Constructions Simplified   Harvey Friedman
• [FOM] Handling quantifiers in refutation theorem provers   Clemson Steve
• [FOM] [CiE] CiE 2011 in Sofia - Call for Participation   S Barry Cooper
• [FOM] 461: Reflections on Vienna Meeting   Harvey Friedman
• [FOM] PCC'11   Michiel De Smet
• [FOM] 461: Reflections on Vienna Meeting   Walt Read
• [FOM] 461: Reflections on Vienna Meeting   Harvey Friedman
• [FOM] 461: Reflections on Vienna Meeting   Rob Arthan
• [FOM] Consistency of Peano Arithmetic   Carl Mummert
• [FOM] Consistency of Peano Arithmetic   Frode Bjørdal
• [FOM] 461: Reflections on Vienna Meeting   Andre.Rodin at ens.fr
• [FOM] 461: Reflections on Vienna Meeting   Harvey Friedman
• [FOM] 462: Improvements/Pi01 independence   Harvey Friedman
• [FOM] 461: Reflections on Vienna Meeting   Timothy Y. Chow
• [FOM] Reflections on Vienna Meeting   Timothy Y. Chow
• [FOM] 461: Reflections on Vienna Meeting   by way of Martin Davis <martin at eipye.com>
• [FOM] 461: Reflections on Vienna Meeting   Nick Nielsen
• [FOM] Reflections on Vienna Meeti   William Messing
• [FOM] 461: Reflections on Vienna Meeting   Robert Solovay
• [FOM] 461: Reflections on Vienna Meeting   Joe Shipman
• [FOM] comment on the video of the lecture by Voevodsky at IAS   Neil Tennant
• [FOM] Bob Solovay's message:"Reflections on Vienna Meeting"   Martin Davis
• [FOM] comment on the video of the lecture by Voevodsky at IAS   William Messing
• [FOM] 461: Reflections on Vienna Meeting   Andre.Rodin at ens.fr
• [FOM] comment on the video of the lecture by Voevodsky at IAS   Andre.Rodin at ens.fr
• [FOM] comment on the video of the lecture by Voevodsky at IAS   joeshipman at aol.com
• [FOM] Consistency of Peano Arithmetic   Daniel Mehkeri
• [FOM] un-isolating fom (response to Tennant and Rodin posts)   Tom Dunion
• [FOM] comment on the video of the lecture by Voevodsky at IAS   Arnon Avron
• [FOM] comment on the video of the lecture by Voevodsky at IAS   Vaughan Pratt
• [FOM] Thread and Two Open Letters   Harvey Friedman
• [FOM] comment on the video of the lecture by Voevodsky at IAS   Andre.Rodin at ens.fr
• [FOM] Fwd: Re: Reflections on Vienna Meeti   by way of Martin Davis <martin at eipye.com>
• [FOM] the continuing thread   Martin Davis
• [FOM] Consistency of Peano Arithmetic   Richard Heck
• [FOM] Voevodsky   Robert Black
• [FOM] Fwd: Re: Reflections on Vienna Meeti   Jaap van Oosten
• [FOM] 461: Reflections on Vienna Meeting   Andre.Rodin at ens.fr
• [FOM] Voevodsky   Vaughan Pratt
• [FOM] CiE Newsletter No.47, May 18, 2011   Olivier Bournez
• [FOM] Voevodsky and inconsistent systems   Franklin
• [FOM] Consistency of Robinson arithmetic   Timothy Y. Chow
• [FOM] comment on the video of the lecture by Voevodsky at IAS   Curtis Franks
• [FOM] A perspective on the thread   Añon Barfod
• [FOM] Consistency of Robinson arithmetic   Calvin Ostrum
• [FOM] Consistency of Robinson arithmetic   Richard Heck
• [FOM] Voevodsky   Richard Heck
• [FOM] Voevodsky and inconsistent systems   Jeffrey Sarnat
• [FOM] CAV 2011 Announcement   Sandip Ray
• [FOM] Consistency of Robinson arithmetic   Frode Bjørdal
• [FOM] Are the proofs of con(PA) circular?   Martin Davis
• [FOM] Are the proofs of con(PA) circular?   Richard Heck
• [FOM] partial transcript: Voevodsky on Gentzen's proof   meskew at math.uci.edu
• [FOM] Are the proofs of con(PA) circular?   Timothy Y. Chow
• [FOM] Fwd: invitation to comment   Harvey Friedman
• [FOM] comment on the video of the lecture by Voevodsky at IAS   Calvin Ostrum
• [FOM] Consistency of Robinson arithmetic   Keith Brian Johnson
• [FOM] Are the proofs of con(PA) circular?   Martin Davis
• [FOM] Fwd: invitation to comment   Andre.Rodin at ens.fr
• [FOM] Consistency of Robinson arithmetic   Richard Heck
• [FOM] Discussion of Gödel's beliefs   Colin McLarty
• [FOM] Fwd: invitation to comment   Timothy Y. Chow
• [FOM] Voevodsky's views   Sergei Tropanets
• [FOM] Fwd: invitation to comment   Kevin Watkins
• [FOM] Fwd: invitation to comment   Lito P. Cruz
• [FOM] Are the proofs of con(PA) circular?   Daniel Mehkeri
• [FOM] Fwd: invitation to comment   Panu Raatikainen
• [FOM] Fwd: invitation to comment   Andre.Rodin at ens.fr
• [FOM] What are sets?   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Fwd: invitation to comment   Kevin Watkins
• [FOM] Voevodsky's views   Walt Read
• [FOM] Voevodsky's lecture   by way of Sergei Tropanets <trop.sergei at gmail.com>
• [FOM] Voevodsky's views   Michael Blackmon
• [FOM] Short technical questions about meaninfulness, truth, and induction   Arnon Avron
• [FOM] Fwd: invitation to comment   joeshipman at aol.com
• [FOM] Voevodsky's views   Frode Bjørdal
• [FOM] 463: Pi01 independence/comprehensive   Harvey Friedman
• [FOM] Voevodsky Correspondence   Harvey Friedman
• [FOM] Fwd: invitation to comment   Andre.Rodin at ens.fr
• [FOM] Fwd: invitation to comment   Vaughan Pratt
• [FOM] Fwd: invitation to comment   Oran Magal
• [FOM] Fwd: invitation to comment   Andre.Rodin at ens.fr
• [FOM] Short technical questions about meaninfulness, truth, and induction   Arnon Avron
• [FOM] Fwd: invitation to comment   Arnon Avron
• [FOM] Short technical questions about meaninfulness, truth, and induction   Andre.Rodin at ens.fr
• [FOM] Fwd: invitation to comment   Kevin Watkins
• [FOM] Fwd: invitation to comment   Richard Heck
• [FOM] Great Achievements of F.O.M. 1   Harvey Friedman
• [FOM] Fwd: invitation to comment   Thilo Volker Weinert
• [FOM] Voevodsky corr051711,11:12AM-052211,11:05AM   Harvey Friedman
• [FOM] Fwd: invitation to comment   William Tait
• [FOM] Fwd: invitation to comment   William Tait
• [FOM] Voevodsky corr051711,11:12AM-052211,11:05AM   Joe Shipman
• [FOM] Fwd: invitation to comment   Andre.Rodin at ens.fr
• [FOM] Fwd: invitation to comment   Timothy Y. Chow
• [FOM] Fwd: invitation to comment   Andre.Rodin at ens.fr
• [FOM] Voevodsky corr051711,11:12AM-052211,11:05AM   Monroe Eskew
• [FOM] Fwd: invitation to comment   Vaughan Pratt
• [FOM] Fwd: invitation to comment   Monroe Eskew
• [FOM] The certainty of mathematical proof   Staffan Angere
• [FOM] Great Achievements of F.O.M. 1   William Messing
• [FOM] Voevodsky corr051711,11:12AM-052211,11:05AM   laureano luna
• [FOM] Great achievements of FOM (or looking for a home)   Irving
• [FOM] Remedial mathematics?   Timothy Y. Chow
• [FOM] Fwd: invitation to comment   William Tait
• [FOM] Fwd: invitation to comment   Jeffrey Sarnat
• [FOM] Remedial mathematics?   Jeremy Shipley
• [FOM] Remedial mathematics?   Timothy Y. Chow
• [FOM] Great Achievements of F.O.M. 1   Sam Sanders
• [FOM] Remedial mathematics?   Jeremy Shipley
• [FOM] Fwd: invitation to comment   Andre.Rodin at ens.fr
• [FOM] Remedial mathematics?   Andre.Rodin at ens.fr
• [FOM] Regarding consistency of PA   Harvey Friedman
• [FOM] FOM: Remedial mathematics?,?   Irving
• [FOM] Fwd: invitation to comment   Hendrik Boom
• [FOM] FOM: Remedial mathematics?,?   Jeremy Shipley
• [FOM] Fwd: invitation to comment   Andreas Weiermann
• [FOM] Remedial mathematics?   Monroe Eskew
• [FOM] 14th Congress of Logic, Methodology and Philosophy of Science - Program   Pierre Edouard Bour
• [FOM] Fwd: invitation to comment   Vaughan Pratt
• [FOM] Remedial mathematics?   Vaughan Pratt
• [FOM] Voevodsky corr051711,11:12AM-052511,7:53AM   Harvey Friedman
• [FOM] The certainty of mathematical proof   Timothy Y. Chow
• [FOM] Regarding consistency of PA   Añon Barfod
• [FOM] Remedial mathematics?   Martin Davis
• [FOM] LICS 2011 - Call for Participation   Stephan Kreutzer
• [FOM] Remedial mathematics?   Walt Read
• [FOM] messages dealing with Con(PA) etc.   Martin Davis
• [FOM] Con(Z) vs Con(ZF), nine years before Intrade.com   Vaughan Pratt
• [FOM] Cylindric Algebra and Consistency   Dana Scott
• [FOM] Remedial mathematics?   Dana Scott
• [FOM] Cylindric Algebra and Consistency   Vaughan Pratt
• [FOM] Cylindric Algebra and Consistency (again)   Dana Scott
• [FOM] Gödel's functional interpretation   Añon Barfod
• [FOM] 464: Order Invariant Upper Split Theorem   Harvey Friedman
• [FOM] Cylindric Algebra and Consistency   Vaughan Pratt
• [FOM] Gödel's functional interpretation   William Tait
• [FOM] Great Achievements in F.O.M. 2   Harvey Friedman
• [FOM] Cylindric Algebra and Consistency   William Tait
• [FOM] Gödel's functional interpretation   William Tait
• [FOM] Lodging and Funding for MAMLS Jan '12   Robert Lubarsky

Last message date: Tue May 31 10:22:23 EDT 2011
Archived on: Tue May 31 13:46:44 EDT 2011

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