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