순서형 논리학
Ordinal logic수학에서 순서형 논리는 이전 로직의 순서에 요소를 재귀적으로 추가함으로써 순서형 숫자와 연관된 논리다.[1][2]이 개념은 괴델의 불완전성 정리를 고려하여 앨런 튜링에 의해 1938년 프린스턴 대학에서 박사학위 논문에서 소개되었다.[3][1]
괴델은 모든 논리 체계가 어떤 형태의 불완전성으로 인해 고통 받는다는 것을 보여주었지만, 튜링은 주어진 논리 체계에서 보다 완전한 시스템을 구축할 수 있는 방법에 초점을 맞췄다.이 과정을 반복함으로써, L1, L2, ...의 순서가 이전보다 각각 더 완전해졌다.그런 다음, L1, L2 등의 도움을 받아 검증 가능한 이론의 총체적인 논리 L을 구성할 수 있다.따라서 튜링은 어떻게 논리를 어떤 건설적인 서수날과 연관시킬 수 있는지를 보여주었다.[3]
참조
- ^ a b 솔로몬 페퍼만, 롤프 헤르켄의 "유니버설 튜링 머신: 반세기 조사"에서 O(z)의 땅의 튜링 ISBN3-211-82637-8페이지 111
- ^ 2000년 ISBN 0-415-22364-4페이지 647
- ^ a b Alan Turing, Substitution Procedures Based London Mathematical Society Volumes 2–45, 문제 1, 페이지 161–228.[1]
