[FOM] Yessenin-Volpin

Gabriel Stolzenberg gstolzen at math.bu.edu
Thu Nov 2 13:48:08 EST 2006

Previous message: [FOM] 303: PA Completeness (restatement)
Next message: [FOM] Yessenin-Volpin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

   Alik Volpin's "ultra-finitist" program had the aim of proving
the consistency of mathematics.

   Gabriel Stolzenberg

Previous message: [FOM] 303: PA Completeness (restatement)
Next message: [FOM] Yessenin-Volpin
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list