August 1998 Archives by subject

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

Starting: Sat Aug 1 07:16:02 EDT 1998
Ending: Mon Aug 31 22:40:52 EDT 1998
Messages: 110

FOM: "definability theory" Stephen G Simpson
FOM: "natural" Turing degrees Stephen G Simpson
FOM: "profound changes" Harvey Friedman
FOM: "profound changes" Moshe' Machover
FOM: 20:Proof Theoretic Degrees Harvey Friedman
FOM: 20:Proof Theoretic Degrees V. Yu. Shavrukov
FOM: About some epochal FOM-jokes. Alexander Zenkin
FOM: asymptotic complexity; the sociology of "computability theory" Stephen G Simpson
FOM: Bourbaki Joseph Shoenfield
FOM: Bourbaki ... Adrian Mathias
FOM: Compartmentalization of mathematics JoeShipman at aol.com
FOM: Complexity Theory Joseph Shoenfield
FOM: computability & complexity Martin Davis
FOM: computability & complexity Stephen G Simpson
FOM: computability & complexity Martin Davis
FOM: computability & complexity Stephen G Simpson
FOM: Computer-aided proofs JoeShipman at aol.com
FOM: Computer-aided proofs Robert Tragesser
FOM: Con(ZF)/its platonistic content/intensional problems. Robert Tragesser
FOM: Con(ZF)/its platonistic content/intensional problems. Stephen G Simpson
FOM: Con(ZFC), simplicity, intuitiveness, etc. Neil Tennant
FOM: Con(ZFC), simplicity, intuitiveness, etc. Stephen G Simpson
FOM: Concepts of Recursion Theory Joseph Shoenfield
FOM: Concepts of Recursion Theory (reply to Shoenfield) Stephen G Simpson
FOM: Consistency / Combinatorial Sam Buss
FOM: ConZFC Joseph Shoenfield
FOM: counting Brian Rotman
FOM: counting - feasibility (Reply to Brian Rotman) Vladimir Sazonov
FOM: epochal f.o.m. advances; philosophical exercises Stephen G Simpson
FOM: Equivalence classes as objects Moshe' Machover
FOM: Error Moshe' Machover
FOM: explicating the epochal Neil Tennant
FOM: f.o.m. as math? Harvey Friedman
FOM: finite combinatorics; what is "epochal"? Stephen G Simpson
FOM: FOM Graham White
FOM: fom as mathematics Joseph Shoenfield
FOM: FOM is hot Harvey Friedman
FOM: Go"del & Phenomenology Robert Tragesser
FOM: Go"del & Phenomenology Stephen G Simpson
FOM: golden opportunities Stephen G Simpson
FOM: Heidegger and FOM Olivier Souan
FOM: Heidegger and FOM John Mayberry
FOM: Heidegger&fom Robert Tragesser
FOM: Heidegger; practical vs theoretical Stephen G Simpson
FOM: Heidegger; practical vs theoretical Kennedy Juliette C
FOM: Lempp/Friedman correspondence; where are the recursion theorists? Stephen G Simpson
FOM: more on Con(ZFC) and semantic grasp Neil Tennant
FOM: more on Con(ZFC) and semantic grasp Stephen G Simpson
FOM: more reverse math/recursion theory Harvey Friedman
FOM: my reply to Harvey and Steve Steffen Lempp
FOM: name of conference Steffen Lempp
FOM: On "grasping" Con(ZFC) Roger Bishop Jones
FOM: On "grasping" Con(ZFC) Robert Tragesser
FOM: On "grasping" Con(ZFC) Neil Tennant
FOM: On finite combinatorial statements Neil Tennant
FOM: parsing Soare; recursion theory's identity crisis Stephen G Simpson
FOM: Re: FOM tone Harvey Friedman
FOM: Re: Soare on "recursion" versus "computability" Roger Bishop Jones
FOM: recursion theory vs. asymptotic complexity theory Martin Davis
FOM: recursion theory vs. asymptotic complexity theory Stephen G Simpson
FOM: recursion theory vs. asymptotic complexity theory Adrian Mathias
FOM: Recursive vs Computable Joseph Shoenfield
FOM: Recursive vs Computable Stephen G Simpson
FOM: recursive vs computable Joseph Shoenfield
FOM: renaming recursion theory Harvey Friedman
FOM: replies to Shipman: compartmentalization; math vs physics Stephen G Simpson
FOM: reply to Graham White Stephen G Simpson
FOM: reply to Graham White Graham White
FOM: reply to Graham White Stephen G Simpson
FOM: reply to Graham White Adrian Mathias
FOM: Reply to Harvey Joseph Shoenfield
FOM: Reply to Steve Joseph Shoenfield
FOM: Reply to Steve's reply Joseph Shoenfield
FOM: response to Shipman Stephen G Simpson
FOM: reverse math/recursion theory Harvey Friedman
FOM: reverse math/recursion theory Stephen G Simpson
FOM: reverse math/recursion theory: effective algebra Stephen G Simpson
FOM: RFT in Complexity Theory John Case
FOM: Small but critical correction to previous post. JoeShipman at aol.com
FOM: structural questions Harvey Friedman
FOM: techniques & problems Martin Davis
FOM: terminological foolishness Martin Davis
FOM: terminological foolishness? substantial issues Stephen G Simpson
FOM: terminological foolishness? substantial issues Martin Davis
FOM: the need for standards Stephen G Simpson
FOM: the need for standards Martin Davis
FOM: the need for standards Stephen G Simpson
FOM: The origin of mathematics? JoeShipman at aol.com
FOM: the role of informal concepts in evaluating f.o.m. research Stephen G Simpson
FOM: understandability of Con(ZFC); bad PR Stephen G Simpson
FOM: understandability of Con(ZFC); bad PR Robert Tragesser
FOM: Understanding Con(ZFC): some problems Neil Tennant
FOM: Understanding Con(ZFC): the corridor test Stephen G Simpson
FOM: what is computability theory? Stephen G Simpson
FOM: what is computability theory? Larry Stout
FOM: what is computability theory? Martin Davis
FOM: what is computability theory? Stephen G Simpson
FOM: what is computability theory? Martin Davis
FOM: what is computability theory? Vladimir Sazonov
FOM: what is computability theory? Stephen G Simpson
FOM: what is computability theory? Stephen G Simpson
FOM: what is computability theory? Martin Davis
FOM: what is computability theory? Stephen G Simpson
FOM: What's important Martin Davis
FOM: where to put complexity theory Wayne Richter
FOM: why Con(ZFC) isn't finite combinatorial; epochalness Stephen G Simpson
FOM: why Con(ZFC) isn't finite combinatorics Stephen G Simpson
FOM: Why is everything linearly ordered? With a digression on "computability theory" JoeShipman at aol.com
FOM: with great sadness |ap|palma
FOM:Hdggr/Klein/Plato/Kant/Krieger/Rota/Hacking Robert Tragesser

Last message date: Mon Aug 31 22:40:52 EDT 1998
Archived on: Fri Mar 11 12:48:08 EDT 2005

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

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