実数を使わないと証明できない整数論の結果はありますか？ (18ﾚｽ)
上下前次1-新
1: 04/27(日)05:18 ID:8qV7M3F5(1) AAS
あやしい実数を使わないと証明できない定理があるとすると不思議です。
有理数や有理複素数や有理行列など、要するにコンピューターで厳密に扱えるもの以外を使わなければ証明できない定理があるとすると不思議です。
ないですか？
2: 04/27(日)07:02 ID:Tt2fv2dJ(1) AAS
働けミジンコ
3: 04/27(日)13:55 ID:pGx9CVcK(1) AAS
素数定理
4: 04/29(火)17:30 ID:WYLWUMGg(1) AAS
ゼータ函数の収束範囲とか
5: poem 04/29(火)20:56 ID:aOxFfPZf(1/4) AAS
逆に、数字も文字も使わないやり方でないと、今のところは0除算乗算の問題を解決できなかった
(文字式すら使えず式の形した説明が必要だった)バージョンならタイムリーにあった件
2chｽﾚ:math
算学的単位が物理みたいに数学にもあり算学的単位の不整合により0除算乗算が矛盾する説が命名:0除算乗算の算学的単位による不整合説。そして新概念の提起:算学的単位説
6: poem 04/29(火)20:59 ID:aOxFfPZf(2/4) AAS
0除算乗算は整数だから
7: poem 04/29(火)21:02 ID:aOxFfPZf(3/4) AAS
整数論ではないけど
Π01言及の自己言及問題
矛盾と無矛盾の形態を
表すのに
文字でなく
数字にした方がわかりやすいんでは？
8(1): poem 04/29(火)21:05 ID:aOxFfPZf(4/4) AAS
ある数4が無矛盾かは
ある数4の時点で無矛盾が証明され
次の数5でも無矛盾が証明されたとき
ある数4の無矛盾が疑われる
次の数5では矛盾してなきゃいけない
これは
自己言及が無いとき、矛盾してなきゃいけない、は誤りで
無矛盾でいいでしょ？
つまりΠ01言及は自己言及など特殊なケースでなきゃいけないとわかる
9(1): 04/30(水)03:35 ID:lLAlFc1U(1) AAS
>>8
おまえは何も理解してないだろ
単語を並べて何かを考えた気持ちになってんじゃねーぞ
死ね
10: poem 04/30(水)05:17 ID:rHuK5eSo(1/5) AAS
>>9 Π01言及って俄には信じがたいからね
普通無矛盾で証明できたなら証明じゃん
普通に数字ならそうなはずなんだけど
という普通感覚から俄にはという事
11: poem 04/30(水)05:21 ID:rHuK5eSo(2/5) AAS
けどΠ01言及も普通感覚から自己言及する際
数字ならそうなるはずを逸脱してるのは
把握まではできないけど経験し識閾
だから俄に信じがたいも不正確
ではあるんだけどね問題も
12: poem 04/30(水)05:28 ID:rHuK5eSo(3/5) AAS
整数論は整数の未知の等式の話だろうから
Π01言及は証明の未知の話だから
整数論じゃないはずだけどね
13: poem 04/30(水)05:30 ID:rHuK5eSo(4/5) AAS
逆に
0除算乗算の話は
0×0≠0
0×0=error
とかだから
ちゃんと整数論
未知の等式
14: 04/30(水)09:12 ID:5HXGw+PQ(1) AAS
この板はお前の来るとこじゃない
うせろ
15: 04/30(水)10:16 ID:7TXAtwS4(1) AAS
誰が来てもよい
16(1): poem 04/30(水)18:59 ID:rHuK5eSo(5/5) AAS
ミーンミーン民見ん
17: 05/06(火)10:49 ID:dnWVhqPg(1) AAS
>>16
死んどけ
18: 05/07(水)18:16 ID:tsrmwpMk(1) AAS
数学的議論が有限の記号の列でかかれているのならば、
それはビットの列に読み直せばコンピュータで厳密に扱える。
すべてが論理で正しく扱えているのなら、コンピュータでもなぞれる。
出てくる実数も、有限の記号の列できちんと定義されたものであっても
２つが等しいか等しくないかを判定する万能のアルゴリズムは無いのだが、
数学でうまく扱えているのなら、それを呑み込めばいいだろう。
うまく扱えないものは、今の数学でもうまく扱えてはいないだろう。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.185s*