- 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/
- 116 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 20:10:27.62 ]
- ω無矛盾とすればいいんじゃなかったっけ
記憶違いだったらスマン
- 117 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 20:23:12.04 ]
- >>116
サンクス
- 118 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/24(火) 20:30:51.89 ]
- 描
>367 ：匿名希望：2012/07/23(月) 17:23:38.69
> >>365
> 頭悪いのはお前の方だろ？
> 「猫」という字を「描」に間違えやがってｗｗｗ
> 小学生並みの頭の悪さだぞ、お前！
> 焼かれるのはお前の方だろ？
> 外国では猫の丸焼きというゲテモノ料理もあるらしいぜｗｗｗ
>
- 119 名前：１３２人目の素数さん [2012/07/24(火) 22:40:30.35 ]
- Ｔが健全→Ｔがω無矛盾→ＴのΣ1文が健全→Ｔが無矛盾
- 120 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/24(火) 22:41:03.11 ]
- 描
>367 ：匿名希望：2012/07/23(月) 17:23:38.69
> >>365
> 頭悪いのはお前の方だろ？
> 「猫」という字を「描」に間違えやがってｗｗｗ
> 小学生並みの頭の悪さだぞ、お前！
> 焼かれるのはお前の方だろ？
> 外国では猫の丸焼きというゲテモノ料理もあるらしいぜｗｗｗ
>
- 121 名前：１３２人目の素数さん [2012/07/24(火) 22:59:26.80 ]
- 猫
- 122 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/24(火) 23:00:03.80 ]
- 描
- 123 名前：１３２人目の素数さん [2012/07/25(水) 08:15:48.78 ]
- >>110>>115
Ｔの健全性を仮定すると、
not( T|-¬Con(T) ) となるんですよね？
つまり
not( N|=¬Con(T) ) となるんでしょうが
どう証明しますか？
- 124 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/25(水) 09:52:17.12 ]
- 描
>367 ：匿名希望：2012/07/23(月) 17:23:38.69
> >>365
> 頭悪いのはお前の方だろ？
> 「猫」という字を「描」に間違えやがってｗｗｗ
> 小学生並みの頭の悪さだぞ、お前！
> 焼かれるのはお前の方だろ？
> 外国では猫の丸焼きというゲテモノ料理もあるらしいぜｗｗｗ
>
- 125 名前：STS446 [2012/07/25(水) 23:04:53.60 ]
- 実際レシュタニフスキのメレオロジーやブラウンの形式の法則が
風変りな記法を用いただけの普通の形式体系だって批判があるんだけど
当時の論理学界では例えばフレーゲの概念記法なんかも
パースの存在グラフなんかと同じでかなりトリッキーな記法なんですよね。
あのラッセル・ホワイトヘッドのプリンキピア・マティマテカでさえも
文字化け文みたいなファナティックな記述を使ってる。
やけに論理学黎明期の奴らってのは神秘的記述がすきなんだよねｗ
- 126 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/25(水) 23:39:54.21 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 127 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 05:45:58.23 ]
- 条件法の定義は間違っている
www.amazon.com/gp/cdp/member-reviews/A20USC0GO7RYRK/ref=cm_cr_pr_auth_rev?ie=UTF8&sort_by=MostRecentReview
- 128 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 20:17:47.12 ]
- >>107, >>113
既存の定理を証明を理解しないで使うってことだと思うけど
実際に研究をしていると既存の定理がそのまま使えることは稀で
多くの場合はちょっとした変更が必要になる。
（「本質的に同じ証明で示せる」とかいうことになる。）
だから元の証明を知らないと話にならない。
- 129 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 23:00:31.51 ]
- >>102
"真"の概念がうまく定義できないので代わりに"証明可能"という概念を使って
証明されたのが不完全性定理のはずですが矛盾した論理式を証明可能なことが
証明できてしまうと"証明可能"の地位が揺らいでしまったりしないんでしょうか
- 130 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 23:40:51.84 ]
- そうならないようにwell-definedにしたわけなので。
- 131 名前：１３２人目の素数さん [2012/07/27(金) 00:47:05.00 ]
- その後JechやWoodinらによって
モデル側の議論だけで
ZFCの第二不完全性定理が証明されたよ。
補題としてIΣ_1やPAやRCA_0にも適用される。
- 132 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 01:30:36.86 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 133 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 01:43:45.86 ]
- >>131
そりゃ面白い、参考文献よろ
- 134 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 01:46:28.99 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 135 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 03:46:00.13 ]
- >>113, >>128
107だが、>>107でも書いたように
俺自身はブラックボックスにすることがいいとは思っていない。
批判があればくるるさんに直接言ってくれ。
>>128
大概の場合はそうだが、例外もある。フォーシングなんかはそういう例外の例。
論理学的な部分はブラックボックスにしたまま独立性証明が出来てしまう。
これまでの数多の応用例で「ちょっとした変更」が必要になるのは
俺の知る限りクラスフォーシングくらいのもの。
いいか悪いかは別として、それでも集合論の研究が出来てしまうのが現実。
一応断っておくが、俺は>>88が間違っていると言いたいわけじゃない。
実際>>88は「そういう見方もできる」って意味で正しい。
ただそういう見方をして研究している人は現代集合論ではいない（いても少数派）ってこと。
- 136 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 07:08:28.35 ]
- 描
>462 名前：１３２人目の素数さん ：2012/07/26(木) 23:54:17.40
> >>461
> 専門学校生が
> 「あらやだイケメンに触られて気持ちいい」
> って思ってたら通報されなかっただろうに
> 気持ち悪いおじさんになるために努力を積み重ねてきた結果
> 「キモ顔のおじさんが、気持ち悪く触ってきて超キモい」
> って思わせることに成功し逮捕されたんだよね
> 努力を実らせた立派な人だと思う
>
>
> 努力して痴漢で逮捕される夢を叶えた描者さんはただ者じゃないと思います
> すばらしい
>
- 137 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 07:43:03.23 ]
- >>107
>そのスローガンが分かりやすいのは認めるが、
>>135
>実際>>88は「そういう見方もできる」って意味で正しい。
正しくて分かりやすいスローガンをどうしてそう必死になって否定する？
- 138 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 08:52:20.18 ]
- 描
>462 名前：１３２人目の素数さん ：2012/07/26(木) 23:54:17.40
> >>461
> 専門学校生が
> 「あらやだイケメンに触られて気持ちいい」
> って思ってたら通報されなかっただろうに
> 気持ち悪いおじさんになるために努力を積み重ねてきた結果
> 「キモ顔のおじさんが、気持ち悪く触ってきて超キモい」
> って思わせることに成功し逮捕されたんだよね
> 努力を実らせた立派な人だと思う
>
>
> 努力して痴漢で逮捕される夢を叶えた描者さんはただ者じゃないと思います
> すばらしい
>
- 139 名前：１３２人目の素数さん [2012/07/27(金) 10:04:33.27 ]
- >>133
arxiv.org/pdf/math/9204207.pdf
andrescaicedo.files.wordpress.com/2010/11/2ndincompleteness1.pdf
- 140 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/27(金) 15:16:45.33 ]
- 四値論理は生物の論理
AIOOYA ＝ 真
AIOOYA AMIEE ＝ 宇宙外において真
AIOOYAU ＝ 地球の言語に翻訳不能
AIOOYEEDOO ＝ 偽
個別生物としての真偽／生態系全体としての真偽
真／真 → 真
真／偽 → 生態系外で真
偽／真 → ？
偽／偽 → 偽
- 141 名前：真描vs偽描 ◆ghclfYsc82 mailto:age [2012/07/27(金) 15:33:49.41 ]
- 描
>462 名前：１３２人目の素数さん ：2012/07/26(木) 23:54:17.40
> >>461
> 専門学校生が
> 「あらやだイケメンに触られて気持ちいい」
> って思ってたら通報されなかっただろうに
> 気持ち悪いおじさんになるために努力を積み重ねてきた結果
> 「キモ顔のおじさんが、気持ち悪く触ってきて超キモい」
> って思わせることに成功し逮捕されたんだよね
> 努力を実らせた立派な人だと思う
>
>
> 努力して痴漢で逮捕される夢を叶えた描者さんはただ者じゃないと思います
> すばらしい
>
- 142 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/27(金) 17:03:08.94 ]
- 命題の存在意義／論理の全体性
1. 真から真を導く命題は真
2. 真から偽を導く命題は偽
3. 偽から真を導く命題は真
4. 偽から偽を導く命題は真
a. 論理の中においても外においても真
b. 論理の中では真だが論理の外では偽
c. 論理の中では偽だが論理の外では真
d. 論理の中においても外においても偽
問） 1.?4. と a.?d.を対応づけよ。ただし対応づけない場合は対応づけなくてもよい。
- 143 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 17:04:21.38 ]
- 問） 1.〜4. と a.〜d.を対応づけよ。ただし対応づけない場合は対応づけなくてもよい。
- 144 名前：真描vs偽描 ◆ghclfYsc82 mailto:age [2012/07/27(金) 17:15:12.29 ]
- 描
量子力学は四値論理
- 145 名前：真描vs偽描 ◆ghclfYsc82 mailto:age [2012/07/27(金) 18:05:57.99 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 146 名前：１３２人目の素数さん [2012/07/28(土) 19:49:53.45 ]
- 正直
>>139
の証明も数理論理学やゲーデルコーディングの操作を
ブラックボックス化しているので
実質完ぺきな証明とは程遠いのだよな。
- 147 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/28(土) 19:54:16.09 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 148 名前：１３２人目の素数さん mailto:sage [2012/07/28(土) 20:38:58.22 ]
- 中身を理解している人同士がブラックボックスをやりとりするのは問題ない。
- 149 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/28(土) 21:41:13.60 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 150 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/28(土) 22:08:26.99 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 151 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/28(土) 22:14:01.50 ]
-
>超ひも理論は物質の究極の構成要素を点ではなくひもだとするわけですが、
>よく言われるのは「実験対象とナイフの厚みが同じになってしまうので金輪際
>実験なんてできない」というものです。
>
>連続体仮説の解決にこの発想が使えないものでしょうかね。すなわち抽象的な
>理想の座標軸の中に対象物が存在するのではなく、その座標軸そのものも同じ
>「素粒子」で構成されている、という発想をしてみるわけです。集合等の概念を
>構成する「素粒子」のようなものがもし上手く定義できれば、と想像してみるわけ
>です。
- 152 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/28(土) 22:19:29.28 ]
- >なるほど、「実数素粒子物理」のようなものですか
- 153 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/28(土) 22:21:30.03 ]
- 描
- 154 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/28(土) 22:42:05.92 ]
- >論理が他に作用する場合と自己に作用する場合とを区別すればいいんじゃね？
- 155 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/28(土) 22:57:25.47 ]
- 描
- 156 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 00:20:59.73 ]
- ¬(T |- Con(T)) となる条件をロッサーが頑張ってω無矛盾から無矛盾に弱めたのに
肝心の ¬(T |- ¬Con(T)) とするために結局ω無矛盾が必要ってことか
- 157 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/29(日) 01:03:28.96 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 158 名前：１３２人目の素数さん [2012/07/29(日) 06:04:32.95 ]
- つまり無矛盾なだけじゃ
自己の無矛盾性は独立命題じゃない。
それに自己の無矛盾性よりも強い主張ならば
（ロッサーの第一不完全性定理に使われる可証性述語）、
自己の無矛盾性が証明できてしまう。
- 159 名前：虐待死の描者 ◆ghclfYsc82 mailto:age [2012/07/29(日) 06:32:51.50 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 160 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 15:45:04.74 ]
- >>158
自己とはどんなモデルを指して言っていますか
- 161 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 19:11:28.06 ]
- 到達不可能数ε_0 までの超限帰納法を認めれば Con(PA) が証明できる。
- 162 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 19:15:16.63 ]
- >>87>>91
ロッサーがゲーデル命題の代わりに用いた命題は「この命題の否定は証明を
持たない」という日本語で合ってますか？
- 163 名前：１３２人目の素数さん [2012/07/29(日) 22:09:51.04 ]
- そしてPAはε_0 までの帰納法は証明不可能。
- 164 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 22:49:16.52 ]
- 最小のε数を「到達不可能数」と呼んでるのをよく見かけるが初出はどこ？
- 165 名前：高卒描は数学者に非ず ◆ghclfYsc82 mailto:age [2012/07/29(日) 23:04:53.00 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 166 名前：１３２人目の素数さん [2012/07/29(日) 23:16:52.51 ]
- >>162
「正しくない文は正しい文から証明される。」
- 167 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 23:20:14.37 ]
- 嘘つけ
- 168 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/29(日) 23:21:08.69 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 169 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 23:50:29.54 ]
- >>163
「そして」というか、>>161と第二不完全性からの帰結だよね？
- 170 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/29(日) 23:58:02.45 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 171 名前：１３２人目の素数さん mailto:sage [2012/07/30(月) 06:57:18.56 ]
- >>164
初出かどうかは知らんが、灯台か兄弟の哲学の院生が、
・ZF の無矛盾性を導く到達不可能基数の存在
・PA の無矛盾性を導くε_0 までの帰納法
を混同してそう呼んでた。紀要か何かの論文集だった。
- 172 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/30(月) 10:45:15.94 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 173 名前：１３２人目の素数さん [2012/07/30(月) 13:16:25.58 ]
- いずれにしろΩ-論理では自己の無矛盾性が証明できる。
ZFC|-Con(ZFC)
- 174 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/30(月) 13:38:12.63 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 175 名前：１３２人目の素数さん mailto:sage [2012/07/31(火) 09:12:32.44 ]
- >>173
Ω-論理って何ですか？
- 176 名前：描は無能 ◆ghclfYsc82 mailto:age [2012/07/31(火) 10:20:39.44 ]
- ソレは絶対にお断りや。こんな有害無益な馬鹿板なんてワシが最後まで
徹底的に焼き払ったるヨ。そやし思いっきり苦しんで耐え忍べや。まあ
『アンタ等は自業自得』っちゅう事やろうナ。執拗な妨害行為が今後も
何年にも亘って延々と続くんを覚悟をスルっちゅう事やろうナ。
ワシはやナ、オマエ等みたいなド馬鹿に謝って欲しいんでも反省して欲
しいんでも何でもナイのや。唯単に崩壊して消えて欲しいだけなんだヨ。
そやからこうやって徹底抗戦をしてや、アンタ等みたいな馬鹿を傷め付
けてるだけなんやワ。そやし早よ諦めろや。
因みにもし「優秀な人の足を引っ張っても良い」のであれば：
★★★『馬鹿の足を思いっきり引っ張っても、ソレは当然の事ながら許される。』★★★
という事にナリマスわナ。
描
>664 名前：１３２人目の素数さん ：2012/07/30(月) 22:05:57.48
> 猫頼むから消えてくれ
>
- 177 名前：１３２人目の素数さん [2012/07/31(火) 16:17:47.43 ]
- >>175
公理的集合論のセマンティック側の推論を利用して
ZFCの内部で展開される新しい論理、ここでは連続体仮設は偽となる。
一階述語論理よりもっと本格的に構成された論理という感じですね。
- 178 名前：描は無能 ◆ghclfYsc82 mailto:age [2012/07/31(火) 16:23:05.01 ]
- ソレは絶対にお断りや。こんな有害無益な馬鹿板なんてワシが最後まで
徹底的に焼き払ったるヨ。そやし思いっきり苦しんで耐え忍べや。まあ
『アンタ等は自業自得』っちゅう事やろうナ。執拗な妨害行為が今後も
何年にも亘って延々と続くんを覚悟をスルっちゅう事やろうナ。
ワシはやナ、オマエ等みたいなド馬鹿に謝って欲しいんでも反省して欲
しいんでも何でもナイのや。唯単に崩壊して消えて欲しいだけなんだヨ。
そやからこうやって徹底抗戦をしてや、アンタ等みたいな馬鹿を傷め付
けてるだけなんやワ。そやし早よ諦めろや。
因みにもし「優秀な人の足を引っ張っても良い」のであれば：
★★★『馬鹿の足を思いっきり引っ張っても、ソレは当然の事ながら許される。』★★★
という事にナリマスわナ。
描
>664 名前：１３２人目の素数さん ：2012/07/30(月) 22:05:57.48
> 猫頼むから消えてくれ
>
- 179 名前：１３２人目の素数さん mailto:sage [2012/07/31(火) 17:13:50.20 ]
- >>177
加算濃度と連続体濃度の間にどんな濃度がありますか？
- 180 名前：描は無能 ◆ghclfYsc82 mailto:age [2012/07/31(火) 17:16:03.29 ]
- ソレは絶対にお断りや。こんな有害無益な馬鹿板なんてワシが最後まで
徹底的に焼き払ったるヨ。そやし思いっきり苦しんで耐え忍べや。まあ
『アンタ等は自業自得』っちゅう事やろうナ。執拗な妨害行為が今後も
何年にも亘って延々と続くんを覚悟をスルっちゅう事やろうナ。
ワシはやナ、オマエ等みたいなド馬鹿に謝って欲しいんでも反省して欲
しいんでも何でもナイのや。唯単に崩壊して消えて欲しいだけなんだヨ。
そやからこうやって徹底抗戦をしてや、アンタ等みたいな馬鹿を傷め付
けてるだけなんやワ。そやし早よ諦めろや。
因みにもし「優秀な人の足を引っ張っても良い」のであれば：
★★★『馬鹿の足を思いっきり引っ張っても、ソレは当然の事ながら許される。』★★★
という事にナリマスわナ。
描
>664 名前：１３２人目の素数さん ：2012/07/30(月) 22:05:57.48
> 猫頼むから消えてくれ
>
- 181 名前：１３２人目の素数さん [2012/07/31(火) 21:53:37.41 ]
- >>179
今では様々な理由から
2^(アレフ0)＝2^(アレフ1)
のほうが自然な解釈だと考えられている。
これは特にマギドアが主張している。
特殊な条件を加えたWoodin基数を仮定すれば
Σ^0_4（？だったと思う）の文までで連続体仮説が偽になるという結果も知られている。
- 182 名前：１３２人目の素数さん mailto:sage [2012/07/31(火) 23:09:42.24 ]
- 聞かれたことに答えず自分の知っていることを喋りたがる香具師…
- 183 名前：１３２人目の素数さん [2012/08/01(水) 10:23:22.96 ]
- 加算濃度と連続体濃度の間には連続体濃度個の濃度がある。
- 184 名前：STS446 [2012/08/01(水) 16:09:09.17 ]
- んで先日都内某所の大型書店の洋書コーナーに立ち寄ったわけ、
するとまあラッセル＝ホワイトヘッドのプリンキピア・マセマティカが
平積みされていて、いつの時代だよ（爆）と。
それでこの本がなかなか煩雑な記述の仕方で
はじめはプログラミング言語か何かだと思ったくらいだね、
数学書でこういった体裁は珍しくて
通常は定義・定理・証明ときどき系と補題って感じなんだけど、
（お、このスレではノートやクライテリオンやアウトプットなんかも入るかな？）
一変、この本はAからZまで論理哲学論考的体裁。
さすが1＋1の証明に60ページを費やした本だね。
んでまぁ一階述語論理の拡張のアイデアとして
量化演算子を加えた様相論理、数学的に拡張されたΩ-論理、
推論規則を削った部分構造論理、
形式体系の真実を明らかにしたオントロジー、なんといっても今はこれだね！
- 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 ]
- 定義を確認すれば明らかだろう
集合論のすべてのベール空間を連続関数で引寄せる究極のリアルサブセット
|
 |
