형식주의1 괴델의 (불완전성) 정리 [황제의 새 마음 p173-182] 형식 수학 체계(formal mathematical system) /173-178 "공리들과 추론 규칙들로 이루어진 형식 수학 체계" 수학 문장들을 표현하기 위한 기호와 알파벳 명제함수(propositional funciton): 하나 이상의 변수에 의존하는 명제 공리: 일반적인 명제들의 유한 리스트. 자명하게 '참'으로 간주 공리들로부터 출발하여 추론 규칙들을 되풀이 적용하여 명제들로 이루어진 리스트 작성 정리(定理, theorem): 적절한 방법에 의하여 조합된 명제들의 리스트 /176 어떤 명제 P를 증명 - 이 규칙에 맞게 조합된 리스트들 중에서 P로 끝나는 것을 찾으면 됨. 이 리스트는 P에 대한 증명이 되고, P는 정리가 됨 힐베르트 프로그램: 수학에서 모든.. 2007. 9. 17. 이전 1 다음