Inter-universal geometry と ABC予想 (応援スレ) 74 (956ﾚｽ)
上下前次1-新
152(2): 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)08:29 ID:1MD2qx+9(13/28) AAS
数学者に哲学がわかるものか。
153(1): 08/25(月)08:32 ID:+KvL50n5(1/2) AAS
ともかぎらない
154(1): 08/25(月)08:33 ID:3mA1630K(1) AAS
>>151
正確にいえば「意味が分からない」のではないだろう
こんなメンドクサイ概念理解したくない
もっと簡単な定義があるはずだ、と
しかし無限回の行為の実行なんてできないのだから
そんなことを求めるほうがおかしいのである
>>152
省1
155: 08/25(月)10:46 ID:+KvL50n5(2/2) AAS
AIが推奨する哲学の新しい問題は？
156: 08/25(月)10:53 ID:QC/d8YsI(2/2) AAS
AIに聞きなよ
157(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)11:15 ID:NbOUr+U1(1/10) AAS
>>150-154
ご苦労様です
ID:+KvL50n5 >>153 「ともかぎらない」
は、御大か
巡回ご苦労様です
１）「数学者に哲学がわかるものか」by 死狂幻調教大師S.A.D.@月と六ベンツさん
については、バートランドラッセル が 哲学者謙数学者だったかも 外部ﾘﾝｸ:ja.wikipedia.org
省26
158: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)11:18 ID:NbOUr+U1(2/10) AAS
>>157
タルスキと哲学の補足
外部ﾘﾝｸ:ja.wikipedia.org
論理学の歴史
数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。
159: 08/25(月)11:31 ID:LuU2Xkk/(1) AAS
>>157
>「無限回の行為の実行」は否定しない方が
>21世紀数学の理解が進むだろう
大学数学落ちこぼれ◆yH25M02vWFhPの妄想
>一例は、ヒルベルトの無限ホテルのパラドックス：
>1号室の客を2号室に、2号室の客を3号室に、n号室の客を(n + 1)号室に（同時に）移動させる。
>すると1号室は空室になり、1人の客を泊めることができる。
省4
160(1): 08/25(月)12:08 ID:wjD4WEFO(1/3) AAS
ｽｩｩ学ｼｬｧ!の脳内でも
頭イキましたねぇ!マンの脳内でも
こ↓れ↓とおんなじ事が起きてるってほんとぉ？
htt
動画ﾘﾝｸ[YouTube]
分かっちゃうって怖ぃねぇ!
全てを理解したいきもの 怖いなぁ…戸締まりすとこ。
161(1): 08/25(月)12:14 ID:wjD4WEFO(2/3) AAS
どんどん覚醒してイキますねぇ…!（歓喜）
htt
動画ﾘﾝｸ[YouTube]
162(1): 08/25(月)12:16 ID:wjD4WEFO(3/3) AAS
理解してしまったマン、近所に出ると戸締まりすとくけど、スマホでチラッチラ見てるだけなら
面白いゾ。
163(2): 08/25(月)13:06 ID:O3poJvHG(3/8) AAS
数学的に有限（多くは１）ステップを勝手に無限ステップと妄想してるだけ
そんな妄想してりゃ大学一年四月に授業についていけず落ちこぼれるのも無理は無い
164: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)13:23 ID:NbOUr+U1(3/10) AAS
>>160-162
ご苦労様です
それ 面白いね
165(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)13:58 ID:NbOUr+U1(4/10) AAS
>>163
>数学的に有限（多くは１）ステップを勝手に無限ステップと妄想してるだけ
>そんな妄想してりゃ大学一年四月に授業についていけず落ちこぼれるのも無理は無い
ふっふ、ほっほ
下記 「有限主義者」類似かな？ （＾＾
無限集合は認めるが、操作は有限に限るとねｗｗ
”多くの数学者は厳密な有限主義は制限しすぎていると見なしたが、その相対的な一貫性は認めていた。すなわち、遺伝的（hereditarily）有限集合の領域は、無限公理をその否定と置換したツェルメロ＝フレンケルの公理的集合論のモデルを構成する”
省24
166: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)13:58 ID:NbOUr+U1(5/10) AAS
つづき
P18
4 無限の彼方へ
P22
カントルの「数学の本質はその自由にある」という立場は「存在する可能性のあるものは数学的存在として（つまり集合として）存在する」というふうにも解釈でき，そのような立場からは，様々な巨大基数は，それらが集合論と抵触しないかぎりにおいてすべて存在する，と考えるべきで，その意味では巨大基数公理は「正しい」公理と考られます．
P23
最後に，ここでお話ししたことに関連する文献について触れておくことにします．集合論をじっくり勉強するための標準的な教科書としては，[13] や[10] があげられます．[13]は愛媛大学の藤田 博司氏が翻訳中のようですが*21，[13] や [10]のレベルの日本語の教科書は今のところ存在しないのではないかと思います．ただし，古典的な集合論を中心に述べた日本語の教科書で最近出版されたものには[15], [18] などがあり，これらよりもう少し本格的なものとしては，少し古い本ですが，[16] があります．
省2
167: 08/25(月)14:00 ID:Gf8Qstmw(1) AAS
>>163
まったく同意
◆yH25M02vWFhP はまず微分積分の教科書の冒頭にある実数の定義
「実数は有理コーシー列の同値類」を受け入れよ
すべてはそこから始まる 受け入れないうちは大学数学の中に入れない
168(1): 08/25(月)14:03 ID:4fk2hev/(1/2) AAS
＞無限集合は認めるが、操作は有限に限るとね
カントールは、無限集合を「要素を空集合から１つずつ加える操作を無限回実行したもの」と定義していない
カントールは◆yH25M02vWFhPのような夢見るトンデモド素人ではないよ
169: 08/25(月)14:16 ID:4fk2hev/(2/2) AAS
◆yH25M02vWFhP が理解できないこと
１．線型独立の定義
２．実数の定義
３．無限集合の定義
要するに大学１年の一般教養の数学の初歩から理解できない
170: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)14:46 ID:1MD2qx+9(14/28) AAS
統合失調症をわからない人はビューティフル・マインドという映画を見るといい。ナッシュは放浪していたし入院に嫌気が差して、入院なんて思いつくのは洗脳されてるだけで人の数だけ入院なんてできるものか、精神神経障害なら傷を受け入れて残し完全な治癒を目指さず労働、厚生だけではダメ、すべき。ナッシュの妻が最後まで見捨てなかったのがロダンとカミーユとは違う本物のビューティフル・マインドだ。
171: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)14:48 ID:1MD2qx+9(15/28) AAS
しかし発狂者は統合失調症と違う待遇にユダヤの最高指導者狂王ヘロデがしています。
172: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)14:48 ID:1MD2qx+9(16/28) AAS
狂人もすでに解放したのがナジャ。
173: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)14:51 ID:1MD2qx+9(17/28) AAS
それで教職の仕事にも復帰できているわけ。医療のソシアルワーカーに部分転職もしたが。
174: 08/25(月)15:01 ID:LlAu/gUk(1) AAS
ベンツボにしか支持されない◆yH25M02vWFhP 哀れ
175: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:04 ID:1MD2qx+9(18/28) AAS
偏見にさらされ迫害弾圧虐待されるが笑顔ヒロインのようでいいじゃないか。
176: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:05 ID:1MD2qx+9(19/28) AAS
四面楚歌の故事を超える。虞美人に俺は礼。
177: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:07 ID:1MD2qx+9(20/28) AAS
バカの壁という昔の僕の思想があるが敵方は狭いバカの壁の中でむしろそいつらが哀れ。
178: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:09 ID:1MD2qx+9(21/28) AAS
意外な人も世界が狭いわ。俺等は次の赴任先進駐の話題なのに。
179: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:10 ID:1MD2qx+9(22/28) AAS
理解されないと嘆くより特別な人達とだけ歩む。
180: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:11 ID:1MD2qx+9(23/28) AAS
採点もエラーだな負け。
181: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:12 ID:1MD2qx+9(24/28) AAS
そう鍛え込まれたバカの壁の先に何があるのかな。
182: 08/25(月)15:14 ID:Y5xU8ipn(3/3) AAS
同類相憐れむ
183: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:14 ID:1MD2qx+9(25/28) AAS
まあ数学も学問の1つさ。恭順でよろしいか、最近は占星学もたより。
184: 08/25(月)15:16 ID:2nTStp6p(1/2) AAS
数学理解しなくてもいいが、
だったら未練たらしく数学板に書くなよ
みっともない
185: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:17 ID:1MD2qx+9(26/28) AAS
星占いや星空祈祷を忘れた組織にどう夜襲があるのかな。刑務所と精神科の時代は前世紀の残党に過ぎず。
186: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:18 ID:1MD2qx+9(27/28) AAS
もはや敵なし。
187: 08/25(月)15:19 ID:2nTStp6p(2/2) AAS
数学と無関係だから別の板に書きな ●違いベンツボ
188(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:30 ID:1MD2qx+9(28/28) AAS
文学板や大学チャンネルしたらばに戻ってるけど各種障がい者の指導育成あるし。
189: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)17:14 ID:NbOUr+U1(6/10) AAS
>>188
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます
スレ主です
今後ともよろしくお願いいたします。
190: 08/25(月)17:28 ID:O3poJvHG(4/8) AAS
仮に無限操作なるものが well-defined だとしたら選択公理なんて不要だろ
集合の元をひとつ選択する操作を無限に繰り返すことで選択関数を構成できるんだから
選択関数の存在を公理としているということは（まともな人間は誰一人）そんな仮定を認めないってことだよ
と言ったところで、選択公理を理解していないオチコボレの耳に念仏かな やれやれ 縁なき衆生は度し難し
191(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)17:30 ID:NbOUr+U1(7/10) AAS
>>168
>＞無限集合は認めるが、操作は有限に限るとね
>カントールは、無限集合を「要素を空集合から１つずつ加える操作を無限回実行したもの」と定義していない
ふっふ、ほっほ
下記の 「＜特別寄稿＞スコーレムの有限主義 出⼝, 康夫. 哲学論叢. 2002」
で、有限 or 無限操作に関する記述があったので、少し引用しよう
君たち二人の主張は、哲学的には 構成主義？ｗ
省17
192(1): 08/25(月)17:50 ID:O3poJvHG(5/8) AAS
>>191
誰が構成主義と？ 実無限を認めないと？
まーた幻聴かい？ 言ってないことが聞こえるのは病気だよ
193: 08/25(月)17:52 ID:iXlQT2JW(2/7) AAS
>>191
誤 「無限回繰り返し可能な有限回操作」
正 「任意有限回繰り返し可能な、有限文字数で表記可能な操作」
ここいい間違ったら馬鹿として爆死
＞実無限は「その無限回繰り返しが完了した」ことまでも意味する。
そう定義するなら実無限は実現できない（笑）
数学の無限はどれ一つとして上記の意味の実無限ではない
省10
194: 08/25(月)17:55 ID:iXlQT2JW(3/7) AAS
>>192
数学で定義する無限集合が実無限かどうかは知らんが
「無限回繰り返しが完了した結果」でないことは確かである
従って、出⼝康夫のいうナイーブな実無限でなく
ソフィスティケートされた実無限であり
したがって、連続体仮説すら非決定的であるわけだ
195(1): 08/25(月)17:58 ID:O3poJvHG(6/8) AAS
>>191
屁理屈はいいので早く無限回の足し算の定義を示してよ
well-defined だと言うなら万人に祖語の無い定義を示せるはずだろ？
196: 08/25(月)18:01 ID:iXlQT2JW(4/7) AAS
出口康夫
外部ﾘﾝｸ:ja.wikipedia.org
大阪市生まれ。京都大学文学部卒、同大学院文学研究科博士後期課程修了。
彼のいう「無限回繰り返しが完了した結果」としての「実無限」は、
公理的集合論の「無限集合」と異なるものである。
もちろん、哲学としてそのようなものを考察しようと試みるのは勝手だが、
実現不可能なので、それ以上先に進まないだろう。
省2
197: 08/25(月)18:05 ID:iXlQT2JW(5/7) AAS
>>195
よせよせ 大学１年の一般教養の微積で落第した◆yH25M02vWFhPにできるわけないから
まあ、誰にもできんけどな
なぜ、◆yH25M02vWFhPが「無限回の足し算の実行可能性」にこだわるのか分からん
解析学でそんなことどこでも実行してないのは教科書を読めばわかる
教科書読めてないから、きっとどこかに書いてあると妄想する
198: 08/25(月)18:09 ID:iXlQT2JW(6/7) AAS
選択公理を設定するのは、無限回の選択が不可能だから
「選択写像が存在する」と前提してるだけなのだから
選択写像がどんなものか妄想しても無駄である
このことが分からない奴が大学１年の一般教養の数学で落第する
難しいことではないが、思い込みが激しい●人には無理らしい（笑）
199: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)18:13 ID:NbOUr+U1(8/10) AAS
メモ貼る
外部ﾘﾝｸ:ahgt.math.cnrs.fr
Arithmetic & Homotopic Galois Theory IRN
Activities - Conferences & Seminars
Conferences, workshops, and seminars organized by the members of the AHGT network.
The AHGT Seminar
Next coming talks…
省12
200: 08/25(月)18:15 ID:iXlQT2JW(7/7) AAS
◆yH25M02vWFhPは、集合論でも実数論で線形代数でも
大学１年の前期レベルの初歩から誤解してつまづいてるので
大学数学はまったく理解できないと分かる
◆yH25M02vWFhPのつまづきの原因は
非言語的イメージ操作だけで数学を分かろうとしてるせい
算数では有効だが、数学では全く無意味
なぜなら大学の数学は人による思索であって
省5
201(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)18:31 ID:NbOUr+U1(9/10) AAS
>>192-198
ふっふ、ほっほ
>>191の「＜特別寄稿＞スコーレムの有限主義 出⼝, 康夫. 哲学論叢. 2002」
日本の1980年代の大学数学教育は 有限主義的な教え方が主だったろう
だが、その後 ”超準解析”が広まっていった
21世紀では、スコーレム流の有限主義は 古いと思うねｗ ；ｐ）
加藤文元氏 メンタルピクチャーや Terence Taoの“big picture”としても イマイチだろう（時代おくれ）
省16
202: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)18:32 ID:NbOUr+U1(10/10) AAS
つづき
形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ。
数学の研究論文における形式的●●●議論は、例えばLean4やCoqなどのコンピューター言語による形式化からすれば、まだまだ「非形式的（informal）」なものだろう。人間のやる数学はまだまだインフォーマルであり、行間が広く、とてもとても形式的議論とは言えない。
とはいえ、ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*) MP ーーーー形式化ー＞ FT
のことである。
省10
203: 08/25(月)18:42 ID:O3poJvHG(7/8) AAS
>>201
無限回の足し算なるものの定義を示せない時点で君の負けは確定した
それすら分からないほどバカなのかい？
204: 08/25(月)20:18 ID:z2yPjdj7(1/2) AAS
援用するために見つけてきたのは哲学者でしたとさ
やはり数学は分かってないようだな
205(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/25(月)20:36 ID:/ZwuI2/k(1) AAS
>>201
ふっふ、ほっほ
下記 砂田利一先生「数学の発展と展望」（「数学通信」第２１巻（２０１６年度）第４号）
を追加しておく
時代は、有限主義から 「実無限」を認める方向へ
動いているよ ；ｐ）
(参考)
省23
206(1): 08/25(月)20:48 ID:z2yPjdj7(2/2) AAS
無限回の手続きが終了するって考えは実無限の考えと
真っ向から反することすら分からぬとは哀れですね
207: 08/25(月)21:21 ID:O3poJvHG(8/8) AAS
>>191
>21世紀数学は 実無限を認める人多数だろうさ ；ｐ）
正則性公理により ∀x(¬x∈x) だから ∀x(x≠x∪{x})。よって x∈X→x∪{x}∈X なる条件はXが無限集合であることを要請する。
つまり実無限とされる無限集合の定義に無限操作なるものは不要。
よって無限操作なるものの否定は実無限の否定という主張はただの言いがかり。バカの妄言に過ぎない。
208: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:18 ID:5aeR4Epj(1/50) AAS
ひねくれず素直に読んでいればそんな難しいものでもないだろう。むしろ簡単というか。
209: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:19 ID:5aeR4Epj(2/50) AAS
英文のほうがまだいいよ。
210: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:20 ID:5aeR4Epj(3/50) AAS
俺が特殊な読み方をするから誤解されるのかもな。
211: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:21 ID:5aeR4Epj(4/50) AAS
板のレベルを上げろよ。
212: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:25 ID:5aeR4Epj(5/50) AAS
なにか難しいことでもできてると自負に酔ってるんだろうか。たしかにスレ主さんの周辺はレベルが高いけどもっと上に連れて行ってあげるよ。
213: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:26 ID:5aeR4Epj(6/50) AAS
数学、記号言語を分析哲学するとか。
214: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:28 ID:5aeR4Epj(7/50) AAS
高卒でもこれぐらいのことはわかるよ。大学で勉強していないね。遊んでたんだ。
215: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:30 ID:5aeR4Epj(8/50) AAS
国語ができていない人が多いからお前らは数学で飯食え。俺は文学、倫理、国語教師。
216: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:33 ID:5aeR4Epj(9/50) AAS
例えば俺の意識を悟るとするだろ、わからないから詰まってるんじゃなくて難しい論理抽象操作で間違いを書き直しているわけ。
217: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:33 ID:5aeR4Epj(10/50) AAS
信じるも信じないもスレ主さんに聞いてみたら。
218: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:35 ID:5aeR4Epj(11/50) AAS
駄作の束をすごいと思う学生はいない。みんな出来てるんじゃないの。恥かかないように。
219: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:36 ID:5aeR4Epj(12/50) AAS
その上のレベルから見下されたいか。
220: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:37 ID:5aeR4Epj(13/50) AAS
付き添っている人は知ってると思うよ。暗唱の賭けや勝負とか。
221: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:49 ID:5aeR4Epj(14/50) AAS
大金巻き上げられていってみたい？誰かさんたちみたいに。しかし慈善団体に寄付するだけさ。
222: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:53 ID:5aeR4Epj(15/50) AAS
理系と言ったら数学が基幹担ってるからスレ主さん見て学生たちはそのこと忘れるなよ。誰が一人勝ちしてんだか。スレ主さんでやっと次点ぐらいだ。悪い人に馴染むように。
223: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:55 ID:5aeR4Epj(16/50) AAS
確率・統計が面白いんじゃないか？競馬、マージャン。人によってあるいは毎回答えが違う。
224: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:57 ID:5aeR4Epj(17/50) AAS
最高確率を目指しても一位は取れない。詩であるとか流れ、人生哲学…。言葉にならないもの。
225(1): 08/26(火)05:59 ID:sOAJTHDY(1/3) AAS
>>205
＞実無限：無限の対象の全体性を把握して，無限が実際に存在しているとする立場
これ、無限回の手続きの終了を認める立場、とは異なるって
日本語で書いてあるけど読める？ 神戸の高卒サル ◆yH25M02vWFhP
>>206
＞無限回の手続きが終了するって考えは
＞（無限集合を無限公理で規定して存在を認める）実無限の考えと
省3
226(1): 08/26(火)06:11 ID:sOAJTHDY(2/3) AAS
大体、
{}には要素がない
{{}}の要素は{}だけで、{}∪{{}}＝{{}}は要素でない
{{},{{}}の要素は{}と{{}}だけで、{{}}∪{{{}}}＝{{}、{{}}}は要素でない
要素を１つずつ付け加えた場合、最後に付け加えられた要素xについてはx∪{x}が要素でない
∀x,x∈S⇒x∪{x}∈S だといえず、必ず∃x.x∈S⋀¬(x∪{x}∈S) が言えてしまう
これがアキレスと亀の集合版である
省10
227(1): 08/26(火)06:17 ID:sOAJTHDY(3/3) AAS
アキレス「空集合｛｝を作ったぞ」
亀 「オレ、空集合｛｝ オレ、その集合の要素？」
アキレス「違う。でも今追加した」
亀 「オレ、集合{{}} オレ、その集合の要素？」
アキレス「違う。でも今追加した」
亀 「オレ、集合{{},{{}}} オレ、その集合の要素？」
アキレス「違う。でも今追加した」
省5
228(2): 08/26(火)08:14 ID:v2xfVefA(1/23) AAS
{}に要素を１つずつ付け加えて無限集合である帰納的集合を作ることを考える。
無限回の付け加えが終了して帰納的集合Xが出来上がったと仮定する。
最後に付け加えられた要素をxと書くとXはx∪{x}を持たないからXは帰納的集合ではない。
矛盾が導かれたから仮定は偽。よって無限回の付け加えは終了しない。
229(1): 08/26(火)09:29 ID:Dnf1fdnz(1/2) AAS
>>228
ごもっとも
１つずつ付け加える、というからには最後の操作がある、と考える
最後の操作がなくて完了した、とする場合、
１つずつ付け加えたのではない、ということになる
230(1): 08/26(火)09:32 ID:m4zUCoXw(1/2) AAS
無限公理は当然独断だから飛躍である
別の公理から証明される定理ではない
そのような公理を設定することが
無限回の操作の完了を認めるに等しい
というのだろうがそれはただの妄想である
231(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)11:04 ID:nzEtO0b1(1/14) AAS
>>225-230
(引用開始)
ごもっとも
１つずつ付け加える、というからには最後の操作がある、と考える
最後の操作がなくて完了した、とする場合、
１つずつ付け加えたのではない、ということになる
無限公理は当然独断だから飛躍である
省29
232(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)11:04 ID:nzEtO0b1(2/14) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
始順序数
フォン・ノイマンの割り当てとは、順序数を用いて濃度を割り当てる方法である。フォン・ノイマンによる順序数の定義を用いて、整列可能な集合 U に対して、その濃度を U と等濃な最小の順序数として割り当てる。より正確にいえば、
|U|=card(U)=inf{α∈ON | α=cU}
である。ここで、 ON は順序数のクラスである。この順序数を濃度の始順序数と呼ぶ。
外部ﾘﾝｸ:ja.wikipedia.org
省8
上下前次1-新書関写板覧索設栞歴
あと 724 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s