[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
110: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/12(日)18:29:44.45 ID:/6i4k5qr(10/12) AAS
>>107 補足
分離多項式の場合
"D が P の判別式であれば、X^2 - D が交代群のレゾルベントである"
となります。
つまり、ｎ次 分離多項式の方程式を考えると
方程式のガロア群は、対称群Snになるが
X^2 - D を使って、交代群Anに落とすことができる
省16
122(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/14(火)00:19:30.45 ID:vq8RyVMN(1/9) AAS
>>102
これ、「４３ フェルマーの最終定理」
外部ﾘﾝｸ[pdf]:www7a.biglobe.ne.jp
中のポアンカレ予想の説明の話だが、もう少し正確に書くと
誤：
「単連結な 3 次元閉多様体は 3 次元球面 S^3に同相である」ポアンカレ予想
（注１）
省22
299(1): 粋蕎 ◆C2UdlLHDRI 2020/07/31(金)01:35:33.45 ID:zTOvtrHS(1/2) AAS
>>296
其の前の段落の記述から逃げるな。其の項目は其の前の段落の記述から続く記述じゃろ｡
0.999... - Wikipedia 外部ﾘﾝｸ:ja.wikipedia.org
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
" ライトストーンは 0.999… について直接扱ったわけではない、彼は移行原理の帰結として実数 1/3 が 0.333…;…333… で表されることを示した｡
故に 0.999…;…999… = 1 である。ここで言う意味での小数展開が必ずしも数を表すとは限らないことに注意すべきである｡
特に "0.333…;…000…" や "0.999…;…000…" は何の数とも対応しない｡
省10
325(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/01(土)18:23:47.45 ID:4zrQNSRp(5/6) AAS
おっさんら、スレ違いだよ
おっさん、細かいことは良いんだよ
大事なことは
20世紀に、ロビンソンがノンスタ（超準）を考えて
実数を拡張して、無限小と無限大を取り入れた
21世紀の現代数学では、無限小をきちんと数学として扱えるようになった
おっさんらの議論は、古いんだよ
省5
497(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/24(月)18:55:02.45 ID:rNo847jr(2/2) AAS
>>476 補足
連続体仮説でいうと
20世紀前半は、連続体仮説が証明できると思っていた人多数
20世紀後半には、連続体仮説が成立するのも、不成立なのも、公理の立て方によるって話に落ち着いたわけ
と、同様に、>>478より
a)0.999...＝0
b)0.999...≠0
省4
747: 2020/11/04(水)18:34:52.45 ID:26WHSv4q(6/16) AAS
>>742
>直観的な理解は、極限順序数の”極限”から、
>自然数ｎ→∞の極限として理解することだろうね
>つまり、シングルトンという性質（＝濃度１）を持つ
>”極限”の順序数（としての集合）として、ωを理解することだ
極限という言葉で
「n+1が｛n｝というシングルトンなんだから、ωもシングルトンの筈だ」
省13
763: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/05(木)07:37:40.45 ID:lG01yKE6(3/3) AAS
>>761
＞蛇足だが、さらに補足しておくと、基礎論的には、自然数Nを作るのに”lim n→∞”とか、”レーヴェンハイム＝スコーレムの定理”とかは、循環論法になる
蛇足の蛇足
・”lim n→∞”とか、”レーヴェンハイム＝スコーレムの定理”とかは、循環論法になるけれども、出来上がった理論を、出来上がった後に、より高い立場から俯瞰することは、大事だよ
・それは、IUTでも同じだ。IUTを作るのに、厳密なロジックが必要だから、循環論法は許されない。けど、出来上がった理論を俯瞰的に見れば、もっと易しい道があるということが見えてくると思う
・それを期待しています（＾＾；
808(2): 2020/11/08(日)12:16:29.45 ID:BM2uk/CN(1/4) AAS
>>795
>・”x∞={x∞}”の証明がない
x∞に一番外側の"{"と"}"が無いならそもそも集合ではありません。
x∞に一番外側の"{"と"}"が有るならそれらを外したものはx∞自身ですから正則性公理に反します。
これ以外のケース（例えば、有り且つ無い）はありませんから、結局x∞は集合の要件を満たしません。
>・x∞の極小元は、明らかに空集合Φ＝{}です。よって、正則性公理に反しないQED
いいえ、{}はx∞の元ではありません。
省4
810: 2020/11/08(日)13:32:11.45 ID:bKzT4Sg/(6/15) AAS
>>806
質問に答えられないのが悔しいからって
「ボクはIUTのすべてが理解できるもん！」
泣きながらむしゃぶりつく三歳児みたいな
書き込みはご勘弁願えますから
痛々しすぎて涙が出ちゃう
913(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/28(土)23:42:02.45 ID:OgYXcJu7(3/5) AAS
>>912
>維新って誰よｗ
維新さんは、下記です
”idiot”連発のサイコパスのことです
（2chｽﾚ:math ご参照）
スレ”楕円関数・テータ関数・モジュラー関数”の主（＾＾；
（参考）
省27
939: 粋蕎 ◆C2UdlLHDRI 2020/12/01(火)10:28:45.45 ID:upzTgLnk(3/5) AAS
タオが言ったんは
[[H∈無限超自然数]]&[Σ[k=1,H]9/10^H] = 0.999…;…999999 (9がH桁つまり有効桁非永続)
であって
Σ[k=1,∞]9/10^H] = 0.999…;…999999… (最後が … つまり有効桁永続)
と違う
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s