Shocking(?) Unprovability


Συγγραφέας: 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.