[過去ログ] 【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
57
(2): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 19:32:50.77 ID:WTRjQogU(6/18) AAS
集合論で、無限演算(極限)が必要になることは少ない。無限集合においても扱う性質が有限であることが多いからだ。
76: デフォルトの名無しさん [sage] 2017/07/22(土) 23:51:19.55 ID:QqZjuHKP(1) AAS
>>57
ωの定義は?
Γ_0の定義は?
83
(1): デフォルトの名無しさん [sage] 2017/07/24(月) 18:34:08.77 ID:3yF9COr6(1/2) AAS
>>48
48(3): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 18:39:33.61 ID:WTRjQogU(1/18) AAS
>>47
定理って言ってるんだから、定理だろ。
ベン図と真理値表で簡単に証明可能。
違う。通常公理系から証明する。

>>50
50(3): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 18:48:30.61 ID:WTRjQogU(2/18) AAS
無限集合の場合は集合の内包的定義により、離散的な論理学に還元され、やはり成り立つ。
違う。可算加法性は自明な性質ではない。

>>57
解析学は非可算無限、整数論は可算無限を扱う
無限集合を扱うのは一般的
むしろ有限集合を扱うほうが特殊

>>58
58(2): 片山博文MZ ◆T6xkBnTXz7B0 [sage] 2017/07/22(土) 19:38:35.09 ID:WTRjQogU(7/18) AAS
無限集合では、1つ1つ数えるのではなく、性質(述語)に着目する。集合は述語の組み合わせで表せる。
取り扱う集合を表す述語が有限の表現で表せないなら、人間はそれを考えることすらできないだろう。
ソボレフ空間とかガン無視かよ

めんどくさいからこのくらいで
ほぼすべてのレスに間違いが含まれてる
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.405s*