September 1998 Archives by date

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

Starting: Tue Sep 1 08:53:26 EDT 1998
Ending: Wed Sep 30 19:50:36 EDT 1998
Messages: 202

• FOM: F.O.M. and foundations   Harvey Friedman
• FOM: Bourbaki   Colin Mclarty
• FOM: fom as mathematics   Joseph Shoenfield
• FOM: Bourbaki   Adrian Mathias
• FOM: recursion/computability/complexity theory   Stephen Fenner
• FOM: Re: recursion/computability/complexity theory   Harvey Friedman
• FOM: F.O.M. and foundations   Charles Silver
• FOM: Bourbaki   Colin Mclarty
• FOM: (non)computability   Joe Shipman
• FOM: Concepts of Recursion Theory   Joseph Shoenfield
• FOM: Reply to Professor Segal   Adrian Mathias
• FOM: Reply to Professor Segal   Colin McLarty
• bourbaki is dead!; was Re: FOM: Reply to Professor Segal   Michel Eytan
• FOM: Re: recursion/computability/complexity theory   Harvey Friedman
• bourbaki is dead!; was Re: FOM: Reply to Professor Segal   Adrian Mathias
• FOM: Reply to Professor Segal   William Tait
• FOM: Re: recursion/computability/complexity theory   Stephen Fenner
• FOM: recursion/computability/complexity theory   Stephen G Simpson
• FOM: intuitionistic and classical truth   Neil Tennant
• FOM: Complexity Theory   Joseph Shoenfield
• FOM: intuitionistic and classical truth   Colin McLarty
• FOM: intuitionistic and classical truth   William Tait
• FOM: Complexity Theory   Stephen Cook
• FOM: Priority arguments in complexity (also RFT in inductive inference)   John Case
• FOM: Informal concepts in fom   Joseph Shoenfield
• FOM: intuitionistic and classical truth   Neil Tennant
• FOM: intuitionistic and classical truth   Neil Tennant
• FOM: goading Harvey?   Stephen G Simpson
• FOM: the role of informal concepts in evaluating f.o.m. research   Stephen G Simpson
• FOM: background on incompleteness I   Harvey Friedman
• FOM: background on incompleteness I   Stephen G Simpson
• FOM: a correction; Martin/Steel/Woodin analogy?   Stephen G Simpson
• FOM: intuitionistic and classical truth   Colin Mclarty
• FOM: Is fom mathematics?   Joseph Shoenfield
• FOM: Goading Harvey   Joseph Shoenfield
• FOM: Complexity theory   Joseph Shoenfield
• FOM: understanding Con(ZFC) and Goldbach's conjecture   Stephen G Simpson
• FOM: why is Martin-Steel good?   Stephen G Simpson
• FOM: goading Harvey   Stephen G Simpson
• FOM: What's so good about reverse mathematics?   Charles Silver
• FOM: Re: What's so good about reverse mathematics?   Michael Thayer
• FOM: Complexity Theory   Stephen Fenner
• FOM: more on intuitionism (in reply to McLarty)   Neil Tennant
• FOM: Godel quotes; regularity conditions   Harvey Friedman
• FOM: Incompleteness program   Joseph Shoenfield
• FOM: more on intuitionism and Brouwer: a correction   Neil Tennant
• FOM: intuitionism and logic   Michael Detlefsen
• FOM: Martin-Steel theorem   Joseph Shoenfield
• FOM: Bargain on "Modal Logic" texts (fwd)   paul.andrews at utoronto.ca
• FOM: more on intuitionism   Colin McLarty
• FOM: What's so good about reverse mathematics?   Stephen G Simpson
• FOM: Crucial f.o.m. issue   Harvey Friedman
• FOM: reverse math amplification   Harvey Friedman
• FOM: Martin-Steel theorem   Stephen G Simpson
• FOM: intuitionism/constructivity   Harvey Friedman
• FOM: reply to Detlefsen, McLarty, Tait   Neil Tennant
• FOM: Re: Tennant's reply to Detlefsen, McLarty, Tait   Colin McLarty
• FOM: recursion theory and complexity theory: the sociological aspect   Stephen G Simpson
• FOM: recursion theory and complexity theory: the sociological aspect   Stephen Fenner
• FOM: reply to Detlefsen, McLarty, Tait   William Tait
• FOM: (non)computability   Stephen Fenner
• FOM: Quasi-empiricism and anti-foundationalism   Patrick Peccatte
• FOM: f.o.m. and whores   Harvey Friedman
• FOM: Quasi-empiricism and anti-foundationalism   Reuben Hersh
• FOM: Quasi-empiricism and anti-foundationalism   Stephen Ferguson
• FOM: f.o.m. and whores   Reuben Hersh
• FOM: f.o.m. and whores   Martin Davis
• FOM: Foundationalism   John Mayberry
• FOM: Aristotel's like-minded persons about Actual Infinity.   Alexander Zenkin
• FOM: quasi-empiricism and anti-foundationalism   Stephen G Simpson
• FOM: Reply to Steve   Joseph Shoenfield
• FOM: Foundationalism   JoeShipman at aol.com
• FOM: Martin-Steel theorem   Stephen G Simpson
• FOM: The Martin-Steel Theorem   Joseph Shoenfield
• FOM: Foundationalism   Colin Mclarty
• FOM: The Martin-Steel Theorem   Martin Davis
• FOM: Foundationalism   Reuben Hersh
• FOM: Foundationalism   JoeShipman at aol.com
• FOM: Heyting's logic   Harvey Friedman
• FOM: New book   Harvey Friedman
• FOM: Foundationalism   John Mayberry
• FOM: Re: [HM] Aristotle's like-minded persons about Actual Infinity   Gregory Moore
• FOM: old and new rigor?   Harvey Friedman
• FOM: A proof of not-CH   Soren Moller Riis
• FOM: set-theory-1 versus set-theory-2   Stephen G Simpson
• FOM: Re: [HM] Aristotle's like-minded persons about Actual Infinity   Julio Gonzalez Cabillon
• FOM: Foundationalism   JoeShipman at aol.com
• FOM: mainline set theory   Harvey Friedman
• FOM: secrecy   Harvey Friedman
• FOM: Godel quotes; regularity conditions   Joseph Shoenfield
• FOM: Re. intuitionism, Tennant, McLarty, et al   Michael Detlefsen
• FOM: Elaboration on not-CH proof:   Soren Moller Riis
• FOM: Length of proofs and consistency of formal systems by Prikh   Vladimir Sazonov
• FOM: secrecy   Reuben Hersh
• FOM: Re. intuitionism, Tennant, McLarty, et al   Neil Tennant
• FOM: Fields Medal process   Harvey Friedman
• FOM: regularity conditions, general program   Harvey Friedman
• FOM: Foundationalism and Secrecy   Joe Shipman
• FOM: script/can't run away   Harvey Friedman
• FOM: Re. intuitionism, Tennant, McLarty, et al   Graham White
• FOM: Foundationalism and Secrecy   Martin Davis
• FOM: correction   Harvey Friedman
• fwd: Re: FOM: Foundationalism   John Mayberry
• FOM: quasi-empiricism and anti-foundationalism   Stephen G Simpson
• FOM: Re: script/can't run away   Harvey Friedman
• FOM: Bourbaki is alive   Giuseppe Longo
• FOM: Soare and complexity theory ...   John Case
• FOM: quasi-empiricism and anti-foundationalism   Reuben Hersh
• FOM: script/can't run away   Stephen Fenner
• FOM: Re. intuitionism, Tennant, McLarty, et al   Neil Tennant
• FOM: Consensus vs Indubitability   Joe Shipman
• FOM: Length of proofs; Parikh; Sazonov   Patrick Peccatte
• FOM: Re: Elaboration on not-CH proof:   Martin Schlottmann
• FOM: Re: Consensus vs Indubitability   Reuben Hersh
• FOM: Consensus vs Indubitability   Stephen Cook
• FOM: Re: Elaboration on not-CH proof:   Soren Moller Riis
• FOM: length of proofs   Harvey Friedman
• FOM: Leo credit/n^n(p)/sequences   Harvey Friedman
• FOM: Length of proofs; Parikh; Sazonov   Martin Davis
• FOM: certainty/belief   Harvey Friedman
• FOM: Consensus vs Indubitability   JoeShipman at aol.com
• FOM: indubitability   M. Randall Holmes
• FOM: random aided proof   Harvey Friedman
• FOM: Further elaboration on not-CH:   Soren Moller Riis
• FOM: Re: Cook on Consensus vs Indubitability   Randy Pollack
• FOM: quasi-empiricism and anti-foundationalism   Stephen Ferguson
• FOM: Indubitability, CH: reply to Pollack and Riis   Joe Shipman
• FOM: Re: intuitionism, Tennant, McLarty, et al   Colin McLarty
• FOM: CH   Henry Cohn
• FOM: certainty/belief   Martin Davis
• FOM: certainty/belief   Harvey Friedman
• FOM: Re: CH; reply to Rijs and Cohn   Martin Schlottmann
• FOM: more on probabilistic proofs   Stephen Cook
• FOM: Martin-Steel Theorem   Joseph Shoenfield
• FOM: re: CH   Soren Moller Riis
• FOM: Correction:   Soren Moller Riis
• FOM: sIncompleteness program/gii   Harvey Friedman
• FOM: more on Rabin's test   Stephen Cook
• FOM: Incompleteness program   Joseph Shoenfield
• FOM: set-theory-1 and -2; Martin-Steel; mathematical incompleteness   Stephen G Simpson
• FOM: re: CH / Funny subsets of RxR   Stephen Fenner
• FOM: quasi-empiricism and anti-foundationalism   Stephen G Simpson
• FOM: re: CH / Funny subsets of RxR   Soren Moller Riis
• FOM: quasi-empiricism and anti-foundationalism   Stephen G Simpson
• FOM: Soare and complexity theory ...   Stephen G Simpson
• FOM: formalizing probabilistic tests   Harvey Friedman
• FOM: Hersh on the axiom of infinity etc.   Stephen G Simpson
• FOM: "mistaken-proof" theory?   Neil Tennant
• FOM: Re: Hersh on the axiom of infinity etc.   Karlis Podnieks
• FOM: Re: formalizing probabilistic tests   Harvey Friedman
• FOM: really basic questions   F. Xavier Noria
• FOM: FOM --- another game   Adrian Mathias
• FOM: on false bloopers   Neil Tennant
• FOM: really basic questions   Martin Davis
• FOM: Consensus vs Indubitability   Don Fallis
• FOM: more on probabilistic proofs   Don Fallis
• FOM: Consensus vs Indubitability   JoeShipman at aol.com
• FOM: set theory-2   Joseph Shoenfield
• FOM: Incompleteness program   Harvey Friedman
• FOM: Incompleteness program   Joseph Shoenfield
• FOM: Consensus vs Indubitability   Don Fallis
• FOM: Maybe FOM should be there as well?   Dana_Scott at POP.CS.CMU.EDU
• FOM: Long sequence and the Friedman-Shoenfield debate on Incompleteness   Joe Shipman
• FOM: Probabilistic proofs   Joe Shipman
• FOM: Probabilistic proofs   Harvey Friedman
• FOM: Probabilistic proofs   Don Fallis
• FOM: Probabilistic proofs   Joe Shipman
• FOM: Probabilistic proofs   Don Fallis
• FOM: Probabilistic proofs, a question:   Soren Moller Riis
• FOM: Probabilistic proofs   Stephen Cook
• FOM: Probabilistic proofs   Joe Shipman
• FOM: Re: [HM] Aristotle's like-minded persons about Actual Infinity   Alexander Zenkin
• FOM: Re: fom-digest V1 #141   Julius Moravcsik
• FOM: Fallis on probability proofs   Neil Tennant
• FOM: Fallis on probability proofs   Don Fallis
• FOM: Leibniz and the actual infinity   Charles Silver
• FOM: More on pobabilistic proof   Neil Tennant
• FOM: More on probabilistic proof   Don Fallis
• FOM: Grothendieck's membership of Bourbaki   Adrian Mathias
• FOM: Szolem Mandelbrojt and Bourbaki   Adrian Mathias
• FOM: Leibniz and the actual infinity   Moshe' Machover
• FOM: Re: foundationalism (fwd)   Reuben Hersh
• FOM: Leibniz and the actual infinity   Alexander Zenkin
• FOM: Re: foundationalism (fwd)   Martin Davis
• FOM: Re: foundationalism (fwd)   Reuben Hersh
• FOM: Re: foundationalism (fwd)   Martin Davis
• FOM: Logicism   JoeShipman at aol.com
• FOM: Re: [HM] Leibniz and the actual infinity   Julio Gonzalez Cabillon
• FOM: f.o.m. and philosophical agnosticism   Harvey Friedman
• FOM: Hersh's pointless attack on logicism and formalism   Stephen G Simpson
• FOM: Re: Query on AC   Joe Shipman
• FOM: Query on AC   Stephen G Simpson
• FOM: The Axiom of Choice -- positive and negative versions   Joe Shipman
• FOM: Re: fom-digest V1 #143   Julius Moravcsik
• FOM: Simpson't pointless persistent misinterpretation of Hersh   Reuben Hersh
• FOM: Hersh's unfruitful attack on logicism and formalism   Stephen G Simpson
• FOM: Hersh's unfruitful attack on logicism and formalism   Edwin Mares
• FOM: Simpson't pointless persistent misinterpretation of Hersh   Stephen G Simpson
• FOM: Szolem Mandelbrojt and Bourbaki   Colin McLarty
• No subject   Reuben Hersh
• FOM: Szolem Mandelbrojt and Bourbaki   Reuben Hersh
• FOM: Simpson't pointless persistent misinterpretation of Hersh   Reuben Hersh

Last message date: Wed Sep 30 19:50:36 EDT 1998
Archived on: Fri Mar 11 12:48:11 EDT 2005

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