ガロア第一論文と乗数イデアル他関連資料スレ18 (667ﾚｽ)
上下前次1-新
494: 09/18(木)09:09 ID:I3djhwJv(1/3) AAS
>>490-491
>ブルバキの『原論』の最終稿の大部分は、
>図の使用を慎重に避け、
>文章と数式のみに基づいた
>形式的な表現を好んだ。
>例外はリー群とリー代数の扱い（特に第4章から第6章）で、
>（コクセター・グラフの）ダイヤグラムとイラストが用いられた。
>この部分に図が取り入れられたのはアルマン・ボレルによる。
>ボレルはフランス人が多数を占める共同体の中で
>少数派のスイス人であり、「スイスの農民」と自称し、
省4
495: 09/18(木)09:18 ID:I3djhwJv(2/3) AAS
>>492
◆yH25M02vWFhPは、なぜ数学で
公理系が一階述語論理の上に設けられ
定理が一階述語論理で証明されるのか
その理由が全く分かってない（笑）
一階述語論理の完全性定理により
一階述語論理上の公理系の任意のモデルで真となる論理式は
一階述語論理の演繹系で証明できる
二階述語論理ではそんなことはできない つまり
二階述語論理上の公理系の標準モデルで真となる論理式の
省8
496: 09/18(木)09:29 ID:I3djhwJv(3/3) AAS
>>493
＞本来はformalなものを嫌うのが自由な数学精神
数学者は論理をろくに知らんから
トンチンカンなことを平気でうそぶく
貴様らは何のために定理を証明するのか？
それが正しいというためにやってるんだろう？
思い付きのすべてが正しいというなら苦労はない
しかしながら１００００の思いつきのうち９９９９は大抵間違ってる
論理＝自動証明プログラム、と思うのはウソではないが甘っちょろい
省13
497: 09/18(木)17:01 ID:XL76bQQ+(1) AAS
魔女ランダの夢
と暴論ではなく神獣バロン
498: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/19(金)16:40 ID:N54MxCu9(1/2) AAS
これいいね
外部ﾘﾝｸ:www.lifehacker.jp
lifehacker.jp
やらかした。私がChatGPTからオフラインAIに切り替えた理由
著者MakeUseOf [原文] 翻訳ライフハッカー・ジャパン
2025.09.19
私は長年、クラウドベースのチャットボットを愛用してきました
しかし、「LM Studio」と「量子化LLM」の登場で、今では手持ちのハードウェアで十分な性能のモデルをオフラインで動かせるようになりました
ローカルAIへの好奇心から始まった試みは、今やコストゼロで、インターネット接続も不要、そしてAIとの対話を完全に自分で管理できる、強力な代替手段へと変わりました
ChatGPTに自分の暗証番号を教えてしまった
省19
499(1): 09/19(金)16:45 ID:N54MxCu9(2/2) AAS
>>493
>本来はformalなものを嫌うのが
>自由な数学精神
これは、御大か
巡回ご苦労様です
過去のformalを打ち破る
それが、数学の精神ってことですね （＾＾
500: 09/19(金)17:00 ID:iqsDlJ7S(1) AAS
と、数学のすの字も分らんアホが申しております
501: 09/19(金)17:13 ID:3T9xT+Zu(1) AAS
>>499
＞過去のformalを打ち破るのが、数学の精神ってことですね
過去のformal proofも読めん奴が、打ち破りようがない
それが大学1年の一般教養レベルの数学落第という現実
高校までの算数芸ではトップでも
大学では述語論理も集合論も実数の定義も分からん只のエテ公
502: 09/20(土)07:10 ID:7netQ1bm(1) AAS
メンタルピクチャー君に問題
数ベクトルは、集合から数への関数、とみることができる
自然数全体の集合Nから実数全体への集合Rへの関数全体からなる集合をR^Nとする
Q1.さてR^Nのうち、ある一つの元からうつされる値のみが０でない関数を基底として
その（有限）線形結合で表される元の全体は、R^Nの真部分集合だが
いかなる関数の集まりか、的確に述べよ
Q2.逆にR^Nの基底全体の集合の濃度は可算か否か、理由つきで述べよ
503: 09/21(日)09:57 ID:728Xn/GW(1/4) AAS
オイラーは実数の定義をする必要を感じていただろうか
504: 09/21(日)10:01 ID:ldtUFZx9(1/5) AAS
オイラーは今でも数学者として通用するだろうか
505: 09/21(日)10:02 ID:728Xn/GW(2/4) AAS
道策は今なら棋聖・名人であろう
506: 09/21(日)10:13 ID:ldtUFZx9(2/5) AAS
まあ、レオンハルト・オイラーが
自分の級数の扱いのトリックのタネを
「解析接続」だと気付けたなら結構だがね
507: 09/21(日)10:18 ID:ldtUFZx9(3/5) AAS
１８世紀に、オイラーが実数の定義の必要性まで気づけなくても、仕方ない
ガウスですら、実数の定義までたどり着けなかった
さすがに、何かが必要だとは感じていただろうけど
コーシーの収束性判定条件の発見があり
ワイエルシュトラスの批判的な知見があり
デデキントやらカントールやらの実数の定義に至る
それはそれで意味がある
先に進むだけが数学じゃない
クソ爺は黙れ
508: 09/21(日)10:20 ID:728Xn/GW(3/4) AAS
バーゼル問題の解のタネは
整函数の無限乗積展開へと展開し
オイラー・マクローリンのタネは
ポアソンの和公式へとつながった
509: 09/21(日)10:23 ID:728Xn/GW(4/4) AAS
>デデキントやらカントールやらの実数の定義に至る
>それはそれで意味がある
オイラーはオイラーで意味がある
510: 09/21(日)10:51 ID:ldtUFZx9(4/5) AAS
オイラーがカントールの集合論やフレーゲの述語論理を否定するわけではない
511: 09/21(日)18:24 ID:WWNIU/Ab(1) AAS
カントールやフレーゲが
オイラーの偉大さを否定するわけはない
512: 09/21(日)18:28 ID:ldtUFZx9(5/5) AAS
では
「オイラーは実数の定義をする必要を感じていただろうか」
は間違いということで、自刎して●んでな
自分だけが賢いとうぬぼれてる●違いクソ爺
513(1): 09/22(月)20:18 ID:ntA/Tb1I(1/3) AAS
オイラーは関数の定義をする必要も
感じていなかったと思われる
上下前次1-新書関写板覧索設栞歴
あと 154 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s