Inter-universal geometry と ABC予想 (応援スレ) 71at MATHInter-universal geometry と ABC予想 (応援スレ) 71 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト350:１３２人目の素数さん 24/05/05 17:30:29.22 C06X53s0.net 望月以外の京大RIMSのIUT理解者って本当にIUTを理解していて成立していると思ってるのか？ IUT批判の矢面に立ってるのが望月だけなのってどうなんだろ 望月が急死したあとも本当にIUTは続けられるのか 誰がIUTを本当に信じていて世界と後世の数学者に説明できるんだ 351:１３２人目の素数さん 24/05/05 17:49:19.64 PeHbDtmU.net 続くわけないやん 352:１３２人目の素数さん 24/05/05 18:09:43.75 WLbxyLlj.net >>316 (引用開始) 命題Pが証明可能か否か ではなく 命題Pの証明と称されるものPrfが証明になっているか否か 前者は決定不能だが 後者は決定可能 (引用終り) さて、 ”後者は決定可能”の証明は？ｗ 353:１３２人目の素数さん 24/05/05 18:51:43.23 kUby5rl+.net Zen大学設立の宣伝に使うために 死肉に無理やり輸血じゃぶじゃぶして まだ生きてるって言い張ってる状態でしょ 354:１３２人目の素数さん 24/05/05 19:03:36.77 fBCTdg1W.net >>322 証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能 つまりギャップがある時点で証明ではない 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch