＜ピックアップ＞ ...
MSN による配信
数学・ABC予想、証明に暗雲?国際チーム検証中、望月氏と議論へ
数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理 ...
私立のオンライン大学「ZEN大」（本部・神奈川県逗子市）は31日、数学の難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Lean（リーン）」を使って検証する ...
私立のオンライン大学「ZEN大」（本部・神奈川県逗子市）は31日、数学の難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Lean（リーン）」を使って検証するプロジェクトを開始したと ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する