無限と心 無限の科学と哲学

R.ラッカー【著】, 好田順治【訳】

• 販売会社／発売会社: 現代数学社
• 発売年月日: 1986/05/10
• JAN: 9784768700938

商品レビュー

2013/01/15

一／多、形式主義、直観主義、神秘主義などのとこをよんで、明らかに色々とぐちゃぐちゃになった。そもそもこのレッテル自体そろそろ時代遅れなのか？

多分ラッカーが言いたかった感じでは
絶対主義（神秘主義、シュレディンガー？）⇄相対主義（形式主義、ヒルベルト）

この間に悟りがあるらしい。絶対主義から真ん中に近づく方法と相対主義から真ん中に近づく方法があるが、多分私は後者。
で、この中間に割り込んで数学的直観主義が入ってくる感じ。
しかし、形式主義がその形式内での無矛盾性を示そうとするなど絶対主義的な部分もみられることからよくわからない。形式主義の批判的発展が直観主義なのか、なんなのか。
となるとこのレッテル自体が言いたい事をうまく表せていないことになる。

要：数学史の学習。