数学基礎論通信会 OpenChat

数学基礎論通信会(63)

数学基礎論は,数学の基礎付けについての問題意識から始まった分野です。 キーワード:数学基礎論/数理論理学/公理的集合論/再帰理論/モデル理論/証明論/超準解析/順序数解析/記述集合論/逆数学/型理論/λ計算/カリー・ハワード対応/定理検証系/プログラム意味論/領域理論/直観主義/構成主義/不完全性定理/強制法/巨大基数/選択公理/決定性/計算複雑性/アルゴリズム的ランダムネス/次数の理論

Bergabung Lihat cadangan

#数学基礎論

【まとめ】数学基礎論通信会

コチャマ
Belum ada "cadangan" untuk OpenChat ini
コチャマ
Jika Anda ingin membuat cadangan OpenChat atau mencari berdasarkan kata kunci atau anggota
コチャマ
👆👆👆
Ketuk akun LINE ini untuk menambahkan Berteman
コチャマ
Menu kanan atas di OpenChat[Pengaturan][Kirim Riwayat Bicara]Pilih dan kirim ke "オープンチャットまとめ"

友だち追加