發(fā)文章
發(fā)文工具
撰寫
網(wǎng)文摘手
文檔
視頻
思維導(dǎo)圖
隨筆
相冊
原創(chuàng)同步助手
其他工具
圖片轉(zhuǎn)文字
文件清理
AI助手
留言交流
“哥德爾綱領(lǐng)的若干版本” 的更多相關(guān)文章
哥德爾
0=1的不可證明性，表明形式主義的局限性，數(shù)學(xué)最終要回到哲學(xué)上
數(shù)理邏輯大師們
人類真的能掌握宇宙真理嗎：羅素悖論與哥德爾不完備性定理
數(shù)學(xué)的災(zāi)難：古典主義的最后一場對決 | 展卷
觀察 | 亂 · 三次數(shù)學(xué)危機(jī)及其出路對法學(xué)界的啟示
哥德爾的發(fā)現(xiàn)—意想不到的結(jié)果
今天是世界邏輯日 | 張建軍：哥德爾不完全性定理及其意義辨析
康托爾集合論
連續(xù)統(tǒng)問題與Ω猜想
實數(shù)到底有多少個?
武丁是誰
實數(shù)有多少個？連續(xù)統(tǒng)假說，當(dāng)代集合理論中最重要的假說
數(shù)學(xué)基礎(chǔ)
馮·諾伊曼：無與倫比的天才（上）
計算機(jī)是數(shù)學(xué)家一次失敗思考的產(chǎn)物
數(shù)學(xué)是什么？羅素和希爾伯特之間的 battle 觸發(fā)這來自靈魂的拷問
12第12章
連續(xù)統(tǒng)假設(shè)
真與可證是不同的，哥德爾不完備性定理打破了希爾伯特公理體系？
秩序與混沌：集合論的世紀(jì)斗爭
哥德爾的不完備性定理
信息時代的前塵往事（二）：兩千年的接力賽
數(shù)學(xué)簡史：最具哲（數(shù)）學(xué)意味的數(shù)（哲）學(xué)家
計算機(jī)科學(xué)史前史簡評：從萊布尼茲開始
成就與愛因斯坦比肩，數(shù)學(xué)界的超級大拿，卻低調(diào)得像世外高人
他寫下人類最高成就，粉碎了上千年的數(shù)學(xué)信念，還迷倒了愛因斯坦
邏輯究竟是什么以及邏輯應(yīng)當(dāng)是什么？
愛因斯坦和哥德爾
公理體系的數(shù)學(xué)發(fā)展---公理體系的合理性
