2020-12

ゲーデルと数学の近代

不完全性定理の数式をなるべく使わない入門を作成中

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

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

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