＜#解析力学の参考書＞

「ブルーバックス 三体問題」(2021浅田)

p153より:
『#1887年 の #ブルンス による #証明 は…
・「#三体問題 に #一般解 が #存在しない」という #意味 ではない.
・「#求積法 以外の #方法 を用いても三体問題の一般解を求める事が #不可能」という意味ではない.』

＜#解析力学の参考書＞

「ブルーバックス 三体問題」(2021浅田)

p172より引用:
『#2000年 に
#モンゴメリ と #シェンシネ が
#示した のは，
#8の字解 の #軌道 の形が
#トポロジー として
8と #同じ という事.
#2003年 に
この軌道は #至る所 で
#外側 に #凸 である事も
#証明 された.』

＜#代数学の参考書＞

「群とグラフ」(1970グロスマン)

p40より:
『#ノールウェー の #数学者
#アーベル(1802-1829)は
#5次 の一般の #代数方程式 を
#根号 により解くことが
#不可能 である事を #証明 した.
彼の代数方程式の #論文 で，
現在 #アーベル群 と呼ばれる
概念が用いられた.』

＜#解析力学の参考書＞

「ブルーバックス 三体問題」(講談社2021浅田)

p153より引用:
『#1887年，
#ドイツ の #天文学者
#ハインリヒ・ブルンス によって
「#三体問題 において
他に #独立 な #運動の定数 が
#存在しない」ことが #証明 され，
#求積法 で #解く 事が
#不可能 だと判明.』

＜#解析力学の参考書＞

「ブルーバックス 三体問題」(2021浅田)

p170より引用:
『#日本 の #物理学者，
#藤原･#福田･#尾崎 の3名が
「#8の字解 の #軌道 が
#レムニスケート 図形ではないか？」
という
「#8の字 解の #レムニスケート予想」が
#正しくない 事を
#数学的 に #証明 した.』

＜#素粒子と原子核の参考書＞

「高エネルギー物理学実験」(1997)

p125より引用:
『#強い相互作用 の
現在 #最も信頼できる 理論である
#量子色力学(#QCD)では，
#クォーク は #単独 では
#存在できない 事になっている.
が，
#絶対に 在りえないという事が
#証明 されているわけではない.』

＜#代数学の参考書＞

「リー代数と素粒子論」(1983竹内)

前書きより:
『#物理学 に関係の深い
この系統の本では，
#数学 の #定理 の
#証明 を抜かすのは
避け難い誘惑である.
しかし，
証明のない数学の定理は
なんとも #貧弱 な感じを
与えるものである.
本書では証明を抜かさなかった.』

私「毎日ストーカーされてて、心身がストレスでボロボロで、本当に毎日、何も楽しめなくて、今のマンションに引っ越してきてから、凄く辛い。死にたい。自殺を考えた時期もあります。」

3階靴(このマンションのしょう)
「FXだと思ってやった。」

#証明
#記録

AIが数学を「証明」へ運ぶとき
https://papoo.work/doc/5bd51d072623d72a
#ai #数学 #証明 #形式化 #機械検証

AIが数学を「証明」へ運ぶとき
https://papoo.work/doc/5bd51d072623d72a
#ai #数学 #証明 #形式化 #機械検証

AIが数学を「証明」へ運ぶとき
https://papoo.work/doc/5bd51d072623d72a
#ai #数学 #証明 #形式化 #機械検証

AIが数学を「証明」へ運ぶとき
https://papoo.work/doc/5bd51d072623d72a
#ai #数学 #証明 #形式化 #機械検証

AIが数学を「証明」へ運ぶとき
https://papoo.work/doc/5bd51d072623d72a
#ai #数学 #証明 #形式化 #機械検証

＜#解析力学の参考書＞

「ブルーバックス 三体問題」(2021浅田)
https://bookmeter.com/books/17...

p160より:
『#AI と違い，#人間 には
#ひらめく という #能力 がある.
#ポアンカレ は
#直感 を信じる #数学者 で，
「#証明 は #論理 によるが，
#発明 は #直観 による」と
#著書 で述べている.』

＜#物理数学の参考書＞

「共形場理論入門
基礎からホログラフィへの道」(講談社2020疋田)

p147より引用:
『同じ #Dブレーン を
異なる2つの視点から見る事で
AdS/CFT対応が #導出 できる。
ただし，導出といっても
#定性的 なものであって
AdS/CFT対応の #証明 は
いまだなされていない。』

Anthropic が示した、Fermat の最終定理を機械に通すという発想
https://papoo.work/doc/52c0076a97968575
#ai #数学 #証明 #形式化 #研究開発

Anthropic が示した、Fermat の最終定理を機械に通すという発想
https://papoo.work/doc/52c0076a97968575
#ai #数学 #証明 #形式化 #研究開発

Anthropic が示した、Fermat の最終定理を機械に通すという発想
https://papoo.work/doc/52c0076a97968575
#ai #数学 #証明 #形式化 #研究開発

Anthropic が示した、Fermat の最終定理を機械に通すという発想
https://papoo.work/doc/52c0076a97968575
#ai #数学 #証明 #形式化 #研究開発

Anthropic が示した、Fermat の最終定理を機械に通すという発想
https://papoo.work/doc/52c0076a97968575
#ai #数学 #証明 #形式化 #研究開発