튜링불완전 편집하기
최신판 | 당신의 편집 | ||
1번째 줄: | 1번째 줄: | ||
− | '''튜링불완전'''(Turing Incomplete)은 수리논리학에서 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 [[무모순성]]을 증명할 수 없다는 | + | '''튜링불완전'''(Turing Incomplete)은 수리논리학에서 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 [[무모순성]]을 증명할 수 없다는 정리다. |
− | |||
==역사와 배경== | ==역사와 배경== | ||
===[[쿠르트 괴델]]=== | ===[[쿠르트 괴델]]=== | ||
25번째 줄: | 24번째 줄: | ||
2006년에는 괴델의 탄생 백주년을 맞아 오스트리아 비엔나 대학에서 기념학술대회가 개최됐다. 여러 분야의 학자들이 참가했으며 괴델의 우주론, 이론 컴퓨터 학에 미친 괴델의 공헌에 대한 발표가 있었다. 괴델의 업적이 [[신학]], [[철학]] 등의 인문학과 인지과학에 미친 영향은 매우 컸다.. 그의 주 연구 분야였던 집합론, [[수리논리학]]에서 현대에도 계속되는 영향과 결과들의 발전에 대한 발표가 뒤를 이었다. 그와 그의 업적에 대한 향연은 끝난 것이 아니라 세월이 흐를수록 더욱 커져가고 있다. | 2006년에는 괴델의 탄생 백주년을 맞아 오스트리아 비엔나 대학에서 기념학술대회가 개최됐다. 여러 분야의 학자들이 참가했으며 괴델의 우주론, 이론 컴퓨터 학에 미친 괴델의 공헌에 대한 발표가 있었다. 괴델의 업적이 [[신학]], [[철학]] 등의 인문학과 인지과학에 미친 영향은 매우 컸다.. 그의 주 연구 분야였던 집합론, [[수리논리학]]에서 현대에도 계속되는 영향과 결과들의 발전에 대한 발표가 뒤를 이었다. 그와 그의 업적에 대한 향연은 끝난 것이 아니라 세월이 흐를수록 더욱 커져가고 있다. | ||
+ | |||
+ | |||
{{각주}} | {{각주}} | ||
37번째 줄: | 38번째 줄: | ||
* [[이더리움]] | * [[이더리움]] | ||
− | {{블록체인 기술|검토 필요}} | + | {{ 블록체인 기술|검토 필요}} |