| Συγγραφέας: Harvey M. Friedman 
 
 Harvey M. Friedman:   Shocking(?) Unprovability    (pdf, 20 pages)
 
 Mathematical Logic had a glorious period in the 1930s, which was briefly rekindled in the 1960s. Any Shock Value, such as it is, has surrounded unprovability from ZFC. |