Inter-universal geometry と ABC 予想 47

Inter-universal geometry と ABC 予想 47at MATH

Inter-universal geometry と ABC 予想 47 - 暇つぶし2ch106:１３２人目の素数さん
20/04/07 12:45:48.86 lUlMyiK6.net
>>94
もしIUTが浮動小数点演算回路を使えるプログラム開発言語で、
IUT以外の既存理論が浮動小数点演算回路を使えないプログラム開発言語
だったとしたら、IUTで実数の除算する箇所は既存理論では構造的に
翻訳できないのですが、同じように翻訳自体が構造的にできない可能性は
ありうるんでしょうか

次ページ

続きを表示

1を表示