[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
94: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/02(日)16:52:24.28 ID:NrBYtRST(4/8) AAS
>>92 タイポ訂正
ある有限のＤ点を基準として、それより点数に低い人は何パーセントと言っても、いくらでも高得点者が居るような場合は、確率計算に乗りませんね
↓
ある有限のＤ点を基準として、それより点数が低い人は何パーセントと言っても、いくらでも高得点者が居るような場合は、確率計算に乗りませんね
分かると思うが
260(1): 2021/08/22(日)08:05:50.28 ID:sTIzdDwF(5/7) AAS
これはＢが空集合ではないことを示す必要があるのでは？
＞すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分
f のもとでの A の像＝f(x)
A の少なくとも 1 つの部分集合=B
Ａのべき集合はＡの全要素を含まなければならないので
Ｂが空集合でないなら主張は証明される。
300: 2021/11/10(水)08:31:27.28 ID:jiYnHr+P(1/2) AAS
これ良さそう
外部ﾘﾝｸ:iso.2022.jp
About
Twitter Twitterﾘﾝｸ:waidotto
外部ﾘﾝｸ[pdf]:iso.2022.jp
小数展開の一意性と空間の連結性
Uniqueness of Decimal Expansions and Connectedness of Spaces
省2
412(1): 2021/11/20(土)23:33:11.28 ID:5AMtJA2Q(4/4) AAS
>>408
(引用開始)
＞定義：∀n∈N fsz(n) ＜ fsz(ω) とすれば良い
＞それで、well-definedです
早速質問
＜と∈の関係は？
例えばfsw(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω の要素
省27
486: 2021/11/22(月)18:06:08.28 ID:zlfxXly+(2/3) AAS
まぁまたもやSetAは公知の理論逸脱してた自らの見解を、引っ込めれば良いものを今回も引っ込めず
いつもの様に選択公理を連呼する事による新機軸理論主張に論点ずらししたわけだな｡
要約すると「意欲的に解説してたつもりが、またもや
『じつは、こんかいもふつうとはちがう、ぼくのかんがえたあたらしいすうがくでした』とさ」。またかよ｡
いつまでSetAはムービングゴールポスト論法を繰り返すつもりなんだか
547: 2022/03/05(土)09:21:19.28 ID:hhayz5nm(1) AAS
これ、いいね
外部ﾘﾝｸ[html]:mathematics-pdf.com
数学 PDF よしいず
コラム > ゲーデルの不完全性定理について
ゲーデルはω-無矛盾という仮定のもとで第一不完全性定理を証明しました．
ゲーデルの第二不完全性定理とは， 「自然数論の公理を含む無矛盾な形式的体系の無矛盾性は，その体系内では証明できない」というものです．
これは，自然数論の公理を含む数学の理論が， 少なくとも有限の立場では自分自身の正しさを示すことは不可能であることを意味します．
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s