August 2001 Archives by date

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

Starting: Wed Aug 1 09:07:46 EDT 2001
Ending: Fri Aug 31 20:26:41 EDT 2001
Messages: 26

• FOM: What Is Computing bibliography   Steve Stevenson
• FOM: theory-edge mailing list   Ralf-Dieter Schindler
• FOM: theory-edge mailing list   Harvey Friedman
• FOM: What Is Computing bibliography   Charles Parsons
• FOM: Re: theory-edge mailing list, tautologies   V.Z. Nuri
• FOM: set theory in Martin-Loef's type theory   William Tait
• FOM: set theory in Martin-Loef's type theory   Peter Schuster
• FOM: large cardinals and P vs NP   Stephen Cook
• FOM: large cardinals and P vs NP (reply to Cook)   JoeShipman at aol.com
• FOM: P vs NP and Peano Arithmetic   Stephen Fenner
• FOM: BEATCS online   V.Z. Nuri
• FOM: large cardinals and P vs NP   Ralf-Dieter Schindler
• FOM: large cardinals and P vs NP   Mitchell Steven Spector
• - FOM: P vs NP and Peano Arithmetic (fwd)   Stephen Fenner
• FOM: large cardinals and P vs NP   Robert M. Solovay
• FOM: large cardinals and P vs NP   Mitchell Steven Spector
• FOM: LICS newsletter   Stephen G Simpson
• FOM: feasible numbers or? large cardinals and P vs NP   Vladimir Sazonov
• FOM: Foundations of the Formal Sciences III   Foundations of the Formal Sciences
• FOM: NF meeting   Thomas Forster
• FOM: Question: Normal form   G Barmpalias
• FOM: Re: Question: Normal form   G Barmpalias
• FOM: Announcement of Reading of Jacob Klein's work on Mathematics   bill oates
• FOM: Zermelo and Gentzen/Infinitary proof   Taylor, Gregory
• FOM: FoM: Zermelo and Gentzen/Infinitary proofs   A.P. Hazen
• FOM: Canonical non-computable number?   Axel Boldt

Last message date: Fri Aug 31 20:26:41 EDT 2001
Archived on: Fri Mar 11 12:49:22 EDT 2005

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