On an alleged refutation of Hilbert’s program using Gödel’s first incompleteness theorem (1990)

by Michael Detlefsen
Venue:Journal of Philosophial Logic