純粋・応用数学・数学隣接分野(含むガロア理論)21 (208レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

153
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)00:13 ID:6EVaf5Z4(1/8) AAS
>>147
(引用開始)
>n ∈ On が自然数であるとは,n は 0 または後続順序数で n のすべての要素も後続順序数であること,とできるからである.』の通りで
え????????
君、1={0}を否定するの? 0の前者は存在しない、すなわち0はいかなる順序数の後続順序数でもないことを知らないの?
(引用終り)

ふっふ、ほっほ
省16
155
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)00:31 ID:6EVaf5Z4(2/8) AAS
>>153 追加訂正

”n は 0 または (0以外の)後続順序数で (0以外の)n のすべての要素も後続順序数であること”
 ↓
”n は 0 または (0から誘導される)後続順序数で (0から誘導される)n のすべての要素も後続順序数であること”

が正確かもね
下記 順序数で
”ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく・・”
省7
156
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)00:48 ID:6EVaf5Z4(3/8) AAS
>>154
>さっさと>>120に答えてよ

 ?>>120
>反例:正則性公理、選択公理

なんのこっちゃw
下記を百回音読してね
(両方とも、渕野先生は「・・存在する」と規定されていますw)
省22
163: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)08:54 ID:6EVaf5Z4(4/8) AAS
>>141 追加引用

岡潔先生とハウスドルフの集合論
について、追加引用

外部リンク[pdf]:fuchino.ddo.jp
特集/集合・位相の考え方—数学の基礎をなす概念—
ハウスドルフの集合論と位相空間論の誕生
—現代,ないし(仮想的) 近未来の視点からの考察 渕野 昌
省23
185
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)19:53 ID:6EVaf5Z4(5/8) AAS
>>183
>その酷く醜い知能をこちらに見せないで

ふっふ、ほっほ
「ハイ、鏡!」w
おサル=サイコパス*のピエロ(>>5
サイコパスの本領発揮かい?w(”サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む”(>>5)ww)

さて
省21
186: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)19:56 ID:6EVaf5Z4(6/8) AAS
>>184
死狂幻調教大師S.A.D.@月と六ベンツ さん、いつもありがとうございます。

>しかしスレ主さんだっけ先輩から見守られてて素敵。

プロ数学者の御大のことでしょ?
先輩ではないですよ
世界的な 数学者です
191: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)22:46 ID:6EVaf5Z4(7/8) AAS
資料提供:
下記 向井 国昭先生、慶應 情報系だが
学歴 1971年東京大学, 理学部, 数学科

・”公理は「これこれの集合が存在するならばしかじかの集合が存在する」という 条件文の形で述べられる”
・”定義 2.6 (A から B への関数) 関数 f が直積 A ×B の部分集合で,dom(f) = A のとき,f を A から B への関数とよぶ”
・”公理 2.10 (無限公理) 次のような集合 N ≠0 が存在する: ∀x(x ∈ N → {x} ∈ N).
 無限公理は, 自然数の全体と同じ大きさの集合, すなわち少なくともひとつの無限集合の存在を主張している.”
省38
194
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/27(日)23:58 ID:6EVaf5Z4(8/8) AAS
>>188
ふっふ、ほっほ
踏みつけたゴキブリ、しぶといなぁ〜、まだ動いているよw ;p)

(引用開始)
>こちらの式の問題点は、>>177に指摘の通りで ”「x は無限集合である」という命題を M(x) とし”の部分であって
>ここを きちんと 集合の言葉で書けるかどうか? そこが問題です
なんとか先生のφ(x)を使え
省34
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.159s*