数学基礎論
- 理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜
理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜
https://www.youtube.com/watch?v=3Z3uu7_vdmA
#情報科学 #数学
#NII
講演内容/viemo動画の内容についてノート書いたページ
...
- 数学基礎論も応用数学の一つであるという話 (脱線)
- メタ数学
- 証明とは、定義とは、定理とは、みたいな話をしている
- 定義を定義(??)
#数学