21/05/04 06:58:41.32 zqdTTriL.net
「テイラーデュピュイもCor 3.12については証明できないと明言してる」
その多くの人が問題視している箇所って、選択公理みたいな話なのかね？
それとも技術的な欠陥なのかな。
そもそもその指摘に対してきちんと皆が納得できる形でなんらかの説明なり、補足がされていないのは、
IUT派側が「それは見解の相違、そして我々の思想が今後主流」みたいな態度なのかね。
選択公理をどう捉えるかはそれなりに面白い話だし、ある意味思想的な違いという面があるから、
もしIUTの問題の個所がそれと似たようなことなら、素人にもわかる解説がほしい。
加藤さんの本はそんな感じではないのだよね？