Carin Antenna
id:Carin
1/10ページ
▽妖精現実 フェアリアル - faireal.net●11/21 10:03 2024-11-20 「神の証明」の簡単化についての覚書 ガウスの第六証明前回紹介した「第六証明」のアレンジは、 Erd〓s のいう「神の証明集」に基づく(それぞれの定理について、最もエレガントな証明法を集めた天界の書物)。美しい証明には違いないが、振り返ると、幾つか「もっと簡単にできるのでは」と思われる部分もある。もしも「数学のギネスブック」のようなものがあったとしたら、「平方剰余の相互法則」は「最も多くの別証明が考案・公表された定理」として、そこに掲載されるらしい。多くの研究者が何度もこの定理に取り組んだのは、だてや酔狂ではないし、ましてや「本当に正しいのか?」と疑問を感じて、再証明を試みたわけでもない。いうなれば、幾つもの国境にまたがって延びる山脈。「同じ一つの山脈」だけど、例えばイタリア側から登るのとフランス側から登るのとでは、全く別の風景を楽しめる。どのコースの展望も素晴ら
▽Rarewares●11/21 03:39 OPUS Bundles updated2024-11-18Opus bundles updated to opus-tools 0.2-34-g98f3ddc (using libopus 1.5.2-22-g7db26934)GCC 14.2.0 compiles.
▽MKVToolnix●09/08 06:00 releases 2024-09-07 13:41 9855218 KB
6.次5>
0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
□ヘルプ/お知らせ
□ログイン
□無料ユーザー登録
□はてなトップ
(c) Hatena