目錄(31章)
倒序
- 封面
- 版權信息
- 內容簡介
- 數字版權聲明
- 作者簡介
- 版權聲明
- 譯者序
- 致詞
- 前言 數學踏上新的征程
- 第一篇 古老的起源
- 第1章 從史前數學到希臘數學
- 第2章 計算兩千年
- 第二篇 古典時代
- 第3章 謂詞邏輯
- 第4章 判定性問題與丘奇定理
- 第5章 丘奇論題
- 第6章 為計算樹立數學地位的嘗試——λ演算
- 第7章 構造性
- 第8章 構造性證明與算法
- 第三篇 公理化危機
- 第9章 直覺主義類型論
- 第10章 自動化證明
- 第11章 證明檢驗
- 第12章 學界新進展
- 第13章 工具
- 第14章 公理的終結？
- 結語 旅程的尾聲
- 附錄一 人物簡介
- 附錄二 參考文獻
- 索引
- 看完了 更新時間：2019-01-05 10:13:50
推薦閱讀
- 幾何原本
- 感官的盛宴：數學之眼看藝術（萬物皆數學）
- Data Visualization：a successful design process
- 迷人的邏輯題
- 你學的數學可能是假的
- 數學的故事
- ANSYS 12.0有限元分析完全手冊
- CAE分析大系：ANSYS疑難問題實例詳解
- Hands-On IoT Solutions with Blockchain
- 燒腦的邏輯題
- 數學女孩5：伽羅瓦理論
- 線性代數
- 萊布尼茲微積分
- 微積分的力量
- 數學也可以這樣學：大自然中的幾何學
- 概率論思想方法的歷史研究
- 不可能的幾何挑戰：數學求索兩千年
- 挑戰思維極限：勾股定理的365種證明
- 黃金比例：用數學打造完美（萬物皆數學）
- 數學頌
- 數學糖果1
- 偉大的數學名家
- 線性代數
- 用數學魔法改變人生
- 數學分析選講
- 數學實驗
- 歐拉的寶石：從多面體公式到拓撲學的誕生
- 數學之美
- 貝葉斯方法：概率編程與貝葉斯推斷
- 數學的故事
