Incompleteness

Early on, Harvey Friedman, Visitor (1975) in the School of Mathematics, understood that discovering concrete examples of mathematical incompleteness among already-existing statements would be an arduous task. There’s the continuum hypothesis, the...