아니 이런건 대체 어떻게 읽는거임ㅋㅋㅋ
1부는 나름 괜찮아 보이네
괴델-로서 정리이면 힐베르트가 조금 도움될거 같음. 힐베르트가 어떤 증명을 더 짧게 서술할 수 있는가에 대해 말했고 로서가 그런 증명 or 튜링 기계가 "이 명제는 이것보아 작게 입력할 수 있다"였던 거로 암. 그래서 오메가 일관성을 버려도 불완전성 정리 나온다는 거 보여준대
아니 이런건 대체 어떻게 읽는거임ㅋㅋㅋ
1부는 나름 괜찮아 보이네
괴델-로서 정리이면 힐베르트가 조금 도움될거 같음. 힐베르트가 어떤 증명을 더 짧게 서술할 수 있는가에 대해 말했고 로서가 그런 증명 or 튜링 기계가 "이 명제는 이것보아 작게 입력할 수 있다"였던 거로 암. 그래서 오메가 일관성을 버려도 불완전성 정리 나온다는 거 보여준대