[過去ﾛｸﾞ]
集合論について (615ﾚｽ)
集合論について http://rio2016.5ch.net/test/read.cgi/math/1384715117/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
47: １３２人目の素数さん [] 2013/11/30(土) 08:11:14.00 集合は集合か？ http://rio2016.5ch.net/test/read.cgi/math/1384715117/47
48: １３２人目の素数さん [sage] 2013/11/30(土) 08:49:07.78 同語反復じゃねえか。 何を言いたいのか、 整理してみな。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/48
49: １３２人目の素数さん [sage] 2013/11/30(土) 09:16:31.95 公理を疑うというのはナンセンス。 数学は公理を定めてどんどん演繹してくことにより、なにが導かれるかを明確に示してくれる。 それが目的にあわないなら別の公理を用いればよい。 それがいい加減な思考ではなくて論理的に演繹により示されるのに、なにが不満なんだか。 選択公理のない集合論、無限公理のない集合論、基礎の公理のない集合論(や、これらの否定を公理に持つ集合論)などなど、研究されていて面白い結果も導かれている。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/49
50: １３２人目の素数さん [sage] 2013/11/30(土) 11:53:19.60 >>46 いきなりそのシリーズは無理や 案外キュネンの和訳に載ってる数学の哲学的な部分が良いかも http://rio2016.5ch.net/test/read.cgi/math/1384715117/50
51: １３２人目の素数さん [sage] 2013/11/30(土) 13:10:05.34 集合論とか意味不だわ 後期も単位落としそうでつらい http://rio2016.5ch.net/test/read.cgi/math/1384715117/51
52: １３２人目の素数さん [sage] 2013/11/30(土) 17:20:38.34 単位とか言ってる時点でだめだ 死んだほうがいいよ http://rio2016.5ch.net/test/read.cgi/math/1384715117/52
53: １３２人目の素数さん [] 2013/11/30(土) 19:16:04.59 >>46 助かります！ 便利な情報はもっと目立って存在してくれればいいのにと思う http://rio2016.5ch.net/test/read.cgi/math/1384715117/53
54: １３２人目の素数さん [] 2013/11/30(土) 19:32:58.91 >>49 数学の体系を「この公理を採用したらこれが演繹できる」っていうペアの平等な寄せ集め と見るならばそうかもしれないけれども、 現実の"数"の性質をどれだけ忠実に表現しているかっていう視点で 公理系を見ることには意味があると思うんです http://rio2016.5ch.net/test/read.cgi/math/1384715117/54
55: １３２人目の素数さん [sage] 2013/11/30(土) 19:35:46.55 そういうことは「公理を定めてどんどん演繹して」いかないとわからないよ もちろん、現実の"数"の性質について知るためには、現実の数学について知らなければならないし http://rio2016.5ch.net/test/read.cgi/math/1384715117/55
56: １３２人目の素数さん [] 2013/11/30(土) 20:03:26.49 >>53 基礎論は無料でテキストが公開されている場合が多いから 洋書なんかは購入前に調べたほうがいいよ http://rio2016.5ch.net/test/read.cgi/math/1384715117/56
57: １３２人目の素数さん [] 2013/11/30(土) 20:05:23.45 http://klapaucius.web.fc2.com/logic/online-textbooks.html こういうサイトって他にもあるんですか？ http://rio2016.5ch.net/test/read.cgi/math/1384715117/57
58: １３２人目の素数さん [] 2013/11/30(土) 20:32:09.82 基礎論やるんだったら以下のページはおさえとくべき 集合論の公理詳細 http://us.metamath.org/index.html 論理体系のリスト http://home.utah.edu/~nahaj/logic/structures/systems/index.html 計算量クラスのリストとその図 https://www.math.ucdavis.edu/~greg/zoology/relations.html https://www.math.ucdavis.edu/~greg/zoology/diagram.xml 逆数学とかの小型の数学体系とか http://rmzoo.uconn.edu/diagrams.html http://rio2016.5ch.net/test/read.cgi/math/1384715117/58
59: １３２人目の素数さん [] 2013/11/30(土) 21:17:47.76 >>58さん ありがとうございますm(_ _)m http://rio2016.5ch.net/test/read.cgi/math/1384715117/59
60: １３２人目の素数さん [sage] 2013/12/05(木) 00:19:36.84 色んな集合論があるもんだなと http://stanford.library.usyd.edu.au/entries/settheory-alternative/ http://rio2016.5ch.net/test/read.cgi/math/1384715117/60
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 555 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s