数学基礎論・数理論理学 その8
■ このスレッドは過去ログ倉庫に格納されています
0290272
2011/08/02(火) 07:04:45.93リンク先って「ヒビルテ」のことだと思うけど、
ここの議論を見ても FA 派は、なんだかんだ言いつつも
「FA を認めるほうが自然」と言いたげだし
(というかはっきり言ってる人もいる)、
渕野先生はそこに参加してなけど FA の主導権を主張している。
逆に、ここの議論に出てくる AFA 派は、数学として
「可換環」と「非可換環」のようなものだと AFA を擁護しているけど、
それも AFA が祀り上げてた「某佐藤さん」の「正しい」発言で。
人を貶すような発言じゃなく、きちんとした説明を頂きたい。
■ このスレッドは過去ログ倉庫に格納されています