>>55
>グロタンの後継者はルーリー、日本だと竹内外史、清水義夫 だと思う
>むしろグロタンの研究って基礎論系に受け継がれてるんだよ

無関係じゃないだろうけど、後継者が基礎論屋ってのは噛ませ過ぎ。
あんた自身が基礎論屋なんだろうが、手前味噌もほどほどにという感じ。

>>61
>グロタンが目指したものの一つにカテゴリーによる
>数学および形式体系のシステム化ってのがあって
>これらは基礎論系の人がキャッチしてる

構造主義的な事を言いたいんだろうけど、
少し言葉尻をあげつらいになってしまうが、【数学】は形式主義的に
還元できないからこそ無尽蔵に豊かなのだ、
というのはヒルベルトの偉大なる誤解で明らかになったと思うんだが。

それに、構造主義的な思想哲学を基礎論屋が受け継いでるなんてのも
噛ませすぎ。モーデル予想などごくごく一部に、
純粋数学の実質が基礎論とリンクしたのは面白い現象だけど、
だからと言って特に幹線道路が出来た訳でもない。スレチ過ぎ。