4 ms·
As he posted on the FOM mailing list earlier this month, the 'final' version of Friedman's book on boolean relation theory is now up on his website. [1] It cloc
by ionfish 15y ago
As he posted on the FOM mailing list earlier this month, the 'final' version of Friedman's book on boolean relation theory is now up on his website. [1] It clocks in at around 900 pages. Not for the faint of heart.
[1] http://www.cs.nyu.edu/pipermail/fom/2011-May/015383.html http://www.cs.nyu.edu/pipermail/fom/2011-May/015383.html
- timtadh 15y agoFor those interested, the crux of Friedman's argument for pursuing examples of "Concrete" Incompleteness is: > The second rationale for pursuing Concrete Mathematical Incompleteness preserves ZFC as the ambitious target. The idea is that normal mathematical activity up to now represents only an infinitesimal portion of eventual mathematical activity. Even if current mathematical activity does not give rise to Concrete Mathematical Incompleteness from ZFC, this is a very poor indication of whether this will continue to be the case, particularly far out into the future. page 8 in http://www.math.osu.edu/~friedman/pdf/0EntireBk051411.pdf http://www.math.osu.edu/~friedman/pdf/0EntireBk051411.pdf