2020-12

ゲーデルと数学の近代

すでに公開済: 不完全性定理の数式をなるべく使わない入門を作成中

不完全性定理の数式をなるべく使わない入門を作成中。
2020.12.12
ゲーデルと数学の近代
ゲーデルと数学の近代

「論理学の歴史：アリストテレス論理学入門を兼ねて」を公開

「論理学の歴史：アリストテレス論理学入門を兼ねて」を公開した。概要と講義資料がその内容。
2020.12.01
ゲーデルと数学の近代
タイトルとURLをコピーしました