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