HOME
        TheInfoList






So certainly Hilbert was aware of the importance of Gödel's work by 1934. The second volume in 1939 included a form of Gentzen's consistency proof for arithmetic.
  • ^ A detailed study of this terminology is given by Soare (1996).
  • ^ Ferreirós (2001) surveys the rise of first-order logic over other formal logics in the early 20th century.
  • ^ Soare, Robert Irving (22 December 2011). "Computability Theory and Applications: The Art of Classical Computability" (PDF). Department of Mathematics. University of Chicago. Retrieved 23 August 2017.
  • ^ Jozef Maria Bochenski, A Precis of Mathematical Logic, rev. and trans., Albert Menne, ed. and trans., Otto Bird, Dordrecht, South Holland: Reidel, Sec. 0.3, p. 2.
  • ^ Jozef Maria Bochenski, A Precis of Mathematical Logic, rev. and trans., Albert Menne, ed. and trans., Otto Bird, Dordrecht, South Holland: Reidel, Sec. 0.3, p. 2.
  • References

    Undergraduate texts So certainly Hilbert was aware of the importance of G


    mysqli_error: