June 2006 Archives by author

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

Starting: Thu Jun 1 02:36:20 EDT 2006
Ending: Sun Jun 25 17:15:23 EDT 2006
Messages: 31

• [FOM] WoLLIC 2006   Alexei Angelides
• [FOM] Theorem schemes   John Baldwin
• [FOM] What's going on with the Poincare conjecture?   Timothy Y. Chow
• [FOM] Algebraic closure of Q   Timothy Y. Chow
• [FOM] BUFFALO LOGIC COLLOQUIUM 1st SUMMER ANNOUNCEMENT   John Corcoran
• [FOM] Quantum mechanics realm   José Félix Costa
• [FOM] moderator will be away   Martin Davis
• [FOM] 288:Discrete ordered rings and large cardinals   Harvey Friedman
• [FOM] 290: Independently Free Minds/Collectively Random Agents   Harvey Friedman
• [FOM] 292: Concept Calculus 1   Harvey Friedman
• [FOM] 291: Independently Free Minds/Collectively Random Agents/more   Harvey Friedman
• [FOM] 293: Concept Calculus 2   Harvey Friedman
• [FOM] 289:Integer Thresholds in FFF   Harvey Friedman
• [FOM] 294: Concept Calculus 3   Harvey Friedman
• [FOM] 292: Concept Calculus 1   Keith Brian Johnson
• [FOM] Quantum mechanics solved(?)   Ryan Paul Nurmela
• [FOM] Quantun mechanics realm   Ryan Paul Nurmela
• [FOM] The Provenance of Pure Reason (II)   Eray Ozkural
• [FOM] E...EAA-completeness of ZF   Franco Parlamento
• [FOM] LPAR 2006 - CALL FOR WORKSHOP PROPOSALS   Christelle Scharff
• [FOM] Algebraic closure of Q   Stephen G Simpson
• [FOM] reply to eray ozkural re "The provenance of pure reason (II)"   Gabriel Stolzenberg
• [FOM] explicit variables   William Tait
• [FOM] Complexity of Constructive Truth   Dmytro Taranovsky
• [FOM] sharply bounded versions of FFF   Andreas Weiermann
• [FOM] Finding a prime   joeshipman at aol.com
• [FOM] What's going on with the Poincare conjecture?   joeshipman at aol.com
• [FOM] Theorem schemes   joeshipman at aol.com
• [FOM] INCOMPATIBILITY OF STRONG AI   laureano luna
• [FOM] INCOMPATIBILITY OF STRONG AI. A CORRECTION   laureano luna
• [FOM] Quantum mechanics solved(?)   scerir

Last message date: Sun Jun 25 17:15:23 EDT 2006
Archived on: Mon Jun 26 12:25:16 EDT 2006

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