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

  • Michael Detlefsen
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

Authors and Affiliations

  • Michael Detlefsen
    • 1
  1. 1.Department of PhilosophyUniversity of Notre DameNotre DameU.S.A.