July 2001 Archives by thread

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

Starting: Fri Jul 6 12:49:32 EDT 2001
Ending: Tue Jul 31 15:05:28 EDT 2001
Messages: 20

• FOM: conference on weak arithmetic and discrete geometry   Stephen G Simpson
• FOM: Philosophia Mathematica   Stephen G Simpson
• FOM: Philosophia Mathematica   A.P. Hazen
• FOM: Godel papers on microfilm; opinion survey   Stephen G Simpson
• FOM: FOM hiatus   Stephen G Simpson
• FOM: Concepts of strength   Roger Bishop Jones
• FOM: Opinions on place to start considering computation....   Steve Stevenson
  • FOM: RE: Opinions on place to start considering computation....   Ayan Mahalanobis
    • FOM: RE: Opinions on place to start considering computation....   Steve Stevenson
  • FOM: Opinions on place to start considering computation....   Stephen Fenner
  • FOM: Opinions on place to start considering computation....   William Tait
• FOM: meeting announcement: Diagrams 2002   Stephen G Simpson
• FOM: Correction to Comment of Bishop.   Steve Stevenson
• FOM: intro: theory-edge mailing list   V.Z. Nuri
  • FOM: intro: theory-edge mailing list   William Tait
• FOM: Independence of "P=NP"?   Alasdair Urquhart
• FOM: theory-edge mailing list, tautologies   JoeShipman at aol.com
  • FOM: Re: theory-edge mailing list, tautologies   Roger Bishop Jones
    • FOM: Re: theory-edge mailing list, tautologies   Martin Davis
• FOM: standard model, FD work, etcetera   V.Z. Nuri

Last message date: Tue Jul 31 15:05:28 EDT 2001
Archived on: Fri Mar 11 12:49:21 EDT 2005

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