Inter-universal geometryとABC予想(シン応援スレ) 83at MATHInter-universal geometryとABC予想(シン応援スレ) 83 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト53:１３２人目の素数さん 26/01/26 07:04:31.73 lJDszNKq.net γ君はいかにも●ってる感じがするが 脳の病気だと思うと 「仕方ないな 早く治せよ」 と思う コピペ野郎はわかりもしないことで他人にマウントする ヤバいゲームを楽しんでる変質者感がハンパないので 「●ねよ、つーか、失せろ」 としか思わん AIの発達で、 「素人がわけもわからずAIを使って 未解決問題の（偽）証明を作って 解決しましたぁ！と宣言するゲーム」 が流行ってるらしい バカ・アホ・タワケは数学に興味持つな これで関東・関西・中京の三大圏で意味が通じるだろう 54:１３２人目の素数さん 26/01/26 07:10:01.88 lJDszNKq.net >>42 >>矛盾が導けない、と判断する方法はない >ん？ もちろん、もっと強い公理を設定すれば 「ある理論から矛盾が導けるとすると、矛盾する」 といえる 例えば、自然数論の無矛盾性が、より強い超限帰納法を使えば証明できる、というような しかし、その場合、超限帰納法を使って矛盾が導かれないか？という新たな問題が発生する そして、さらに強い超限帰納法もしくは公理を使って、無矛盾性を証明することになる この連鎖には終わりがない したがって有限ステップで矛盾ありません！と判断する方法はない 無限ステップなら？ そもそも終わらないだろ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch