October 1998 Archives by thread

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

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: Hersh's incoherent attack on formalism and logicism   Reuben Hersh
• FOM: real issues?   Harvey Friedman
  • FOM: quasi-empiricism and anti-foundationalism   Stephen G Simpson
• FOM: advanced logic of Shipman   Kanovei
• FOM: Re: Mandelbro(j)ts and Bourbaki   Colin McLarty
• FOM: list of papers/books   Harvey Friedman
• FOM: indubitability (or "certainty")   M. Randall Holmes
  • FOM: indubitability (or "certainty")   Reuben Hersh
• FOM: Logicism lives...   M. Randall Holmes
  • FOM: Logicism lives...   Reuben Hersh
• FOM: indubitability (or "certainty")   jk
  • FOM: indubitability (or "certainty")   mlink at bu.edu
• FOM: foundations as a search for certainty   Michael Detlefsen
• 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: Conservative extensions   Stephen G Simpson
  • FOM: Conservative extensions   Adrian Mathias
• FOM: Reply to Shoenfield on Conservative Extensions   Joe Shipman
• FOM: unsurveyability   Kanovei
  • FOM: unsurveyability   Vladimir Sazonov
    • FOM: unsurveyability   Charles Silver
      • FOM: unsurveyability   Vladimir Sazonov
• FOM: real issues?   Leo Harrington
• FOM: arithmetic vs geometry   Stephen G Simpson
• FOM: arithmetic vs geometry   Kanovei
• FOM: indubitability (or "certainty")   Neil Tennant
  • FOM: indubitability (or "certainty")   Charles Silver
• FOM: Conservative extwnsions   Joseph Shoenfield
• FOM: re: arithmetic and geometgry   William Tait
• FOM: indubitability (or "certainty")   Neil Tennant
• FOM: Carnap on geometry   Neil Tennant
• FOM: "conservative extension"?   Robert Tragesser
  • FOM: conservative extensions   Stephen G Simpson
    • FOM: conservative extensions, correction and sequel   Stephen G Simpson
• 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: Arithmetic vs Geometry : Categoricity   Charles Silver
  • FOM: Arithmetic vs Geometry : reply to Tennant   Joe Shipman
• FOM: Friedman/Odlyzko   Harvey Friedman
• FOM: Arithmetic vs Geometry : Categoricity   Kanovei
  • FOM: Arithmetic vs Geometry : Categoricity   Randy Pollack
• FOM: Poor slobs and unique structures   Neil Tennant
  • FOM: Re: Poor slobs and unique structures   Charles Silver
• FOM: more on conservative extension results   Neil Tennant
• 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: Silly questions (Reply to Tennant and Silver on arithmetic v. geometry)   Vladimir Sazonov
• FOM: Reply to Tennant on arithmetic vs. geometry   Joe Shipman
• FOM: Reply to Kanovei on counting   Kanovei
• 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: Epistemology vs. Ontology of Number: Number as a notion of specific kind.   Alex
• FOM: Reply to Sazonov on arithmetic, Einstein etc.   Neil Tennant
  • FOM: Reply to Tennant on arithmetic, Einstein etc.   Vladimir Sazonov
  • FOM: Disembodied souls and arithmetics   Anatoly Vorobey
• 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: 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: "Relativistic" mathematics?   Vladimir Sazonov
      • FOM: Re: "Relativistic" mathematics?   Charles Silver
      • FOM: Re: "Relativistic" mathematics?   Vladimir Sazonov
      • FOM: Re: "Relativistic" mathematics?   Charles Silver
      • FOM: Re: "Relativistic" mathematics?   Vladimir Sazonov
      • FOM: Re: "Relativistic" mathematics?   Charles Silver
• FOM: Martin Davis on intuition   Stephen Cook
• FOM: Reply to Shipman on "feasible arithmetic"   Neil Tennant
• FOM: conservative extensions, correction and sequel   Neil Tennant
  • FOM: classical over intuitionistic   Harvey Friedman
• FOM: Charles Silver on silly questions   John Mayberry
  • FOM: Charles Silver on silly questions   Charles Silver
  • FOM: Dedekind's isomorphism theorem   Charles Parsons
• FOM: Reply to Vorobey on Peano-Dedekind arithmetic   Neil Tennant
  • FOM: Reply to Vorobey on Peano-Dedekind arithmetic   Charles Silver
  • FOM: Reply to Vorobey on Peano-Dedekind arithmetic   Anatoly Vorobey
• FOM: Sazonov on thought experiments etc.   Neil Tennant
• FOM: Arithmetic: how much? Reply to Tennant   Joe Shipman
• FOM: n(3)   Harvey Friedman
• FOM: n(k), PA   Joe Shipman
• 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: Rota   Stephen G Simpson
• FOM: Re: fom-digest V1 #151   Leo Harrington
• FOM: Sz MAndelbrojt and Bourbaki   Adrian Mathias
  • FOM: Re: MAndelbrojt and Bourbaki   Harvey Friedman
    • FOM: Re: 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: What should feasibilists be asking?   Neil Tennant
• FOM: Reply to Friedman on Arithmetic and Geometry   Joe Shipman
  • FOM: Reply to Friedman on Arithmetic and Geometry   Vladimir Sazonov
• FOM: Classical over Intuitionistic   Joseph Shoenfield
  • FOM: Classical over Intuitionistic   Harvey Friedman
  • FOM: Classical over Intuitionistic   Ulrich Kohlenbach
• FOM: Long Binary Sequences   Harvey Friedman
• FOM: arithmetic, geometry, natural science, formal systems, ...   Stephen G Simpson
• FOM: Reply to Tennant on thought experiments and scientific honesty   Vladimir Sazonov
• FOM: arithmetic, geometry, natural science, formal systems, ...   Neil Tennant
  • FOM: arithmetic, geometry, natural science, formal systems, ...   Harvey Friedman
  • FOM: reverse logic; classical logic in the natural sciences   Stephen G Simpson
• FOM: Conjecture about true arithmetic   Roger Bishop Jones
• FOM: "Relativistic" mathematics?   Vladimir Sazonov
• FOM: More Long Binary Sequences   Harvey Friedman
• FOM: "Relativistic" mathematics?   Kanovei
• FOM: Re: Arithmetic/Geometry   Harvey Friedman
  • FOM: Re: Arithmetic/Geometry   Vladimir Sazonov
  • FOM: Re: Arithmetic/Geometry   Vladimir Sazonov
• FOM: feasibility discussion   Anatoly Vorobey
• FOM: feasibility discussion   Kanovei
• FOM: probabilistic rigor   Harvey Friedman
• FOM: probabilistic rigor   JoeShipman at aol.com
  • FOM: probabilistic rigor   Stephen Fenner
• FOM: [HM] "Theory of Species" by Bergeron, Labelle and Leroux   Robert Tragesser
• FOM: Reply to Friedman on scientific method   Neil Tennant
• FOM: classical vs. intuitionistic logic   Harvey Friedman
• FOM: reverse logic   Harvey Friedman
• FOM: feasibility   Harvey Friedman
  • FOM: feasibility   Vladimir Sazonov
• 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: Re: [HM] On one feature of Cantor's Diagonal Method   Roger Cooke
• FOM: Long Walks   Harvey Friedman
• 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: 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: 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: 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: Standards of mathematical rigour and logical consequence   Vladimir Sazonov
• FOM: Long Walks #3   Harvey Friedman
• 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

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