论文信息 - We shall know: Hilbert’s apology - 字舞流文

We shall know: Hilbert’s apology

Victor Vinnikov

[1] Wilfried Sieg. Hilbert's Program Sixty Years Later , 1988, J. Symb. Log..

[2] D. Hilbert. Naturerkennen und Logik , 1930 .

[3] J. Barkley Rosser,et al. An informal exposition of proofs of Gödel's theorems and Church's theorem , 1939, Journal of Symbolic Logic.

[4] H. Weyl. Mathematics and Logic , 1946 .

[5] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[6] Stephen G. Simpson,et al. Partial realizations of Hilbert's program , 1988, Journal of Symbolic Logic.

[7] Hermann Weyl,et al. David Hilbert and his mathematical work , 1944 .

[8] J. Barkley Rosser,et al. Extensions of some theorems of Gödel and Church , 1936, Journal of Symbolic Logic.

[9] H. Weyl,et al. The Philosophy of Bertrand Russell. , 1945 .

[10] F. Browder. Mathematical developments arising from Hilbert problems , 1976 .

[11] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[12] Solomon Feferman,et al. Hilbert's program relativized; Proof-theoretical and foundational reductions , 1988, Journal of Symbolic Logic.