November 1998 Archives by thread

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

Starting: Sun Nov 1 13:37:06 EDT 1998
Ending: Sun Nov 29 18:09:52 EDT 1998
Messages: 49

• FOM: Rota's United Front versus f.o.m.   Stephen G Simpson
• FOM: Babbage,Theory of Possible Machines: A Gap?   Robert Tragesser
• FOM: Effective and feasible computability   Joe Shipman
• FOM: Effective and feasible computability   Martin Davis
• FOM: Effective and feasible computability (reply to Davis)   Joe Shipman
• FOM: Standards of mathematical rigour and logical consequence   Charles Silver
  • FOM: Standards of mathematical rigour and logical consequence   Vladimir Sazonov
• FOM: Church's thesis and complexity theory   Vladimir Sazonov
• FOM: Church's thesis and complexity -- reply to Sazonov   Joe Shipman
  • FOM: Church's thesis and complexity   Anatoly Vorobey
• FOM: Effective and feasible computability (reply to Davis)   Martin Davis
  • FOM: Effective and feasible computability (reply to Davis)   Joe Shipman
• FOM: re: Church's thesis and complexity theory   Soren Moller Riis
• FOM: Church-Turing hypothesis -- reply to Vorobey and Davis   Joe Shipman
  • FOM: Church-Turing hypothesis -- reply to Vorobey and Davis   Anatoly Vorobey
    • FOM: Church-Turing hypothesis -- reply to Vorobey   Joe Shipman
      • FOM: Church-Turing hypothesis -- reply to Vorobey   Anatoly Vorobey
      • FOM: mathematical certainty   Randy Pollack
      • FOM: mathematical certainty   Stephen Cook
      • FOM: mathematical certainty   Anatoly Vorobey
      • FOM: mathematical certainty   Vladimir Sazonov
• FOM: Positions Available   Iraj Kalantari
• FOM: book announcement from Feferman   Stephen G Simpson
• FOM: Church-Turing hypothesis -- reply to Vorobey and Davis   Kanovei
• FOM: 23:Q-Systems and Proof Theoretic Ordinals   Harvey Friedman
• FOM: Odifreddi on Church's Thesis [long]   Anatoly Vorobey
  • FOM: Church's Thesis Research   Harvey Friedman
• FOM: Church's Thesis -- various versions   Joe Shipman
• FOM: Thesis M   Kanovei
• FOM: position in mathematical logic at Oxford University   Stephen G Simpson
• FOM: Long Walks #5   Harvey Friedman
• FOM: 24:Predicatively Unfeasible Integers   Harvey Friedman
• FOM: Comments and queries on Friedman's last 3 posts   Joe Shipman
  • FOM: Re:Comments and queries on Friedman's last 3 posts   Harvey Friedman
• FOM: Further comments and clarifications   Joe Shipman
• FOM: 25:Long Walks   Harvey Friedman
• FOM: G.-C. Rota's Indiscretions   Joe Shipman
  • FOM: G.-C. Rota's Indiscretions   Anatoly Vorobey
• FOM: G.-C. Rota's Indiscretions   Robert Tragesser
  • FOM: G.-C. Rota's Indiscretions   Stephen G Simpson
    • FOM: G.-C. Rota's Indiscretions   Anatoly Vorobey
• FOM: Reply to Simpson on Rota   Joe Shipman
• FOM: reduced prices on Oxford Press logic and foundations books   Stephen G Simpson
• FOM: Rota AS IS   Robert Tragesser
• FOM: Rota AS/IS debugged   Robert Tragesser
• FOM: [Fwd: Oxford Press 800 number]   Joe Shipman
• FOM: [Fwd: Oxford Press 800 number]   Joe Shipman
• FOM: Contradiction-Free vs.Consistency   Robert Tragesser
• FOM: Re: [FOM] Contradiction-Free vs. Consistency   Martin Davis

Last message date: Sun Nov 29 18:09:52 EDT 1998
Archived on: Fri Mar 11 12:48:19 EDT 2005

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