Journal of Philosophical Logic

, Volume 19, Issue 4, pp 343–377

On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem

Authors

  • Michael Detlefsen
    • Department of PhilosophyUniversity of Notre Dame
Article

DOI: 10.1007/BF00263316

Cite this article as:
Detlefsen, M. J Philos Logic (1990) 19: 343. doi:10.1007/BF00263316

Copyright information

© Kluwer Academic Publishers 1990