>>317
> 現状固執君は、おそらく竹内外史ファンだろう。

うん、この点はそうだと思う。

> ヒルベルト→竹内外史→自分
>
> とかいう「正統派路線」を思い描いて自慰行為。

もしそうならば大笑いだな。
竹内はヒルベルトとは比較にならないにしてもそれなりに証明論の専門家の間ではrespectされるだけの実績を挙げたが
現状固執君はrespectされるべき業績など何もない素人同然なんだろうから、自分を竹内と同一視するなんて
それこそ笑い者以外のなんでもない。

> はっきりいって袋小路だがなｗ

同意。竹内の「有限の立場」路線は既に詰んでしまってる。少なくとも現代の数理論理学者は誰も相手にしていない。

例の「数学基礎論」の本を竹内と共著で書いた八杉が、以前に何かに書いていたが、哲学を振り回したせいで紀明子（名前の漢字はこれで正しかったっけ？
North-Hollandの例のシリーズのIntuitionism & Proof TheoryのeditorになってるAkiko Kinoのこと）とか何人もの才能ある人間が
この分野から離れていってしまったと、暗に竹内の「数学の基礎付けこそが本質」路線への批判と思える内容の文章を書いてるのを見た覚えがある。
（八杉が書いてたのは岩波基礎数学の月報あたりだったのかなあ？）