October 1998 Archives by date
Starting: Thu Oct 1 04:41:07 EDT 1998
Ending: Fri Oct 30 11:57:47 EDT 1998
Messages: 175
- FOM: Szolem Mandelbrojt and Bourbaki
Giuseppe Longo
- FOM: Szolem Mandelbrojt and Bourbaki
Michel Eytan
- FOM: Hersh's incoherent attack on formalism and logicism
Stephen G Simpson
- FOM: real issues?
Harvey Friedman
- FOM: advanced logic of Shipman
Kanovei
- FOM: Re: Mandelbro(j)ts and Bourbaki
Colin McLarty
- FOM: Hersh's incoherent attack on formalism and logicism
Reuben Hersh
- FOM: list of papers/books
Harvey Friedman
- FOM: quasi-empiricism and anti-foundationalism
Stephen G Simpson
- FOM: indubitability (or "certainty")
M. Randall Holmes
- FOM: Logicism lives...
M. Randall Holmes
- FOM: Logicism lives...
Reuben Hersh
- FOM: indubitability (or "certainty")
Reuben Hersh
- FOM: indubitability (or "certainty")
jk
- FOM: foundations as a search for certainty
Michael Detlefsen
- FOM: indubitability (or "certainty")
mlink at bu.edu
- FOM: indubitability (or "certainty")
Ed Mares
- FOM: Certainty and foundationalism in mathematics
Vladimir Sazonov
- FOM: fom
Geoff Keene
- FOM: Hilbert's program
Joseph Shoenfield
- FOM: indubitability (or "certainty")
Neil Tennant
- FOM: indubitability (or "certainty")
jk
- FOM: indubitability (or "certainty")
Edwin Mares
- FOM: replies to Hersh on logicism and certainty
M. Randall Holmes
- FOM: unsurveyability
M. Randall Holmes
- FOM: fom
Colin Mclarty
- FOM: Additions on a version of Bounded Arithmetic
Vladimir Sazonov
- FOM: Conservative extensions
Joseph Shoenfield
- FOM: Reply to Shoenfield on Conservative Extensions
Joe Shipman
- FOM: Conservative extensions
Stephen G Simpson
- FOM: unsurveyability
Kanovei
- FOM: unsurveyability
Vladimir Sazonov
- FOM: real issues?
Leo Harrington
- FOM: arithmetic vs geometry
Stephen G Simpson
- FOM: arithmetic vs geometry
Kanovei
- FOM: Conservative extensions
Adrian Mathias
- FOM: indubitability (or "certainty")
Neil Tennant
- FOM: Conservative extwnsions
Joseph Shoenfield
- FOM: unsurveyability
Charles Silver
- FOM: indubitability (or "certainty")
Charles Silver
- FOM: re: arithmetic and geometgry
William Tait
- FOM: indubitability (or "certainty")
Neil Tennant
- FOM: Carnap on geometry
Neil Tennant
- FOM: unsurveyability
Vladimir Sazonov
- FOM: "conservative extension"?
Robert Tragesser
- FOM: Conservative extensions and consistency: reply to Tragesser
Joe Shipman
- FOM: Conservative extensions and consistency: reply to Tragesser
Martin Davis
- FOM: geometry
Robert Black
- FOM: geometry
Martin Davis
- FOM: geometry
Neil Tennant
- FOM: Arithmetic vs Geometry : Categoricity
Joe Shipman
- FOM: Arithmetic vs Geometry : Categoricity
Neil Tennant
- FOM: Friedman/Odlyzko
Harvey Friedman
- FOM: Arithmetic vs Geometry : Categoricity
Kanovei
- FOM: Arithmetic vs Geometry : Categoricity
Charles Silver
- FOM: Poor slobs and unique structures
Neil Tennant
- FOM: Arithmetic vs Geometry : Categoricity
Randy Pollack
- FOM: more on conservative extension results
Neil Tennant
- FOM: Re: Poor slobs and unique structures
Charles Silver
- FOM: Arithmetic vs Geometry : reply to Tennant
Joe Shipman
- FOM: Reply to Kanovei on counting
Neil Tennant
- FOM: Arithmetic vs Geometry : Categoricity
Robert Black
- FOM: Reply to Shipman on arithmetic v. geometry
Neil Tennant
- FOM: Reply to Tennant on arithmetic vs. geometry
Joe Shipman
- FOM: conservative extensions
Stephen G Simpson
- FOM: Reply to Kanovei on counting
Kanovei
- FOM: Silly questions (Reply to Tennant and Silver on arithmetic v. geometry)
Vladimir Sazonov
- FOM: Silly questions (Reply to Tennant and Silver on arithmetic v. geometry)
Charles Silver
- FOM: Conservative Extension
Roger Bishop Jones
- FOM: Reply to Shipman on arithmetic v geometry
Neil Tennant
- FOM: Reply to Sazonov on arithmetic, Einstein etc.
Neil Tennant
- FOM: Kanovei on counting cardinals etc.
Neil Tennant
- FOM: Reply to Tennant on arithmetic v geometry
JoeShipman at aol.com
- FOM: dualities and morphisms
Robert Black
- FOM: dualities and morphisms, correction
Robert Black
- FOM: Tennant and Sazonov on arithmetic
John Mayberry
- FOM: conservative extensions, correction and sequel
Stephen G Simpson
- FOM: Reply to Kanovei on counting
Kanovei
- FOM: Silly questions (Reply to Tennant and Silver on arithmetic v. geometry)
Vladimir Sazonov
- FOM: Martin Davis on intuition
Stephen Cook
- FOM: Reply to Tennant on arithmetic, Einstein etc.
Vladimir Sazonov
- FOM: classical over intuitionistic
Harvey Friedman
- FOM: Silly questions (Reply to Tennant and Silver on arithmetic v. geometry)
Charles Silver
- FOM: Disembodied souls and arithmetics
Anatoly Vorobey
- FOM: Reply to Shipman on "feasible arithmetic"
Neil Tennant
- FOM: conservative extensions, correction and sequel
Neil Tennant
- FOM: "Relativistic" mathematics?
Vladimir Sazonov
- FOM: Re: "Relativistic" mathematics?
Charles Silver
- FOM: Charles Silver on silly questions
John Mayberry
- FOM: Reply to Vorobey on Peano-Dedekind arithmetic
Neil Tennant
- FOM: Charles Silver on silly questions
Charles Silver
- FOM: Sazonov on thought experiments etc.
Neil Tennant
- FOM: Reply to Vorobey on Peano-Dedekind arithmetic
Charles Silver
- FOM: Arithmetic: how much? Reply to Tennant
Joe Shipman
- FOM: n(3)
Harvey Friedman
- FOM: n(k), PA
Joe Shipman
- FOM: Dedekind's isomorphism theorem
Charles Parsons
- FOM: Re: "Relativistic" mathematics?
Vladimir Sazonov
- FOM: Re: "Relativistic" mathematics?
Charles Silver
- FOM: Reply to Vorobey on Peano-Dedekind arithmetic
Anatoly Vorobey
- FOM: 21:Long Sequences/Update
Harvey Friedman
- FOM: feasibility discussion
Harvey Friedman
- FOM: report on Rota's Indiscrete Thoughts: part 1?
Stephen G Simpson
- FOM: report on Rota's Indiscrete Thoughts: part 1?
Robert Tragesser
- FOM: Re: fom-digest V1 #151
Leo Harrington
- FOM: Re: MAndelbrojt and Bourbaki
Harvey Friedman
- FOM: Sz MAndelbrojt and Bourbaki
Adrian Mathias
- FOM: reply to Shipman on arithmetic and geometry
Neil Tennant
- FOM: Arithmetic/Geometry
Harvey Friedman
- FOM:Geometry & weird arithmetics
Robert Tragesser
- FOM: Re: MAndelbrojt and Bourbaki
Adrian Mathias
- FOM: What should feasibilists be asking?
Neil Tennant
- FOM: Classical over Intuitionistic
Harvey Friedman
- FOM: Reply to Friedman on Arithmetic and Geometry
Joe Shipman
- FOM: Classical over Intuitionistic
Joseph Shoenfield
- FOM: Long Binary Sequences
Harvey Friedman
- FOM: arithmetic, geometry, natural science, formal systems, ...
Stephen G Simpson
- FOM: Classical over Intuitionistic
Ulrich Kohlenbach
- FOM: Reply to Tennant on thought experiments and scientific honesty
Vladimir Sazonov
- FOM: arithmetic, geometry, natural science, formal systems, ...
Neil Tennant
- FOM: Re: "Relativistic" mathematics?
Vladimir Sazonov
- FOM: arithmetic, geometry, natural science, formal systems, ...
Harvey Friedman
- FOM: Conjecture about true arithmetic
Roger Bishop Jones
- FOM: Epistemology vs. Ontology of Number: Number as a notion of specific kind.
Alex
- FOM: "Relativistic" mathematics?
Vladimir Sazonov
- FOM: More Long Binary Sequences
Harvey Friedman
- FOM: "Relativistic" mathematics?
Kanovei
- FOM: Reply to Friedman on Arithmetic and Geometry
Vladimir Sazonov
- FOM: Rota
Stephen G Simpson
- FOM: Re: Arithmetic/Geometry
Harvey Friedman
- FOM: feasibility discussion
Anatoly Vorobey
- FOM: Re: Arithmetic/Geometry
Vladimir Sazonov
- FOM: feasibility discussion
Kanovei
- FOM: probabilistic rigor
Harvey Friedman
- FOM: Re: Arithmetic/Geometry
Vladimir Sazonov
- FOM: probabilistic rigor
JoeShipman at aol.com
- FOM: [HM] "Theory of Species" by Bergeron, Labelle and Leroux
Robert Tragesser
- FOM: Reply to Friedman on scientific method
Neil Tennant
- FOM: reverse logic; classical logic in the natural sciences
Stephen G Simpson
- FOM: classical vs. intuitionistic logic
Harvey Friedman
- FOM: reverse logic
Harvey Friedman
- FOM: feasibility
Harvey Friedman
- FOM: Re:Rota's Introd to "Theory of Species" by Bergeron, Labelle and Leroux
Robert Tragesser
- FOM: On one feature of Cantor's Diagonal Method
Alexander Zenkin
- FOM: Long Walks
Harvey Friedman
- FOM: Re: [HM] On one feature of Cantor's Diagonal Method
Roger Cooke
- FOM: Re: [HM] On one feature of Cantor's Diagonal Method
Thomas Forster
- FOM: Re: [HM] On one feature of Cantor's Diagonal Method
Roger Cooke
- FOM: Luzin hypothesis
Kanovei
- FOM: probabilistic rigor
Stephen Fenner
- FOM: Primality testing -- reply to Fenner
Joe Shipman
- FOM: corrected conservation result
Stephen G Simpson
- FOM: Clarification of LEM in science
Neil Tennant
- FOM: Tennant's Principle
Harvey Friedman
- FOM: 22:Finite Trees/Impredicativity
Harvey Friedman
- FOM: Re: "Relativistic" mathematics?
Charles Silver
- FOM: Friedman's positive findings on TP
Neil Tennant
- FOM: Long Walks #2
Harvey Friedman
- FOM: Long Walks #2 (corrected; please ignore previous version)
Harvey Friedman
- FOM: comments on RT2 paper
Stephen G Simpson
- FOM: Re: comments on RT2 paper
Peter Cholak
- FOM: feasibility
Vladimir Sazonov
- FOM: Re: comments on RT2 paper
Stephen G Simpson
- FOM: Re: comments on RT2 paper
Peter Cholak
- FOM: Re: comments on RT2 paper
Stephen G Simpson
- FOM: Re: comments on RT2 paper
Peter Cholak
- FOM: Re: comments on RT2 paper
Rick Sommer
- FOM: Standards of mathematical rigour (and paradigms of Thomas Kuhn)
Vladimir Sazonov
- FOM: Re: Standards of mathematical rigour (and paradigms of Thomas Kuhn)
Charles Silver
- FOM: Long Walks #3
Harvey Friedman
- FOM: Standards of mathematical rigour and logical consequence
Vladimir Sazonov
- FOM: Long Walks #3
Harvey Friedman
- FOM: Long Walks #4 (corrected version)
Harvey Friedman
- FOM: Postdoctoral Fellowship in Modal Logic
Edwin Mares
- FOM: Church's thesis and complexity theory
Joe Shipman
Last message date:
Fri Oct 30 11:57:47 EDT 1998
Archived on: Fri Mar 11 12:48:15 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).