記号・表現・計算
数理論理学（『概念記法』）
述語と量化子で論理を記号化した。不完全性定理・チューリング機械・プログラミング言語の直接の基礎。
- 年
- 1879年
- 人物・組織
- ゴットロープ・フレーゲ
- 場所
- イェーナ
- 地域
- ヨーロッパ
- 分野
- 記号・表現・計算 ／ 数学
- 時代
- 産業革命期
直接のつながり
技術的な土台 きっかけ・需要
ルーツをたどる
「技術的な土台」の線だけを古い方へたどったとき、最も長くつながる系譜です。打製石器（オルドワン石器）から16段で数理論理学（『概念記法』）に至ります。
- 約260万年前打製石器（オルドワン石器）
- 約170万年前握斧（ハンドアックス）
- 約30万年前ルヴァロワ技法
- 約5万年前石刃技法
- 約2万年前細石器
- 約1万2千年前鎌
- 前9500年頃農耕（小麦・大麦の栽培）
- 前5000年頃灌漑農業
- 前2000年頃測量幾何学
- 前580年頃演繹的証明の始まり
- 前500年頃ピタゴラスの定理
- 前450年頃無理数の発見
- 前370年頃取り尽くし法
- 前300年頃『原論』（公理的幾何学）
- 820年頃代数学
- 1854年ブール代数
- 1879年数理論理学（『概念記法』）
すべてのつながり
技術的な土台2件
これがなければ成り立たなかった技術・知識。
これを土台にしたもの9件
この発明・発見を技術的な前提としているもの。