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Ã