최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국수학사학회지 = The Korean journal for history of mathematics, v.24 no.3, 2011년, pp.37 - 58
The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of t...
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
내포공리란 무엇인가? | 프레게(G. Frege, 1848∼1925)에 의하면 모든 개념 내지 속성은 하나의 집합을 형성하며, 이를 내포공리(Comprehension axiom)라고 한다. | |
형식화란 무엇인가? | 형식화란, 비직관적인 기호들로 구성된 엄격한 문법규칙으로 모든 수학의 명제와 증명을 기술하는 것을 의미하는데, 이렇게되면 수학에서 통사론과 의미론의 분리가 이루어진다. 초보적인 문제에 관해서는 비형식적인 증명도 무방하다. | |
직관주의의 관점을 요약하면 어떻게 되는가? | i. 무한집합에 대한 추론에서 배중율과 선택공리를 거부한다. ii. 비구성적인(nonconstructive) 존재증명을 거부한다. |
Avigad J. and Reck E., Clarifing the nature of the infinite: the development of metamathematics and proof theory, (www.andrew.cmu.edu/user/avigad), 2001.
Benacerraf P. and Putnam H., (ed.), Philosophy of Mathematics, Cambridge University press, 1983.
Bernays P., On Hilbert's Thoughts Concerning the Grounding of Arithmetics, 1923. English translation in [Mancosu, pp.223-226].
Bernays P., Hilbert, David, Encyclopedia of philosophy, vol.III, Macmillan Publishing Co., 1967.
Bernays P., The Philosophy of Mathematics and Hilbert's Proof Theory, 1930. in [Mancosu, pp.234-265].
Cassou-Nogues Pierre, Hilbert, Les Belles Lettres, 2001.
Detlefsen M., Hilbert's Program, Dordrecht, 1986.
Ewald W. B. (ed), From Kant to Hilbert. A Source book in the foundations of Mathematics, vol. 2, Oxford University press, 1996.
Feferman S., Hilbert's Program relativized: Proof-Theoretical and foundational reductions, Journal of Symbolic Logic, 53(2), pp.284-304, 1988.
Gray J.J., Le Defi de Hilbert, Dunod, 2004.
Herbrand J., English translation: 'On the consistency of arithmetic', in: Heijenoort, J. van (Ed.) From Frege to Godel. A source Book in Mathematical Logic, 1879-1931, Harvard University Press, Cambridge, Mass, pp.620-628, (1931)1967.
Hilbert D., The New Grounding of Mathematics, 1922, English translation in [Mancosu, pp.198-214]
Hilbert D., On the infinite, 1926, English translation in [Van Heijenoort, pp.367-392].
Hilbert D., The foundation of mathematics, 1927, English translation in [Van Heijenoort, pp.464-479].
Kreisel G., Hilbert's Program, 1983, in philosophy of mathematices, In Benacerraf and Putnam, pp.207-238.
Mancosu P., (ed.), From Brouwer to Hilbert. The Debate of the Foundations of Mathematics in the 1920s, Oxford University press, 1998.
Mancosu P., Hilbert and Berneys on metamathemetics, in [Mancosu(Ed.), pp.149-188]
Murawsk: R., On proofs of the consistency of arithmetic, Studies in logic, grammar and rhetoric 5(18), pp.41-50, 2002.
Sieg W., Hilbert's Program: 1887-1922. Bulletin of symbolic Logic, 5(1), pp.1-44, 1999.
Simpson S. G., Partial realizations of Hilbert's Program, Journal of Symbolic Logic 53(2), pp.349-363, 1988.
Slater B. H., Epsilon Calculi, Logic Journal of IGPL vol. 14, number 4, pp.535-590, 2006.
Tait W. W., Finitism, Journal of Philosophy. 78, pp.524-546, 1981.
Van Heijenoort J., (ed.), From Frege to Godel. A source Book in mathematical Logic, 1897-1931, Harvard University press, 1967.
Zach R., Hilbert's Program, The Stanford Encyclopedia of Philosophy, 2003.
Zach R., The practice of finitism. Epsilon calculus and consistency proofs in Hilbert's Program, Synthese, 137, pp.211-259, 2003.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.