数学基礎論

Last updated Unknown Edit Source

- 理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜

    
理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜
    

https://www.youtube.com/watch?v=3Z3uu7_vdmA

#情報科学 #数学
#NII

講演内容/viemo動画の内容についてノート書いたページ
    
    
    
    
  ...
    
1/3/2023

    - 数学基礎論

    
数学基礎論
    

    
        もの一つであるという話 (脱線)
      ...
    
1/3/2023
も応用数学の一つであるという話 (脱線)
    - メタ数学
    - 証明

    
証明
    


    についての話の証明を、回の検証では基本的にはできない
    それを論理で代わりにやってるのが証明って考え方かな
        人間の思考パワー（とは?）を使ってる
   ...
    
1/3/2023
とは、定義

    
定義
    

#数学ガール
従来の定義では説明(describe)できない物(現象?)が見つかったとき、それは新しい概念,発見
    例
    の定義()では、イチ足すと0になるものは説明できない
        そこで負の数
   ...
    
1/3/2023
とは、定理とは、みたいな話をしている
        - 定義を定義(??)

#数学