不完全性定理

ルーツをたどる

「技術的な土台」の線だけを古い方へたどったとき、最も長くつながる系譜です。打製石器（オルドワン石器）から23段で不完全性定理に至ります。

1. 約260万年前打製石器（オルドワン石器）
2. 約170万年前握斧（ハンドアックス）
3. 約30万年前ルヴァロワ技法
4. 約5万年前石刃技法
5. 約2万年前細石器
6. 約1万2千年前鎌
7. 前9500年頃農耕（小麦・大麦の栽培）
8. 前5000年頃灌漑農業
9. 前2000年頃測量幾何学
10. 前580年頃演繹的証明の始まり
11. 前500年頃ピタゴラスの定理
12. 前450年頃無理数の発見
13. 前370年頃取り尽くし法
14. 前300年頃『原論』（公理的幾何学）
15. 820年頃代数学
16. 1202年筆算（インド・アラビア数字の伝播）
17. 1591年記号代数（文字式）
18. 1637年解析幾何
19. 1670年微積分
20. 1748年『無限解析入門』（関数概念・オイラーの公式）
21. 1821年解析学の厳密化（極限の定義）
22. 1874年集合論
23. 1910年『プリンキピア・マテマティカ』
24. 1931年不完全性定理