[FOM] LInk to Unprovability talk

Harvey Friedman friedman at math.ohio-state.edu
Mon Apr 19 23:27:09 EDT 2010

Previous message: [FOM] Conjectures on Number Theory.
Next message: [FOM] Automatheo 2010 at FLoC: Final Call for Papers, Talks, and System Demonstrations
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Readers might be interested in the pdf file for my recent talk on  
April 16, 2010 at the Math Dept at the Ohio State University:

Shocking(?) Unprovability

http://www.math.ohio-state.edu/%7Efriedman/manuscripts.html

Lecture Notes #49

Harvey Friedman

Previous message: [FOM] Conjectures on Number Theory.
Next message: [FOM] Automatheo 2010 at FLoC: Final Call for Papers, Talks, and System Demonstrations
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list