[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
27: 2013/11/28(木)01:54 AAS
わかりやすいのと
でたらめ書いて馬鹿にわかった気にさせるのは全然別の事だからな
28: 2013/11/28(木)06:47 AAS
ふーん
29: 狸 ◆2VB8wsVUoo 2013/11/28(木)07:04 AAS
狸
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■
■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□■□
省3
30(1): 狸 ◆2VB8wsVUoo 2013/11/28(木)09:31 AAS
狸
31(1): 2013/11/28(木)10:35 AAS
集合論とは実数について考えるための道具だったのですね
哲学の方から集合論に興味持ったために長いこと勘違いしてました
32(1): 2013/11/28(木)19:45 AAS
>>30
元気ですか？
33: 狸 ◆2VB8wsVUoo 2013/11/28(木)20:17 AAS
I have a burning smell.
--tanuki--
34: 2013/11/28(木)20:20 AAS
竹内薫の本バカにされてるけど
そもそも不完全性定理って数学の定理じゃないからｗ
>>31
数学者の使う実数とは違うよ
やるだけ無駄 役に立たない
35: 2013/11/28(木)20:27 AAS
＞そもそも不完全性定理って数学の定理じゃないからｗ
だからなんやねん
36(1): 狸 ◆2VB8wsVUoo 2013/11/28(木)20:28 AAS
>>32
はい、毎日元気に馬鹿板潰しに精を出してますぅ〜
ケケケ狸
37: 2013/11/28(木)20:43 AAS
算術の定理と言いたいんだろうか
38: 狸 ◆2VB8wsVUoo [age] 2013/11/28(木)20:55 AAS
運営の失敗と言いたいんだろうか
ケケケ狸
39(1): 2013/11/28(木)22:10 AAS
ZFCってでかすぎるんだよね
成り立つかどうか胡散臭い定理が結構ある
全体的にあまりに空想的な命題が多すぎて設定次第でどうにでもできてしまうからね
そこが人工的な感じがして今一本気でやればい部分がある
40(1): 2013/11/28(木)23:25 AAS
>>36
それはよかった、これからも元気に生きてください
41: 狸 ◆2VB8wsVUoo 2013/11/29(金)08:18 AAS
>>40
なので今日もこれから作業を開始します。
狸
42(1): 2013/11/29(金)20:56 AAS
>>12
> 集合論って、情報系>哲学系>数学系の順に人気があるイメージ
こういう事を書く人って集合論も情報系も全然知らないって自白しているも同然ですね。
情報系にとって興味があるのは基本的に計算可能な対象ですから集合でも高々可算無限濃度まで。
連続体濃度以上の一般の集合は情報系にとって関心はありません。
従って、連続体の濃度がどうだとか巨大基数とかが関心の中心になっている現代の集合論は
情報系の関心の範囲外ですし情報系での応用もありません。
同様に、超準解析を始めとして一般の無限集合を用いるモデル論も情報系にとってはほぼ無縁です。
情報系で関心の高い「モデル論」と言えば有限モデル論(finite model theory)です。
集合論と同様に基礎論系統の分野でも証明論、特にGentzen流の還元的証明論なんかは確かに情報系で
省3
43: 2013/11/29(金)22:29 AAS
>>39
ZFよりはるかに弱い集合論もあるし、それなりに研究もされてるよ
たとえば新井敏康「数学基礎論」にはKripke-Platek集合論の
証明論的分析が載ってる。
同じ本の集合論の章に載ってる「BST」も弱い集合論の一つ。
44: 2013/11/30(土)03:05 AAS
うお！補足されてる(>>42)、ありがたいですね
実際俺は"集合論も情報系も全然知"らんわ
けど、集合論を勉強しようとした時に内容が最もよく整理されてて
役に立ったのは"情報"分野の本棚ですね
次に哲学。"この公理を採用する正当性は何か？"みたいな
テーマが議論されてて深さという点ではダントツだった
数学の本棚が一番しょぼかった
素人目からは。
45: 2013/11/30(土)03:14 AAS
↑"しょぼい"は悪い表現だった
内容は豊かでした
なんていうか、公理を定めてどんどん演繹してくんだけど、
公理を疑ったりみたいな話題にはノータッチだった
俺はそこに一番興味があったんだけど
46(2): 2013/11/30(土)06:55 AAS
ほんとに素人目だな
ここに無料テキストが山ほどあるから勉強しなすこと
外部ﾘﾝｸ[pl]:projecteuclid.org
上下前次1-新書関写板覧索設栞歴
あと 569 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s