March 2004 Archives by thread

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

Starting: Mon Mar 1 09:59:37 EDT 2004
Ending: Wed Mar 31 02:20:34 EDT 2004
Messages: 74

• [FOM] Re: Ineffective proofs and weak systems   Timothy Y. Chow
• [FOM] Historical notation question   H. Enderton
• [FOM] Re: Reverse mathematics, search problems, and bounded arithmetic   Timothy Y. Chow
• [FOM] naive continuum metaphysics   William.Piper at colorado.edu
  • [FOM] naive continuum metaphysics   Bas Spitters
  • [FOM] naive continuum metaphysics   Jesse Alama
  • [FOM] naive continuum metaphysics   Alexander Zenkin
• [FOM] answer to Everett   José Félix Costa
• [FOM] FOM: Historical Notation Question (source)   Jeff Hirst
• [FOM] Binding Workshop-EXTENDED DEADLINE: March 26th   Philippe Schlenker
• [FOM] Reply to Chow's message   Sam Buss
• [FOM] Re: naive continuum metaphysics   Andrej Bauer
• [FOM] irreducible continua: some references   Robert Tragesser
• [FOM] RE: cofinite quantifier   Dave Marker
• [FOM] [FOM) Everett question again   José Félix Costa
• [FOM] naive continuum metaphysics   Alexander M Lemberg
• [FOM] The Search for Mathematical Roots   Schaefer, Marcus
• [FOM] Re: The Search for Mathematical Roots   Timothy Y. Chow
• [FOM] Deadline extension: Workshop on Guarded Logics ESSLLI04   Natasha Alechina
• [FOM] Re: The Search for Mathematical Roots   Schaefer, Marcus
• [FOM] 2nd call for papers for the NLP and Multimedia ESSLLI Workshop   Declerck
• [FOM] The Search for Mathematical Roots   Hartley Slater
• [FOM] The Search for Mathematical Roots   Alasdair Urquhart
• [FOM] hypercomputation, Kieu, and Calude   Martin Davis
  • [FOM] hypercomputation, Kieu, and Calude   Toby Ord
• [FOM] Kieu's work   Laura Elena Morales Gro.
  • [FOM] Kieu's work   Piyush P Kurur
• [FOM] Andrew Hodges on Kieu and Calude   Martin Davis
• [FOM] reply to Toby Ord re hypercomputation   Martin Davis
  • [FOM] Davis's reply to Ord re hypercomputation   Neil Tennant
    • [FOM] Davis's reply to Ord re hypercomputation   Roger Bishop Jones
  • [FOM] reply to Toby Ord re hypercomputation   Toby Ord
• [FOM] more on Toby Ord   Martin Davis
  • [FOM] more on Toby Ord   Toby Ord
• [FOM] Re: Davis's reply to Ord re hypercomputation   Timothy Y. Chow
• [FOM] Weak "hyper" computers   Harvey Friedman
• [FOM] Harvey Friedman's "hyperaliens"   Martin Davis
  • [FOM] Harvey Friedman's "hyperaliens"   Harvey Friedman
• [FOM] Re: Weak "hyper" computers   Timothy Y. Chow
• [FOM] On Hypercomputation   Dmytro Taranovsky
• [FOM] RE: [HM] Cantor's diagonal proof   Alexander Zenkin
• [FOM] Re: On Hypercomputation   Timothy Y. Chow
  • [FOM] Re: On Hypercomputation   Dmytro Taranovsky
• [FOM] Re: Harvey Friedman's "hyperaliens"   Timothy Y. Chow
  • [FOM] Crystal Ball Theory/more   Harvey Friedman
• [FOM] Re: Ord, hypercomputation, perpetual motion, & non-Euclidean space   martin at eipye.com
• [FOM] PHINEWS 5 / 2004 - Plain Text   vincent at ruc.dk
• [FOM] Re: Crystal Ball Theory/more   Timothy Y. Chow
  • [FOM] Re: Crystal Ball Theory/more   Harvey Friedman
• [FOM] Tangential Epistemological Comment   A.P. Hazen
• [FOM] re: synonymity   John Corcoran
• [FOM] Re: On Hypercomputation   Timothy Y. Chow
• [FOM] PHINEWS bulletin 2 / March 2004   Vincent F. Hendricks
• [FOM] Interdisciplinary M.Sc. Programme in Logic, Amsterdam   Benedikt Loewe
• [FOM] CFP: Loft   Wiebe van der Hoek
• [FOM] Candidates for Harvey Friedman's Pi^0_1 formula P(n)   Timothy Y. Chow
• [FOM] Candidates for Harvey Friedman's Pi^0_1 formula P(n)   JoeShipman at aol.com
  • [FOM] Re: Candidates for Harvey Friedman's Pi^0_1 formula P(n)   Timothy Y. Chow
• [FOM] Re: Tangential Epistemological Comment   Don Fallis
• [FOM] IJCAR Workshop   by way of Martin Davis <martin at eipye.com>
• [FOM] Conference: Mathematical Knowledge (Cambridge, UK)   Jeffrey Ketland
• [FOM] Re: Tangential Epistemological Comment   Timothy Y. Chow
• [FOM] first book on deep inference   Kai Brünnler
• [FOM] fom submission: Mill on Aristotle and Euclid   John Corcoran
  • [FOM] Mill on Aristotle and Euclid   Robert Black
  • [FOM] fom submission: Mill on Aristotle and Euclid   Neil Tennant
  • [FOM] fom submission: Mill on Aristotle and Euclid   Neil Tennant
• [FOM] Complexity of refuting Turing machine impostors   Timothy Y. Chow
• [FOM] PA Speed-up over HA?   Jeffrey Ketland
  • [FOM] Goodstein sequence is not provable in PA   Jhone Alemu
    • [FOM] Re: Goodstein sequence is not provable in PA   Jeff Hirst
• [FOM] PA Speed-up over HA?   Sam Buss
• [FOM] Re: Goodstein sequence is not provable in PA   Andreas Weiermann
• [FOM] logical complexity of ultrafilters   George Kapoulas

Last message date: Wed Mar 31 02:20:34 EDT 2004
Archived on: Fri Mar 11 12:50:38 EDT 2005

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