February 1999 Archives by thread

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

Starting: Thu Feb 4 07:12:39 EDT 1999
Ending: Sun Feb 28 21:29:05 EDT 1999
Messages: 117

• FOM: Goedel Theorem   Antonino.Drago at na.infn.it
  • FOM: Goedel Theorem   William Tait
• FOM: More Axiomatization of Geometry   Stephen G Simpson
  • FOM: Re: More Axiomatization of Geometry   Harvey Friedman
• FOM: Axiomatization of Geometry   Moshe' Machover
• FOM: "Perfect" statements   Harvey Friedman
• FOM: Aristotel's "Infinitum Actu Non Datur" Thesis   Alexander Zenkin
• FOM: interpreting (R,+,x) in (R^2,E); interpretability in general   Stephen G Simpson
• FOM: foundations of geometry: axiomatizing `shape'   Stephen G Simpson
• FOM: Bishop's mathematics; Tait/finitism   Stephen G Simpson
• FOM: scientific wrongdoing   Stephen G Simpson
• FOM: Steve Simpson wanders far afield   Martin Davis
  • FOM: Steve Simpson wanders far afield   Stephen G Simpson
• FOM: Foundations of Geometry   dubucs
• FOM: The politicization of science, Mathias's criticisms   Joe Shipman
• FOM: request for info   Neil Tennant
• FOM: request for info   Sam Buss
  • FOM: request for info   Stephen Cook
• FOM: London Review of Books: letters about Sokal-Bricmont   Martin Davis
• FOM: request for info   Sam Buss
• FOM: scientific wrongdoing   Schalekamp, Hendrik J.
• FOM: misuse of G"odel's theorem   Stephen G Simpson
• FOM: scientific wrongdoing   Jim Humphreys
• FOM: geometrical reasoning   Stephen G Simpson
• FOM: Aristotel's "Infinitum Actu Non Datur" Thesis   Stephen G Simpson
• FOM: contradiction-free vs consistent   Stephen G Simpson
• FOM: misuse of G"odel's theorem   Martin Davis
  • FOM: misuse of G"odel's theorem   William Tait
  • FOM: misuse of G"odel's theorem   Stephen G Simpson
• FOM: scientific wrongdoing   Jeff Hirst
• FOM: misuse of G"odel's theorem   Graham Solomon
• FOM: geometrical reasoning Reply-To: simpson@math.psu.edu   dubucs
  • FOM: geometrical reasoning   Charles Parsons
• FOM: postmodernism and Goedel's theorems   Michael Detlefsen
• FOM: geometrical reasoning   Michael Zeleny
• FOM: misuse of G"odel's theorem   Kanovei
  • FOM: misuse of G"odel's theorem   William Tait
• FOM: contradiction-free vs consistent   Raatikainen Panu A K
• FOM: What "we" can answer   Joe Shipman
• FOM: Tarski's elementary geometry   Stephen G Simpson
• FOM: Re: consistent/contradiction-free?   Robert Tragesser
• FOM: geometrical reasoning   Robert Tragesser
• FOM: correction Re: consistent/contradiction-free?   Robert Tragesser
  • FOM: contradiction-free vs consistent   Stephen G Simpson
    • FOM: contradiction-free vs consistent   Vladimir Sazonov
• FOM: geometrical reasoning   Robert Black
  • FOM: geometrical reasoning: reply to Black   dubucs
    • FOM: geometrical reasoning: reply to Black   Robert Black
      • FOM: geometrical reasoning: reply to Black   dubucs
    • FOM: geometrical reasoning   Stephen G Simpson
• FOM: geometrical reasoning   Stephen G Simpson
• FOM: geometrical reasoning   Kanovei
• FOM: geometric proof (fwd)   Reuben Hersh
  • FOM: geometric proof (fwd)   Moshe' Machover
    • FOM: geometric proof (fwd)   Charles Silver
• FOM: 29:Large Cardinals/where are we? I   Harvey Friedman
• FOM: Tarki's elementary geometry   Harvey Friedman
  • FOM: Tarski's elementary geometry   Stephen G Simpson
• FOM: second-order logic is a myth   Stephen G Simpson
  • FOM: second-order logic is a myth   dubucs
  • FOM: second-order logic is a myth   Robert Black
• FOM: second-order logic is a myth   Martin Davis
• FOM: Geometric reasoning   Joe Shipman
• FOM: geometrical reasoning   Jerry Seligman
• No subject   Reuben Hersh
  • FOM: Re:   Michel Eytan
  • FOM: Re: chopping up branches   V. Yu. Shavrukov
• FOM: Harvey's `perfect' statement; Feferfest volume   Stephen G Simpson
• FOM: second-order logic is a myth   Stephen G Simpson
• FOM: 30:Large Cardinals/where are we? II   Harvey Friedman
• FOM: second-order logic is a myth   Martin Davis
• FOM: logic, geometry, and intuition   dubucs
  • FOM: geometrical reasoning   Stephen G Simpson
• FOM: Geometric proofs   Joe Shipman
• FOM: Geometric proofs   Neil Tennant
• FOM: RE: As to Aristotel's "Infinitum Actu Non Datur" Thesis   Alexander Zenkin
• FOM: second-order logic is a myth   Stephen G Simpson
  • FOM: second-order logic is a myth   Vladimir Sazonov
• FOM: geometrical reasoning   Stephen G Simpson
  • FOM: geometrical reasoning   Jerry Seligman
• FOM: Re: geometrical reasoning   Michael Thayer
  • FOM: geometrical reasoning   Stephen G Simpson
• FOM: posting from Grandy   Neil Tennant
• FOM: geometrical reasoning, logic and proof   Michael Detlefsen
• FOM: 2nd order logic   Harvey Friedman
• FOM: second-order logic is a myth   Stephen G Simpson
• FOM: second-order logic is a myth   Martin Davis
• FOM: 2nd order logic   Karlis Podnieks
• FOM: geometrical reasoning, logic and proof   Kanovei
• FOM: Induction illogical?   Harvey Friedman
  • FOM: Induction illogical?   Michael R. Fara
• FOM: geometrical reasoning   Antonino.Drago at na.infn.it
• FOM: Induction illogical?(corrected version)   Harvey Friedman
  • FOM: Induction illogical?(corrected version)   Robert Black
• FOM: geometrical reasoning, logic and proof   Colin McLarty
  • FOM: geometrical reasoning, logic and proof   Vladimir Sazonov
• FOM: second order logic is a myth   Stephen G Simpson
  • FOM: second order logic is a myth   Harvey Friedman
• FOM: mathematical induction   Stephen G Simpson
  • FOM: mathematical induction   John Baldwin
• FOM: mathematical induction   Colin McLarty
  • FOM: Re:mathematical induction   Harvey Friedman
• FOM: mathematical induction   Martin Davis
  • FOM: mathematical induction   Stephen G Simpson
• FOM: second-order logic is a myth   Stephen G Simpson
  • FOM: second-order logic is a myth   Vladimir Sazonov
• FOM: geometrical reasoning   Stephen G Simpson
  • FOM: geometrical reasoning   paul.andrews at utoronto.ca
• FOM: strengthening induction hypotheses   Todd Wilson
• FOM: avoiding work   Harvey Friedman
• FOM: inductive proofs of validity   Harvey Friedman
• FOM: Visual proofs -- two examples   Joe Shipman
  • FOM: Visual proofs -- two examples   Reuben Hersh
• FOM: Replies to Friedman and Martin on induction   Colin McLarty
  • FOM: new inductions unimportant   Harvey Friedman
• FOM: 31:First Free Sets/Large Cardinals   Harvey Friedman
• FOM: second-order logic is a myth   Stephen G Simpson

Last message date: Sun Feb 28 21:29:05 EDT 1999
Archived on: Fri Mar 11 12:48:22 EDT 2005

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