September 1998 Archives by thread

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

This archive was generated by Pipermail 0.09 (Mailman edition).