[일반] 크립키가 올해도 글을 썼었나

[+.(joohong2018)]

뭔가 의외인

[808s(daskind)]

예토전생 ㄷㄷ

[+.(joohong2018)]

죽기 몇 달 전에 쓴? 글

[불안의책(artistrilke)]

Epsilon_calculus 라 함. 알고보면 참 신기한 내용. 폰 노이만을 포함한 힐베르트 학파는 Epsilon substitution method를 사용해서 일관성의 증명을 시도함. 다른 내용은 잘 모르겠는데, 내가 기억나는건 나중에 보니까 같은편인 베르나이스의 실수로 어떤 정리를 증명했다고 착각했고, 그 정리에 실수를 안하고 자세히 봤으면 괴델 전에

[불안의책(artistrilke)]

다른 사람이 일관성을 그 계 안에서 증명할 수 없음을 파악했을지도 모른다는 내용임. 괴델이 정리를 낸 이후에 처음엔 베르나이스가 둘이 충돌하고, 괴델이 잘못되었다 봤지만, 폰 노이만이 논문을 보고 나서 베르나이스가 잘못한 부분을 그제서야 봤다 함.