참고문헌
- 박정일, 힐베르트의 프로그램에 관하여 (I), 철학 59(1999), pp. 249-278.
- 박정일, 유한주의와 철학적 해석, 논리연구 4(2000), pp. 37-62.
- 박준용, 힐버트 형식주의와 이념적 방법, 철학연구 43(2011), pp. 157-202.
- 박창균, 20세기 수학의 패러다임, 수학사학회지 9(1996), No.2, pp. 22-29.
- 이종권, 수학적 형식주의의 전개 과정 (I), 철학탐구 11(1999), pp. 167-201.
- M. Detlefson, Hilbert's Program, Reidel, 1986.
- W. Ewald, ed., From Kant to Hilbert, vol. 2, Oxford Univ. Press, 1996.
- M. Giaquinto, "Hilbert's Philosophy of Mathematics," British Journal for Philosophy of Science, 34(1983), pp. 119-132. https://doi.org/10.1093/bjps/34.2.119
- M. Hallett, "Physicalism, Reductionism and Hilbert", in Physicalism in Mathematics, ed. A. D. Irvine, Kluwer, 1990, pp. 183-257.
- D. Hilbert, "The New Grounding of Mathematics" (1922), in Ewald, pp. 1115-1134.
- D. Hilbert, "The Logical Foundations of Mathematics"(1923), in Ewald, pp. 1134-1148.
- D. Hilbert,"On the Infinite"(1925), in van Heijenoort, pp. 367-392.
- D. Hilbert, "The Foundations of Mathematics"(1927), in van Heijenoort, pp. 464-479.
- D. Hilbert,"The Grounding of Elementary Number Theory"(1931), in Ewald, pp. 1148-1157.
- P. Kitcher, "Hilbert's Epistemology," Philosophy of Science 43(1976), pp. 99-115. https://doi.org/10.1086/288671
- M. Potter, Reason's Nearest Kin, Oxford Univ. Press, 2000.
- M. Resnik, Frege and the Philosophy of Mathematics, Cornell Univ. Press, 1980.
- S. Shapiro, Thinking about Mathematics, Oxford Univ. Press, 2000.
- W. Sieg, "Reflections on Hilbert's Program," in Acting and Reflecting, W. Sieg, ed. Kluwer(1990), pp. 171-182.
- van Heijenoort, ed., From Frege to Godel, Harvard Univ. Press, 1967.
- R. Zach, Hilbert's Program, http://plato.stanford.edu/entries/hilbert-program/(2003).