bizbuddha

[ 밑줄/연결 ]  (괴델의 정리) 1900년 수학자 회의 연설에서 데이비드 힐버트...수학계에서 아직 해답을 얻지 못한 23가지 문제들을 열거했다.  목록에서 2번 문제는결과적으로 수학의 세계를 완전히 뒤바꾼 중요한 것이었다. 힐버트는 산수에 적용되는 공리들이 자신의 표현대로 "조리가 정연한지 (상호모순이 없는지)"를 알고 싶어했다. 수학 시스템에 의해 도출된 어떤 주장(답)이 참 또는 그릇지를 가릴 수 있는 "단계적인 해결책 혹은 방식"(수학자들은 "앨거리즘"을 이렇게 표현한다)을 찾는 작업으로 정의되었다.   제목이 없는 책 패러덕스 1905년 수학자 줄스 리처드의  모든 정상적인 논리규칙에는 문제가 있음을 보여준다. 1931년 쿠르트 괴델이 라는 논문을 발표15쪽...힐버트 계획은 불가능하며 수학..