数学基礎論

Last updated Unknown Edit Source

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

#数学