Inter-universal geometry とABC 予想55

**１３２人目の素数さん** · 2024/04/13(土) 15:22:57.08

未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。

荒らしはご遠慮願います。
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

**１３２人目の素数さん** · 2024/04/26(金) 08:04:15.21

山下剛のオモチャのたとえでフーリエ変換と同じ発想でいくのだろ。
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20ni%20tsuite%20no%20FAQ.pdf
入れものにいれたぼやけた像でも、NMRなどではフーリエ変換の積算回数で、ぼやけのS/N比をクリアにしていく。

**１３２人目の素数さん** · 2024/04/26(金) 08:05:11.78

>>172　>>176
例えばゲーデル数によって自然数論の記号操作を算術として自然数論の中に埋め込むような感じ？
もしそうなら、正則性公理とは全く無関係だし、全然新しくもない　数理論理学では常套手段
ただ、他の分野ではおそらくそういうことはやってないだろう

”基礎論ファン”の足立恒雄氏ならともかく、例えばカトブンが知らなくても仕方ない

**１３２人目の素数さん** · 2024/04/26(金) 08:10:02.19

>>187
望月新一に限ったことではないが、数理論理学なんて、他分野の人はまず知らない
知らないだけなら結構なのだが、残念なのは、「そんなの簡単だろう」となめてること
全然そんなことない　というか、数理論理学は他の分野の数学とは違う独自な思考があるから

望月新一のいう「宇宙」には深い意味はなさそうだ
ゲーデル数化のようなことが、圏論で自然にできるのかどうかは不明だが
おそらくそういうことは、圏論とは全然の話なので、そのつもりなら
最初から真面目に考える必要があるだろう

**１３２人目の素数さん** · 2024/04/26(金) 08:15:02.39

「ゲーデル数」という言い方は、なんか個別の数に対する名称と誤解されるので、名前として適切ではない
実質は「自然数に割り付けるコード化」　だからコード化の仕方は沢山ある

ブルバキが数理論理学に関わりを持たなかったように
望月新一も数理論理学とは無縁に何かを思考したようだが

**１３２人目の素数さん** · 2024/04/26(金) 08:25:39.18

ゲーデル数化のようなテクニックを使ってるなら、その成果は言い方を気を付けないと誤解される

例えば、ゲーデルの不完全性定理は
「自然数論から矛盾が証明されると矛盾する、という証明が可能なら、自然数論から矛盾を導く証明が可能である」
ということであって「自然数論が矛盾する」という意味ではないが、エルンスト・ツェルメロは
ゲーデルの方法を認めると自然数論から矛盾が導けてしまうとかいって執拗にゲーデルを非難した
また、バートランド・ラッセルも同様の誤解をしていたのではないかと言われている

**１３２人目の素数さん** · 2024/04/26(金) 08:29:39.16

>>189
>入れものにいれたぼやけた像でも、NMRなどではフーリエ変換の積算回数で、ぼやけのS/N比をクリアにしていく。

あ、そのフーリエ変換の例えは分かり易い
同意です
フーリエ変換を、宇宙と宇宙の変換とは言わない
普通の関数の世界をフーリエ変換で別の世界に写すようなこと（またその逆変換）だと思う