（ ヽ゜ん゜）「理系の学問は必ず答えが一致するから文系より優秀！」俺「カフェイン健康に良い派の学者と悪い派の学者がいるけど」 [376356433]

69 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2019/10/25(金) 10:53:29.29 ID:pwKdCtFI0.net

>>65
そんなことあるんだよ
一応流れ大雑把に言っとくと、一時はヒルベルト一派中心の形式主義がほぼ勝利しかけた
他の立場では数学の多くの成果が実質実行不可能になり「思想上はあり得るが実用上無理」というものになったりしたから
だが、その形式主義も本質的には欠陥があり、しかもその欠陥は他の立場、標準的自然数論を含む閉じた論理全部に対しても同様に適用可能だったんだよ
つまり、全部の立場が不完全であるとして、数学の本質を数学の内部から議論するという論争そのものがほぼ立ち消えた
それを証明したのがゲーデル、第一/第二不完全性定理