数学基礎論
理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜
数学基礎論
も
応用数学
の一つであるという話 (脱線)
メタ
数学
証明
とは、
定義
とは、
定理
とは、みたいな話をしている
定義を定義(??)
#数学
情報科学の達人.icon