Post Made Community Wiki by David Zureick-Brown
show/hide this revision's text 1

Hilbert's program, whose development was induced by on assumptions shattered by Goedel.