可算無限個のサイコロを投げます (257ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
157(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/17(木)16:17 ID:SUY2H6R9(4/5) AAS
つづき
外部ﾘﾝｸ:en.wikipedia.org
Peano axioms
Set-theoretic models
Main article: Set-theoretic definition of natural numbers
The Peano axioms can be derived from set theoretic constructions of the natural numbers and axioms of set theory such as ZF.[15]
The standard construction of the naturals, due to John von Neumann, starts from a definition of 0 as the empty set, ∅, and an operator s on sets defined as:
s(a)=a∪{a}
The set of natural numbers N is defined as the intersection of all sets closed under s that contain the empty set.
(引用終り)
省1
166(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/17(木)21:27 ID:E6JWYKhd(1/5) AAS
>>159
>仮に「無限回の操作」が認められているとしたら・・
君は、ものを知らないね
上記は、公理の中の話だろ？ｗｗ
”ガウスが進んだ道は即ち数学の進む道である。その道は帰納的である”
”数学の研究もまた帰納というべきであり演繹は手段である”by 高木貞治(下記)
公理的集合論が構築されたのは、20世紀初等の 1900年から1930年に入るまでだったと思うが
それ以前の 19世紀においても、無限集合論はあったのだ
カントールとデデキントだ
ラッセルのパラドックスが出て、その解決というか 回避のために
省32
168: 07/17(木)22:41 ID:L4iQJJ91(10/17) AAS
>>166
君、ものすごーーーーーーくズレまくってんだけど
>同様に、人は”無限の概念”を ずっと ずっと以前に既に得ていたから
>そこから、無限公理を作ったってことよ（＾＾
誰もそんな話していない まったくトンチンカン
おまえが「無限回の操作」は許容されてると言ったから例示しろと言ってるだけ
無限公理が必要なのはむしろ「無限回の操作」が許されないからだと言っている 言葉が分からんのか？
>>>156-157で例示したのは、コルモゴロフの確率論(1933年>>158)の前に
>集合論の公理化によって ”無限の概念”の問題は、解決されていたってこと
誰もそんな話していない まったくトンチンカン
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s