[FOM] Tom Hales on Formal proof at the Bourbaki seminar

Josef Urban josef.urban at gmail.com
Wed Jun 25 07:34:45 EDT 2014

Previous message: [FOM] FPMW 6 *Extended deadline* - French Philosophy of Mathematics Workshop, 9-11 October 2014
Next message: [FOM] 521: Countable Model Theory and Incompleteness
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

http://www.bourbaki.ens.fr/TEXTES/1086.pdf

The whole session is here (with video links):
http://www.bourbaki.ens.fr/seminaires/2014/Prog_juin14.html

Josef

Previous message: [FOM] FPMW 6 *Extended deadline* - French Philosophy of Mathematics Workshop, 9-11 October 2014
Next message: [FOM] 521: Countable Model Theory and Incompleteness
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list