December 1998 Archives by thread

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

Starting: Tue Dec 1 09:55:59 EDT 1998
Ending: Tue Dec 29 11:39:56 EDT 1998
Messages: 46

• FOM: "Consistent":Three Questions.   Robert Tragesser
  • FOM: "Consistent":Three Questions.   Vladimir Sazonov
• FOM: 4CT vs FLT   Stephen Cook
• FOM: computer proofs   Stephen Cook
  • FOM: computer proofs   Randy Pollack
  • FOM: computer proofs   Vladimir Sazonov
• FOM: computer proofs   Don Fallis
• FOM: Re: 4CT vs FLT   Michael Thayer
• FOM: FLT, 4CT, CFSG: Depth, length, and width of proofs   Joe Shipman
  • FOM: FLT, 4CT, CFSG: Depth, length, and width of proofs   Joe Shipman
• FOM: certainty   Andreas Blass
  • FOM: scientific wrongdoing   Adrian Mathias
  • FOM: certainty   Vladimir Sazonov
• FOM: mathematical certainty   Stephen Cook
  • FOM: mathematical certainty   Vladimir Sazonov
• FOM: mathematical certainty   Michael Detlefsen
• FOM: Appel on 4CT proof   Carl G. Jockusch
• FOM: Relations between computer science and computer practice (as a whole) and mathematics   Patrick Peccatte
• FOM: Mathematical Certainty   Joe Shipman
  • FOM: Mathematical Certainty   Charles Silver
    • FOM: Mathematical Certainty: reply to Silver   Joe Shipman
      • FOM: Mathematical Certainty: reply to Silver   Charles Silver
      • FOM: Mathematical Certainty: reply to Silver   Joe Shipman
      • FOM: Mathematical Certainty: reply to Silver   Charles Silver
• FOM: understanding computer proofs   Stephen Cook
  • FOM: Re: understanding computer proofs   Joe Shipman
• FOM: certainty   Randy Pollack
  • FOM: certainty   Vladimir Sazonov
    • FOM: certainty   Andrzej Trybulec
• FOM: Dialogue with Hersh re Silver's "Wagging Dogs"   Joe Shipman
  • FOM: Dialogue with Hersh re Silver's "Wagging Dogs"   Vladimir Sazonov
• FOM: certainty   Michael Thayer
  • FOM: certainty   Andrzej Trybulec
• FOM: certainty   F. Xavier Noria
  • FOM: certainty   Vladimir Sazonov
    • FOM: certainty   Anatoly Vorobey
  • FOM: certainty   Andrzej Trybulec
• FOM: certainty   Martin Davis
  • FOM: certainty   Andrzej Trybulec
• FOM: Where is Simpson?   Stephen G Simpson
  • FOM: Feferfest impressions   Stephen G Simpson
• FOM: certainty   F. Xavier Noria
• FOM: to doctor Simpson (others please delete)   reply to: adriano.palma at usa.net
• FOM: Further dialogue with Hersh on Certainty and Truth   Joe Shipman
• FOM: Reply from Hersh on truth in mathematics   Joe Shipman
• FOM: mathematical certainty   Volker Halbach

Last message date: Tue Dec 29 11:39:56 EDT 1998
Archived on: Fri Mar 11 12:48:20 EDT 2005

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