数理論理学（数学基礎論）　その14

1 ：１３２人目の素数さん：2019/03/22(金) 11:55:47.59 ID:oVa5RLRo.net

数学基礎論は、数学の基礎づけを目的として誕生したが
現在では、数理論理学として、証明論、再帰的関数論、
構成的数学、モデル理論、公理的集合論など、 多くの分野
に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも
若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、
代数幾何学、英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化などを参照）

前スレ
数学基礎論・数理論理学　その13
https://rio2016.5ch.net/test/read.cgi/math/1532721493/

47 ：１３２人目の素数さん：2019/09/11(水) 19:20:58.37 ID:5ZZj5QzZ.net

数理論理学も複素関数化すると簡単になるのか？
解析接続とか数理論理学で聞いたことないが…

48 ：１３２人目の素数さん：2019/09/12(木) 15:01:13.79 ID:H5VlAQfR.net

>>47
頑張ってね