https://www.quora.com/In-which-context-did-Kurt-G%C3%B6del-say-Either-mathematics-is-too-big-for-the-human-mind-or-the-human-mind-is-more-than-a-machine-and-what-did-he-meanIn which context did Kurt Gödel say "Either mathematics is too big for the human mind, or the human mind is more than a machine" and what...Answer (1 of 4): Godel’s Incompleteness Theorem is very closely related to Turing’s Halting Problem. Both rely on a sort of enumeration of functions and statements; for each statement/function, we can assign a number to it, perhaps the ASCII value of the statement.The result given by the Haltin...www.quora.com본인의 불완전성 정리를 근거로 강력한 철학적 주장 두 가지를 스스로 한 것 같은데 맞나? 1. 기계는 인간을 뛰어넘을 수 없다 2. 수학은 인간의 발명품이 아니다 - dc official App
뭐, 괴델은 확고한 플라톤주의자이긴 했음.
보통 유튜브같은데 보면 "불완전성"이라는 단어가 주는 어감때문인진 몰라도 괴델 불완전성정리 보고와서 뭔가 수학 그거 왜하냐? 짜피 한계가 뻔한데 하는 뉘앙스로 막말하는 사람들이 가끔 보였는데, 정작 괴델 본인은 아예 딴판이었네 ㄷㄷ - dc App
에초에 그게 가지는의의가 공리 계속 추가하면서 발전할수도있다 머 그런거아니었나
그 정리의 "불완전성"이라는 것이 의미하는 바가 전공자들 말고는 거의 알려지지 않아서 그렇다고 생각함.
지금보니까 1번 주장이랑 2번 주장 둘다 성립한다고 얘기한건 아니고 둘중에 적어도 하나는 성립한다고 주장한거구나. 쨋든 신기하네 - dc App