ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
在普林斯頓大學，愛恩斯坦經常跟哥德爾傾談，廣義相對論亦是两人的探究為開始；哥德爾Kurt Godel是數學家，乃 "公理糸統不完備定律" 締造者，第三次數學危機核心人物，結束希爾百達的數學完備形式主義，解答了羅素理髮師悖論；公理不完備性啟動元數學直覺主義，真值與証明相關却不等同，真值可以不証自明；自然的實在，先於証明，甚至超越証明；后來还有Alan Turing加入元數學直覺主義/實在論，提出：通用計算的 "圖靈停機問題"...；春秋時代孔子 ：知其然而不知其所以，"知之" 為知之，"不知" 為不知，是知；自知曰明，知人曰哲...這是先秦的直覺批判論！
在普林斯頓大學，愛恩斯坦經常跟哥德爾傾談，廣義相對論亦是两人的探究為開始；哥德爾Kurt Godel是數學家，乃 "公理糸統不完備定律" 締造者，第三次數學危機核心人物，結束希爾百達的數學完備形式主義，解答了羅素理髮師悖論；公理不完備性啟動元數學直覺主義，真值與証明相關却不等同，真值可以不証自明；自然的實在，先於証明，甚至超越証明；后來还有Alan Turing加入元數學直覺主義/實在論，提出：通用計算的 "圖靈停機問題"...；春秋時代孔子 ：知其然而不知其所以，"知之" 為知之，"不知" 為不知，是知；自知曰明，知人曰哲...這是先秦的直覺批判論！