形式数学、そんなのありえないと自分の直観が拒絶するような命題を、形式的証明によってねじ伏せどこまで直観を上書きできるか耐久ゲームみたいな所ある
おれ、直観上書きやれます、おれにやらせてください
フォロー
まああんまり上書きできすぎても、形式パズルに強い実在性を感じてしまい、ツールとして現実を記述する利便さを無視する異常者になってしまうので、もしそれを望まないのであれば気を付けなければならない（自戒）
形式数学、そんなのありえないと自分の直観が拒絶するような命題を、形式的証明によってねじ伏せどこまで直観を上書きできるか耐久ゲームみたいな所ある
おれ、直観上書きやれます、おれにやらせてください
まああんまり上書きできすぎても、形式パズルに強い実在性を感じてしまい、ツールとして現実を記述する利便さを無視する異常者になってしまうので、もしそれを望まないのであれば気を付けなければならない（自戒）