괴델이 보는 수학의 토대

키워드

참고문헌 (29)

1. Putnam, "Philosophy of Mathematics" (1983), Cambridge University Presss
2. Crocco, G, "Godel on Concepts, History and Philosophy of Logic", 27, pp.171~191 (2006)
3. Davis, M, "What Did Godel Believe and When Did He Believe It? The Bulletin of Symbolic Logic", 11(2), pp.194~206 (2005)
4. Feferman, S, "Are There Absolutely Unsolvable Problems? Godel′s Dichotomy", 14, pp.134~152 (2006)
5. Føllesdal, D, "From Dedekind to Godel: Essays on the Development of the Foundations of Mathematics" (1995), Kluwer Academic Publishers
6. Godel, K, "Some Basic Theorems on the Foundations of Mathematics and Their Implications(1951) Collected Works", III (1995), Oxford University Press
7. Godel, K, "Is Mathematics Syntax of Language?(1953) Collected Works", III (1995), Oxford University Press
8. Godel, K, "The Modern Development of the Foundations of Mathematics in the light of Philosophy(1961) Collected Works", III (1995), Oxford University Press
9. Godel, K, "Collected Works", IV (2003), Oxford University Press
10. Hauser, K, "Godel′s Program Revisited Part I: The Turn to Phenomenology", 12, pp.529~590 (2006)
11. Hersh, R, "도대체 수학이란 무엇인가?(What is Mathematics, Really?)" (2003), 경문사
12. Jech, T, "무한의 현대사", 12(2), pp.159~165 (1999)
13. Mac Lane, "S. Mathematics Form and Function", pp.1986~, Springer-Verlag
14. Martin, D. A, "Godel′s Conceptual Realism", 11(2), pp.207~224 (2005)
15. Parsons, C, "Platonism and Mathematical Intuition in Kurt Godel′s Thought", 1(1), pp.44~74 (1995)
16. Penrose, R, "황제의 새 마음(The Emperor′s New Mind)" (1996), 이화여자대학교출판부
17. Takeuti, G, "Memoirs of a Proof Theorist: Godel and Other Logicians" (2003), World Scientific
18. Tieszen, R, "Godel′s Path from the Incompleteness Theorems", 4(2), pp.181~203 (1998)
19. van Atten, M, "On the Philosophical Development of Kurt Godel", 9(4), pp.425~476 (2003)
20. Wang, H, "A Logical Journey: From Godel to Philosophy" (1996), The MIT Press
21. 김상문, "20세기 수리논리학의 사상과 흐름", 8(1), pp.6~13 (1995)
22. 박창균, "20세기 수학의 패러다임", 9(2), pp.22~29 (1996)
23. 박창균, "플라톤주의와 사회구성주의", 15(2), pp.69~76 (2002)
24. 박창균, "수학에서 수학사와 수리철학의 기능과 역할", 18(4), pp.17~28 (2005)
25. 현우식, "Godel′s Disjunctive Conclusion", 13(1), pp.137~141 (2000)
26. 현우식, "On Godel′s Program from Incompleteness to Speed-up", 15(3), pp.75~82 (2000)
27. 현우식, "튜링의 기계주의에 대한 괴델의 비평", 한국수학사학회지, 17(4), pp.27~36 (2004), 한국수학사학회
28. 현우식, "쿠르트 괴델의 수학적 신학", 49, pp.171~196 (2007)
29. 홍성사, "Zermelo 이후의 선택공리", 9(2) (1996)

관련 논문AI추천