数学基礎論・数理論理学　その9

それらは、ロジシャンであって数学者ではない。

もちろん「数学」と「ロジック」の定義は人それぞれだし、一般的には「数学」の中に含まれるだろう。

けれど通常の数学とは微妙だが決定的な違いがある。
実際、ロジックはフィールズ賞の対象になったことさえない。

ロジシャンは本質的に数学者ではない。
これが分かるかどうかがひとつの数覚。