lupoGTI https://blog.hatena.ne.jp/lupoGTI/ ありのままに生きる https://lupogti.hatenablog.com/ 本 素数の音楽 素数の音楽 (新潮文庫)作者: マーカスデュ・ソートイ,Marcus du Sautoy,冨永星出版社/メーカー: 新潮社発売日: 2013/09/28メディア: 文庫この商品を含むブログ (32件) を見る マーカス・デュ・ソートイ 富永 星 訳 「素数の音楽」 第八章 ＜頭脳機械＞ メモ ・ゲーデルは、どのような公理を選んでも、それを使って数学に矛盾がおこらないことを 証明するのは不可能であることを示した。・矛盾のない理論はあり得るが、その理論に矛盾がないことはその理論の中では証明 できない。 ・かりに数学のある公理群が無矛盾だとすると、数に関する言明のなかに、常に成り立つ にもかかわらず… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flupogti.hatenablog.com%2Fentry%2F20160221%2Fp3" title="マーカス・デュ・ソートイ　富永 星 訳　「素数の音楽」 - ありのままに生きる" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/51Xb2S4NZtL._SL160_.jpg Hatena Blog https://hatena.blog 2016-02-21 00:00:02 rich https://lupogti.hatenablog.com/entry/20160221/p3 1.0 100%