- 1 名前：１３２人目の素数さん mailto:sage [2012/06/24(日) 01:38:43.25 ]
- 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その12
http://uni.2ch.net/test/read.cgi/math/1332549969/
- 185 名前：１３２人目の素数さん mailto:sage [2012/08/01(水) 16:14:43.41 ]
- 論文書く気でないのならさっさとここに書けよ
- 186 名前：１３２人目の素数さん mailto:sage [2012/08/01(水) 22:09:24.79 ]
- ゴガギーン
ドッカン
ｍ ドッカン
＝＝＝＝＝） ）) ☆
∧_∧ | | ／ ／￣￣￣￣￣￣￣￣￣￣￣
（ ）| |＿＿＿＿＿ ∧＿∧ ＜ おらっ！出てこいΩ-論理
「 ⌒￣ | | || （´Д｀ ） ＼＿＿＿＿＿＿＿＿＿＿＿
| / ￣ | |/ 「 ＼
| | | | || || /＼＼
| | | | | へ//| | | |
| | | ﾛ|ﾛ |／,へ ＼| | | |
| ∧ | | | |／ ＼ / （ ）
| | | |〈 | | | |
/ / / / | / | 〈| | |
/ / / / | | || | |
/ / / / =-----=-------- | |
- 187 名前：１３２人目の素数さん mailto:sage [2012/08/02(木) 14:30:57.84 ]
- ゴガギーン
ドッカン
ｍ ドッカン
＝＝＝＝＝） ）) ☆
∧_∧ | | ／ ／￣￣￣￣￣￣￣￣￣￣￣
（ ）| |＿＿＿＿＿ ∧＿∧ ＜ Ω-論理、出てくるニダ
「 ⌒￣ | | || （｀∀´ ） ＼＿＿＿＿＿＿＿＿＿＿＿
| / ￣ | |/ 「 ＼
| | | | || || /＼＼
| | | | | へ//| | | |
| | | ﾛ|ﾛ |／,へ ＼| | | |
| ∧ | | | |／ ＼ / （ ）
| | | |〈 | | | |
/ / / / | / | 〈| | |
/ / / / | | || | |
/ / / / =-----=-------- | |
- 188 名前：１３２人目の素数さん mailto:sage [2012/08/02(木) 18:49:28.89 ]
- >>181
その「様々な理由」を具体的に説明してくれませんか？
- 189 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 01:40:05.85 ]
- ウッディンが連続体仮設の肯定派に宗旨替えしたとか
- 190 名前：１３２人目の素数さん [2012/08/04(土) 09:15:55.94 ]
- ttp://sss.sci.ibaraki.ac.jp/student/btp/btp.html
えと、これ、全く意味が分かりません。
一個のボールが二個に増えたり、ボールをバラバラにして組み立てなおすと
大きさを自由に変えたりできるということらしいんですが、
どういうことなんですか？
- 191 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 11:24:30.37 ]
- >>190
無限集合では部分が全体に等しいから
- 192 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 18:47:47.69 ]
- Banach-Tarskiの逆理って
nと2nを対応させると自然数と偶数が一対一に対応するというような
（ガリレイはこのことに非常に悩んだと言われるけれども）
今では当たり前の話と比べて何がすごいのかいまいち分かんないんだよね
trivialではないにしても有限分割合同であることが
そんなにすごいのかと言われると微妙な気がする
- 193 名前：１３２人目の素数さん [2012/08/04(土) 19:42:59.65 ]
- 離散群の重要な概念「従順性」と関連しているから、そんなに無意味ではないとは思う
- 194 名前：１３２人目の素数さん [2012/08/04(土) 19:47:29.66 ]
- 合同だから一個のボールが二個のボールに増えるってことにはならないと考えれば不思議ではない
- 195 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 19:57:04.61 ]
- つまりどの断片もルベーグ測度をとれないんだから
物理的な対象とは程遠い
- 196 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 20:16:30.16 ]
- 加算濃度と連続体濃度が真に異なることを見出さなければ
無限集合論自体が別にすごくなかったはず
- 197 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 20:19:56.25 ]
- たしか断片の一つは可算集合だった気がするが
- 198 名前：１３２人目の素数さん [2012/08/04(土) 20:54:47.06 ]
- AA があぼ−んされてる
- 199 名前：１３２人目の素数さん [2012/08/04(土) 21:04:35.56 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 200 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 21:14:40.30 ]
- ウデンが連続体仮説は正しいと主張しているというのは本当ですか？
- 201 名前：１３２人目の素数さん [2012/08/04(土) 22:49:11.84 ]
- ウッディンさんはΩ-論理で連続体仮説を偽や決定不能へ持っていこうとしました。
ところが、気が付くと彼は
Ω-論理の議論を応用してフォンノイマン宇宙の拡張モデルを創ろうとしていたのです。
それ以前にスティールによってZFCの最小モデルL(R)を使って、
公理的集合論の内部モデルが作られたことがありました。
ウッディン基数のプロパークラスが記述可能な公理的集合論の内部には
Θ^L(R)と呼ばれるウッディン基数より大きな巨大基数が作られ、
この基数をランクとして持つノイマン宇宙と
L(R)をモデルとする定義可能集合からミッチェル-スティール内部モデルが作られました。
ウッディンさんはこのL(R)を普遍ベール集合Aを加えたL(A,R)に拡張して、
ほとんどすべての巨大基数に真理値を与える究極的な集合論のモデルが存在するはずだと考えたのです。
このモデルは連続体仮説を真にするのです。
- 202 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 23:06:26.41 ]
- >>191
いやいやそれだけじゃ駄目だろ。
選択公理がないと。
- 203 名前：１３２人目の素数さん mailto:sage [2012/08/04(土) 23:52:23.71 ]
- 「ZFCの最小モデルL(R)」って、こいつ本当に分かって書いてるのか？
- 204 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 00:20:13.27 ]
- とりあえずおめガ論理について具体的に
- 205 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 00:29:37.91 ]
- >>203
どうせまたSTSさんだろ
- 206 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 01:22:26.28 ]
- 要するに、連続体仮設が偽だという話も、連続体仮設が真だという話も、
どっちも話半分に聞いてろってことだね。
- 207 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 02:12:17.25 ]
- 話半分じゃ数学じゃないよ。
- 208 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 02:29:20.17 ]
- 「こういう公理の方が自然だ」「いやそれは不自然でこっちの方が」って議論が数学じゃないのは当然だろ！何をいまさらｗ
- 209 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 04:23:57.64 ]
- 809：[名無し]さん(bin+cue).rar：2010/03/08(月) 12:56:38 ID:UyQPfNPT0
ちょっと頭はいいけれど、リアルじゃ誰も自分の知識ひけらかす相手がいないから
こんなところで論破論破騒いでるんだろう
揚げ足とって言いたいことだけ言って満足してるみたいだし
特に害もないんだからNGにでも放り込んどけ
相手するだけお互い時間の無駄
こういうタイプの上手な扱い方は、わざと突っ込みどころ・自分のわからないところを
わかった風な文含ませると、必ず我慢できずに勝手に解説しだすから
怒らせて知識を頂くこと
自作板とかじゃ必須テクだが
- 210 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 06:51:26.62 ]
- このΩ-論理って、
証明可能の定義にAD+が真であるという条件が入ってんだから
連続体仮説が偽になるのは当たり前。
つまり連続体仮説が偽なときに証明可能という定義になってるんだよね。
ところでL(A,R)って何ですか。
- 211 名前：１３２人目の素数さん [2012/08/05(日) 07:06:09.42 ]
- Ω-論理の完全性は未だ示されてい居ないんですよ
- 212 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 08:03:09.33 ]
- >>208
つまり集合論は数学じゃないというわけですね、分かります。
- 213 名前：１３２人目の素数さん [2012/08/05(日) 08:05:37.61 ]
- 多分>>208は普遍ベールさえ理解できないんだと思うよ
- 214 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 08:29:53.18 ]
- 以下、普遍ベールを理解されている213さんに、普遍ベールとは何か解説を賜ります。
- 215 名前：１３２人目の素数さん [2012/08/05(日) 08:31:47.62 ]
- (^o^)……ω
- 216 名前：１３２人目の素数さん [2012/08/05(日) 09:13:30.45 ]
- 定義を確認すれば明らかだろう
集合論のすべてのベール空間を連続関数で引寄せる究極のリアルサブセット
- 217 名前：１３２人目の素数さん [2012/08/05(日) 09:47:54.61 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 218 名前：１３２人目の素数さん [2012/08/05(日) 10:17:31.19 ]
- 何で誰も「加算」濃度の間違いを指摘しないの？
わかっててニヤニヤしてるのですね。
- 219 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 10:51:57.87 ]
- 「引寄せる究極のリアルサブセット」とか中二乙
- 220 名前：１３２人目の素数さん [2012/08/05(日) 11:00:05.46 ]
- すべての位相空間からのすべての連続関数の値域となるし、
実数の積の部分集合なんだから間違ってはいない。
- 221 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 11:37:34.03 ]
- Baireの性質を持つRの部分集合（開集合との対称差がmeagerな集合）じゃなくて
「Baire空間」で良いんですか？
普通コンパクトハウスドルフという条件が書いてあることが多い気がするんですけど
これは落としても同値なんですか？
良く分からないので教えて下さい
- 222 名前：１３２人目の素数さん [2012/08/05(日) 12:27:02.31 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 223 名前：１３２人目の素数さん [2012/08/05(日) 15:52:26.51 ]
- 任意の位相空間から実数への任意の連続関数を考えたとき、
ある実数の部分集合をとって、
その任意の連続関数の逆像がベールの性質を満たせば
普遍ベール集合なのではないだろうか。
- 224 名前：１３２人目の素数さん [2012/08/05(日) 16:45:55.00 ]
- 実数の部分集合って何だろう？
例えば -1/2 の「部分集合」にはどんな位相が入るのかな
- 225 名前：１３２人目の素数さん [2012/08/05(日) 17:00:37.28 ]
- f:X→R^N
で
A⊆R^N
について
f^(-1)(A)
がXで稠密ってことでは？
（ここでfとXは任意にとれる）
- 226 名前：１３２人目の素数さん [2012/08/05(日) 17:22:09.69 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 227 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 17:29:41.59 ]
- 数学的定義が分かればその概念を理解したと思えるなんて流石ド素人だな
問題は、どうして普遍ベールをL(R)に突っ込むと究極に正しいモデルになる（とウッディンが考えた）のか、ということだろ？
- 228 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 17:36:54.46 ]
- というかそもそも何でベール集合とシンタックスが同一視出来るのか分からない
記述集合論の理解が必要そうなことと
generic拡大を単に技巧的なものではなく
「自然な」ものと考えないといけなさそうなことは分かるけど
- 229 名前：１３２人目の素数さん [2012/08/05(日) 17:58:48.78 ]
- そもそもL(A,R)とは？
どこにも定義が出てない
- 230 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 18:41:01.74 ]
- 「集合論は論理学じゃない」と言ってた人達は、
Ω論理が集合論の最も重要なトピックの一つで
その完全性が集合論の最も重要な問題の一つであることについて、
どういう言い訳をするのか聞いてみたい。
- 231 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 19:04:58.30 ]
- いやあれは論理学じゃなくて集合論でしょｊｋ
- 232 名前：１３２人目の素数さん [2012/08/05(日) 19:13:36.51 ]
- Ω-論理はWoodin界隈の人間だけしかやっていないし
決定性公理のサブカテゴリーなのではないだろうか。
現在集合論の最重要トピックスは例の5つのエレメントの存在ですね！
ところでL(R)はZFCじゃなくてZFの最小モデルですね。
重要なのは数学では実数も扱うってことで、
順序数クラス＋実数の集合が必要ですね
頻出するP(ω)は実数だと考えてもらえばよいのです。
- 233 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 19:20:42.30 ]
- ＞ところでL(R)はZFCじゃなくてZFの最小モデルですね。
こいつもうダメだ…
- 234 名前：１３２人目の素数さん [2012/08/05(日) 19:28:36.20 ]
- R上のルベーグ可積分関数全体かな
- 235 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 19:30:28.19 ]
- 論理学や集合論は何故トンデモに目をつけられやすいのか
- 236 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 19:36:49.47 ]
- >>231
>>232
興味深い「言い訳」をどうもです！
- 237 名前：１３２人目の素数さん [2012/08/05(日) 19:53:28.53 ]
- >>233
もちろんP(ω)∪ONを含むって条件が入ってるが。
- 238 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 19:56:29.60 ]
- >>232
Woodin界隈は集合論のメインストリームではないってことですか？
- 239 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 20:12:39.54 ]
- >>232,>>237
それはスタート地点のP(ω)とONは、
「究極のモデル」も共有するのが「自然」という前提に基づいているわけですね。
ではどうしてそれが「自然」なんでしょうか？
そもそもスタート地点にはどんな前提をおいているのですか？
- 240 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 20:41:50.37 ]
- >>232
>重要なのは数学では実数も扱うってことで、
>順序数クラス＋実数の集合が必要ですね
数学では関数も扱うってことで、関数の集合が必要にならないのはなぜ？？
あと順序数は数学で扱わないと思うんだけど？？
- 241 名前：１３２人目の素数さん [2012/08/05(日) 21:21:34.70 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 242 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 21:35:09.65 ]
- なんだか、「これは自然だからこうして」とか、
「それは自然といいながら、これをしないのはおかしい」とか、水掛け論だよね。
そういう水掛け論を無視してエイヤー！ってやれば
連続体仮説は偽だとか真だとか技術的には結論は出るんだろうけど、だからってなー。
- 243 名前：１３２人目の素数さん [2012/08/05(日) 22:21:56.90 ]
- ジェネリック・マルチユニバースという
ジェネリック拡大で閉じたユニバース全体のクラスが存在していて
ある文がtrueになることと、マルチユニバースの全ユニバースでその文がtrueになることが
同値になることをジェネリック・マルチユニバース・ポジションと呼ぶ。
これはΩ-論理の完全性定理が成り立つ必要がある。
- 244 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 22:29:48.91 ]
- ウッディンはそうやって連続体仮設は正しいって言ってるのに対して
シェラハは偽だと主張しているの？
- 245 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 22:49:00.41 ]
- >>244
Shelah は確か ZFC で決まらないことに対しては中立的だったと思う。
「水掛け論」が嫌いなんだろうな。
- 246 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 23:00:25.68 ]
- ということは
「大部分の集合論者の間では連続体仮設は偽という共通認識がある」と言っても、
ウッディンもシェラハも入らない「大部分」なの？
- 247 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 23:29:04.42 ]
- 決定不能命題を真とか偽とか言い切る立場自体が大多数とは思えない
- 248 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 23:38:12.31 ]
- >>242
だから話半分に聞いとけと。
- 249 名前：１３２人目の素数さん mailto:sage [2012/08/05(日) 23:56:36.84 ]
- >>247
「大部分の集合論者の間では連続体仮設は偽の方が自然という共通認識がある」だったら？
- 250 名前：１３２人目の素数さん mailto:sage [2012/08/06(月) 00:01:42.84 ]
- 最前線の研究者の信念→深化→形式化
数学の歴史は、この繰り返しでは？
- 251 名前：１３２人目の素数さん mailto:sage [2012/08/06(月) 00:12:34.62 ]
- どんな話でも「○○学者の大半は…」とか「△△論者の大多数は…」とか言い出した途端胡散臭くなる。
そういうのは、言ってる当人の周りでは、くらいの意味しかないことに気づくべき。
- 252 名前：１３２人目の素数さん mailto:sage [2012/08/06(月) 02:22:21.71 ]
- 別に連続体仮説（その否定ではなくて）は正しいんじゃないか、とか
連続体仮説は公理として認めても良いんじゃないか、
とかそういう立場の集合論研究者も普通に居るけどね
Mycielski（決定性公理を考えた人）とかはそうだし
Foremanか誰かもそうだと聞いたような
CohenもShelahと似た感じのスタンスだったと思う。
GodelがCHからの奇妙な帰結と呼んだものが
どうして奇妙だと思ったのか分からないという研究者もたくさんいるし、
「大部分の集合論者の間では」と書いたらすごい言い過ぎになると思う。
大部分の研究者はGodelやWoodinが連続体仮設は偽の方が
自然だと主張していたことを知っておりそれなりに尊重している、くらいなら正しいんだと思うけど。
- 253 名前：１３２人目の素数さん mailto:sage [2012/08/06(月) 07:28:35.26 ]
- 詳細な情報サンクス。
「現在では連続体仮説は偽とする方が自然と考えられている」
なんてのは自称専門家の戯言だったのですね。
- 254 名前：１３２人目の素数さん mailto:sage [2012/08/06(月) 07:59:44.45 ]
- >>253
そう思うなら証明して
- 255 名前：描もマルチ ◆ghclfYsc82 mailto:age [2012/08/06(月) 13:58:57.41 ]
- 描
- 256 名前：１３２人目の素数さん [2012/08/06(月) 19:30:12.15 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 257 名前：１３２人目の素数さん [2012/08/06(月) 20:24:17.71 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 258 名前：１３２人目の素数さん mailto:sage [2012/08/06(月) 21:50:01.26 ]
- 連続体仮説は真でも偽でもどちらでも面白い宇宙になりそうな気がするけど。
- 259 名前：浩二ート ◆ghclfYsc82 mailto:sage [2012/08/07(火) 07:04:37.30 ]
- マジレスすると連続体仮説の電波はそれほど面白くない
計算論の電波のほうがずっと奥が深い
- 260 名前：１３２人目の素数さん mailto:sage [2012/08/07(火) 07:46:33.80 ]
- >>259
電波の面白さについて一つ確実にいえることがあるとすれば、
おまえの電波っぷりは全く面白くないということだ。
- 261 名前：１３２人目の素数さん mailto:sage [2012/08/07(火) 08:40:12.74 ]
- それは数学的に面白くないのか電波的に面白くないのか後学のために
教えてください
- 262 名前：描は馬鹿見物 ◆ghclfYsc82 mailto:age [2012/08/07(火) 12:01:37.33 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 263 名前：１３２人目の素数さん [2012/08/07(火) 19:02:53.16 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 264 名前：１３２人目の素数さん [2012/08/07(火) 21:26:50.77 ]
- 普遍ベール集合って何かって言うと
ユニークに証明を読み取るための道具
例えばペアノ算術でのゲーデルコーディングされた素数だとか
実数上のボレル集合のボレルコードとか。
証明の木に普遍ベールへの連続関数のドメインの稠密性が必要と考えて。
- 265 名前：描は猫ですかね？ ◆ghclfYsc82 mailto:age [2012/08/07(火) 21:35:12.36 ]
- 描
>14 名前：１３２人目の素数さん ：2012/08/07(火) 17:39:00.96
> >>13
> 旧コテ猫あらため描つまりお前自身の事だろ、増田哲也に限り無く近い人間｡
> 筑波大学で痴漢と言えば増田哲也だから連続性も明らかになってるから
> わざわざ限り無く近い人間なんて呼び方しなくていいんだけどな
>
- 266 名前：１３２人目の素数さん mailto:sage [2012/08/07(火) 22:54:28.98 ]
- 理系の国語、英語、政治、経済、漢文と古文記盆ぬ
- 267 名前：描はバカ乙〜 ◆ghclfYsc82 mailto:age [2012/08/07(火) 22:56:56.42 ]
- 描
>14 名前：１３２人目の素数さん ：2012/08/07(火) 17:39:00.96
> >>13
> 旧コテ猫あらため描つまりお前自身の事だろ、増田哲也に限り無く近い人間｡
> 筑波大学で痴漢と言えば増田哲也だから連続性も明らかになってるから
> わざわざ限り無く近い人間なんて呼び方しなくていいんだけどな
>
- 268 名前：１３２人目の素数さん [2012/08/07(火) 23:18:51.46 ]
- もはや日本は滅びの道へ進んでいる。
- 269 名前：描はバカ乙〜 ◆ghclfYsc82 mailto:age [2012/08/07(火) 23:20:55.90 ]
- もはや虚偽院生は滅びの道を歩み終わった。
描
- 270 名前：１３２人目の素数さん mailto:sage [2012/08/07(火) 23:40:11.29 ]
- >>268
韓国は滅びようがない、栄えていないから
- 271 名前：１３２人目の素数さん [2012/08/07(火) 23:53:23.60 ]
- >>270
こういう低脳はネットで吠えて
韓国に嫉妬するだけ。
- 272 名前：１３２人目の素数さん mailto:sage [2012/08/07(火) 23:54:39.07 ]
- >>271
あんにょんはせよ、半朴
- 273 名前：１３２人目の素数さん mailto:sage [2012/08/07(火) 23:57:47.07 ]
- >>271
あんたニートの上に朝鮮人だったのか
可哀想に……せめて糞論を叩いて心の慰めにするといい
- 274 名前：描∈ブサメン ◆ghclfYsc82 mailto:age [2012/08/07(火) 23:58:40.12 ]
- >>270
虚偽院生は潰れようがない、既に潰れてるから。
ケケケ描
- 275 名前：１３２人目の素数さん [2012/08/08(水) 00:18:20.01 ]
- >>273
毛毛毛。
口先だけの日本。怖くは無い。
- 276 名前：baka描 ◆ghclfYsc82 mailto:age [2012/08/08(水) 00:21:15.79 ]
- 描
>14 名前：１３２人目の素数さん ：2012/08/07(火) 17:39:00.96
> >>13
> 旧コテ猫あらため描つまりお前自身の事だろ、増田哲也に限り無く近い人間｡
> 筑波大学で痴漢と言えば増田哲也だから連続性も明らかになってるから
> わざわざ限り無く近い人間なんて呼び方しなくていいんだけどな
>
- 277 名前：１３２人目の素数さん mailto:sage [2012/08/08(水) 00:44:49.41 ]
- >>275
楽しく、ファビヨーン
- 278 名前：baka描 ◆ghclfYsc82 mailto:age [2012/08/08(水) 00:49:03.44 ]
- 描
>14 名前：１３２人目の素数さん ：2012/08/07(火) 17:39:00.96
> >>13
> 旧コテ猫あらため描つまりお前自身の事だろ、増田哲也に限り無く近い人間｡
> 筑波大学で痴漢と言えば増田哲也だから連続性も明らかになってるから
> わざわざ限り無く近い人間なんて呼び方しなくていいんだけどな
>
- 279 名前：１３２人目の素数さん mailto:sage [2012/08/09(木) 18:56:28.79 ]
- 未解決問題の独立性を証明したら解決したことになりますか？
それでも懸賞金は貰えますか？
- 280 名前：１３２人目の素数さん mailto:sage [2012/08/09(木) 19:52:08.22 ]
- 普通の未解決問題には賞金なんてかかってないけど。
仮にかかってたとしてもバイトした方が効率良いが。
- 281 名前：１３２人目の素数さん mailto:sage [2012/08/10(金) 02:28:24.66 ]
- ヒルベルトの第一問題は独立性証明で解決済みとみなされているように
通常の数学の問題は独立だと分かったら解決したとされるだろう。
懸賞金の話はクレイ研究所のミレニアム懸賞問題のことだと思うが
肯定でも否定でも賞金が貰えるP≠NP問題なんかは独立でも貰えるんじゃないかと思う。
否定の場合に条件が付くやつは、独立でも同様ではないかな。
しかしZFCから独立というだけでいいのかどうかは分からない。
代数幾何の問題だとZFC＋グロタンディーク宇宙の公理から独立でないといけないかも。
- 282 名前：１３２人目の素数さん mailto:sage [2012/08/10(金) 08:13:17.09 ]
- カレーは飲み物
Kunenは問題集
- 283 名前：１３２人目の素数さん [2012/08/10(金) 08:29:54.57 ]
- 圏論が必要な数学なら、
当然プロパークラスを考える必要があるので、
ZFCにグロタンディーク宇宙の存在を添加するか、
NBG集合論からの独立性を示す必要があるかもしれない。
しかし圏論を使った証明がそれを使わずに証明できる可能性もあるので、
最終的に何から独立かは明確にならないと思う。
- 284 名前：baka描 ◆ghclfYsc82 mailto:age [2012/08/10(金) 08:30:49.77 ]
- 描
>14 名前：１３２人目の素数さん ：2012/08/07(火) 17:39:00.96
> >>13
> 旧コテ猫あらため描つまりお前自身の事だろ、増田哲也に限り無く近い人間｡
> 筑波大学で痴漢と言えば増田哲也だから連続性も明らかになってるから
> わざわざ限り無く近い人間なんて呼び方しなくていいんだけどな
>
- 285 名前：１３２人目の素数さん [2012/08/10(金) 08:31:41.49 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
|
 |
