11/05/21 17:09:24.34
>>605
来ない。
「基礎論」なんて勿体つけた哲学っぽい呼び方は時代遅れ、つうか「基礎論」なんていつの時代の呼び方だ。
今や変な色のついてない技術的な側面だけに着目した数理論理学が分野の呼び方としては適切だが
（基礎論屋と称する連中のどれだけが実際に数学の基礎付けに本気で関心を持ってるんだよ？）
Girardが「math logicは初めて応用分野を得た」と呼んだ応用分野としての理論計算機科学そのものが
今や瀕死の状態だから数理論理学も今となっては流行遅れの分野。
部分的にはモデル論とかで数学の他の分野との交流はあってそういう分野はそれなりに生きてるけど。