サクサク読めて、アプリ限定の機能も多数！
コンピューターが証明チェックするならそれヒルベルトプログラムじゃないの？だったらゲーデルがそれはできない（数学は不完全であること）を100年前に数学でもって証明した。それが不完全性定理。
stracciatella のブックマーク 2024/12/25 13:59
このブックマークにはスターがありません。 最初のスターをつけてみよう！
jp.quora.com2019/08/08
回答 (6件中の1件目) 「望月新一氏の理論はあまりに難しすぎて、優秀な数学者でも理解できる人はほぼいない」というのは、すこし一面的な物の言い方で、「理解できる人がほぼいない」のは、望月さん自身が語って...
433 人がブックマーク・91 件のコメント
＼ コメントが サクサク読める アプリです ／
コンピューターが証明チェックするならそれヒルベルトプログラムじゃないの？だったらゲーデルがそれはできない（数学は不完全であること）を100年前に数学でもって証明した。それが不完全性定理。
このブックマークにはスターがありません。
最初のスターをつけてみよう！