- 1 名前：１３２人目の素数さん mailto:sage [03/01/20 16:53]
- ちょと見ない間に前スレ消えちゃったので新スレ立てます。
基礎論なぜなにスレッド
cheese.2ch.net/math/kako/970/970523340.html
基礎論なぜなにスレッド その{φ,{φ}}
science.2ch.net/test/read.cgi/math/1014140987/l50(dat落ち)
数理論理学 基礎
science.2ch.net/test/read.cgi/math/1035210795/l50
フォン・ノイマンVSアラン・チューリング
science.2ch.net/test/read.cgi/math/1009039204/l50
- 839 名前：１３２人目の素数さん mailto:sage [03/12/14 21:16]
- >>837
「竹内外史＋山口人生」師弟全集刊行予定 ---- 限定販売につき、申し込みは早めに！！！
- 840 名前：１３２人目の素数さん mailto:sage [03/12/14 23:34]
- >>839
もうﾔﾏｼﾞﾝネタはやめてぇ〜
- 841 名前：１３２人目の素数さん mailto:sage [03/12/15 22:33]
- ﾔﾏｼﾞﾝネタ、おもろいので続けてぇ〜
- 842 名前：１３２人目の素数さん mailto:sage [03/12/16 09:21]
- >>841
いい加減空気読んでくれない？
- 843 名前：１３２人目の素数さん mailto:sage [03/12/18 15:07]
- 「いい加減空気」って、どんな空気？
- 844 名前：１３２人目の素数さん mailto:sage [03/12/19 04:34]
- ウワッ、キモい…>>843
- 845 名前：１３２人目の素数さん mailto:sage [03/12/19 14:44]
- そろそろ次のスレタイを決めておきたいなあ。
ツェルメロ流ではもう長さ限界なので、なんかいい案希望。
無難にサクセサにする？ 0'''' とか。なんかつまらんな。
- 846 名前：１３２人目の素数さん mailto:sage [03/12/19 22:02]
- {0,1,2,3}ならいけるけど・・・あんまり美しくはないか
- 847 名前：１３２人目の素数さん mailto:sage [03/12/20 00:18]
- そろそろ基礎論スレ終了しようよ。もうネタも無いしさ。
論理なら数理論理学スレ、集合論なら集合論スレでどうぞ。
- 848 名前：１３２人目の素数さん mailto:sage [03/12/20 16:52]
- >>847
ネタというのはどこからともなく突然降ってくるものだから、そういわずに気長に待つ
のが吉かと。
- 849 名前：１３２人目の素数さん mailto:sage [03/12/20 22:55]
- 待つのにスレはいらない。
ネタがあればスレがなくてもスレが立つ。
- 850 名前：１３２人目の素数さん mailto:sage [03/12/22 10:37]
- >>847
っていうか、そんな細分化して過疎スレ作るほうがおかしいぞ。どれも
ここからスピンアウトしたスレなんだから、ここを維持したほうが良いだろう。
>>849
不完全性定理って何？みたいな単発スレが濫立するほうがおこのみでつか？
- 851 名前：１３２人目の素数さん mailto:sage [03/12/22 21:01]
- 「不完全性定理は潰れる」というエムシラ大先生の予言は当たるのだろうか？
- 852 名前：１３２人目の素数さん mailto:sage [03/12/23 10:39]
- 細分化すると過疎になるというのはおかしい。
単にカキコする奴が区別できるのにしてないだけ。
そういう馬鹿を教育するためにここは潰したほうがいいだろう。
- 853 名前：１３２人目の素数さん mailto:sage [03/12/23 14:17]
- なんか、最近ダークサイドマツシンが出没してないか？
- 854 名前：１３２人目の素数さん mailto:sage [03/12/23 22:57]
- 「ダークサイドマツシン」って何？ マツシンとはどう違うの？
- 855 名前：１３２人目の素数さん mailto:sage [03/12/23 23:05]
- 非古典論理のスレが盛況ですね。
- 856 名前：１３２人目の素数さん mailto:sage [03/12/24 15:58]
- >>845
マツシンにはいいマツシンと悪いマツシンがいるんでしよ。
議論や話題が進むにつれて、だんだん悪いマツシンが顔を出すのでし。
- 857 名前：１３２人目の素数さん mailto:sage [03/12/24 16:13]
-
ワス、「絶望」って名の電車に乗っつまいますた。
すかも、特急ざんす。 ( ^ ^ ;)
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 858 名前：１３２人目の素数さん mailto:sage [03/12/24 17:42]
- 河合塾ブックレットの「いざない」が買いたいんだけど、
なんか、品切れになってるっぽい。......鬱だ...
- 859 名前：１３２人目の素数さん mailto:sage [03/12/24 21:37]
- ＞マツシンにはいいマツシンと悪いマツシンがいるんでしよ。
エムシラはアホエムシラだけだけどな（ｗ
- 860 名前：１３２人目の素数さん mailto:sage [03/12/24 23:32]
-
／￣￣￣ｖ´｀ヽ､
／ ／／.// ﾊヽヾ ヽ＼
i' ´／/ / ハ いヽ、ヾ､ヽi
/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
/,（(i iﾉ ヾ. 川川川ﾘｿ
(川川丿 ヾ ..川川川川
ノ川川.|---、 川川川川
ﾉｉ ｉ川川ｨ'''･ヽ,ｰ ／￣川川川 ／￣￣￣￣￣￣￣￣￣
ノ川川ﾘ ｀ｰ,ｲ ´ｨ''･ヽ)）川川川 .|
川川川 ﾉヽ ｀''´ノ川川川ﾘ＜ ネットでエムシラ様の悪口言ったら
川川川ヽ,,＿ (,､_,､ )__,イ /川川川ﾘ | ひどい目にあわされるってこと
川川川 ,,,,ﾉ ゞヽ /川川川川 │ 御存知、ア〜タ？ オッホホホ
川川川 ⌒ニ´' ／|川川川川 ＼＿＿＿＿＿＿＿＿＿
川川川 ｀ヽ ~~ ／|川川川川川
川川川 ｀ｰ-ｰ´ ||川川川川ｿ
- 861 名前：１３２人目の素数さん mailto:sage [03/12/25 00:51]
- >>859
ものは知ってるので御大は便利な側面もある。まつしんは時に偉く
知ったかぶるのでそうなるとかなりうざい。
- 862 名前：１３２人目の素数さん mailto:sage [03/12/25 08:18]
- ＞ものは知ってるので
そりゃキミがものしらなすぎるんだよ（ｗ
てゆーか、マツシン程度で知ったかぶってると思う
キミはそうとう劣等感に苛まれてるイタイヤシ（ｗ
- 863 名前：１３２人目の素数さん mailto:sage [03/12/25 09:25]
- >>862
＞ そりゃキミがものしらなすぎるんだよ（ｗ
とりあえず、スペルチェッカーにはなるぜ（笑）
- 864 名前：１３２人目の素数さん mailto:sage [03/12/25 17:20]
-
ワス、「コロンビア」の綴りは、"Columbia"だっつこと知(す)らずに、"Colombia"と書いて、顔が潰れたッス。
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 865 名前：１３２人目の素数さん mailto:sage [03/12/25 21:19]
- 久しぶりに沢山書き込まれてると思ったら、またですか。。。
- 866 名前：１３２人目の素数さん mailto:sage [03/12/26 02:48]
- そうよ、またなのよ。ヽ(^。^)ノ
- 867 名前：１３２人目の素数さん mailto:sage [03/12/26 07:30]
- このスレは「エムスラ（→ヽ(^。^)ノ）汚染スレ」と認定されますた。
関係者は直つに退去すてください！
避難場所
数理論理学 基礎
science2.2ch.net/test/read.cgi/math/1035210795/
【数学】前原昭二：数学基礎論入門【基礎論】
science2.2ch.net/test/read.cgi/math/1043852921/
集合論なぜなにスレッド
science2.2ch.net/test/read.cgi/math/1064299337/
- 868 名前：１３２人目の素数さん mailto:sage [03/12/26 10:39]
- >>865
いやいや、ひさしぶりに関連スレ全て活性化してるって。
- 869 名前：↑ mailto:sage [03/12/27 01:20]
- これも、みな、御大の「御活躍」によるものと思われ。ヽ(^。^)ノ
- 870 名前：１３２人目の素数さん mailto:sage [03/12/27 01:24]
- >>867 の「避難場所」は、みんな、すでに「エムシラ汚染スレ」であったことが追認されますた。 (ﾟдﾟ)
- 871 名前：１３２人目の素数さん mailto:sage [03/12/27 01:27]
- ２ｃｈには「避難場所」はないものと思われ。 ヽ(^。^)ノ
- 872 名前：１３２人目の素数さん [03/12/27 08:40]
- エムシラってホント馬鹿だな。
- 873 名前：↑ mailto:sage [03/12/27 21:10]
-
／￣￣￣ｖ´｀ヽ､
／ ／／.// ﾊヽヾ ヽ＼
i' ´／/ / ハ いヽ、ヾ､ヽi
/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
/,（(i iﾉ ヾ. 川川川ﾘｿ
(川川丿 ヾ ..川川川川
ノ川川.|---、 川川川川
ﾉｉ ｉ川川ｨ'''･ヽ,ｰ ／￣川川川 ／￣￣￣￣￣￣￣￣￣
ノ川川ﾘ ｀ｰ,ｲ ´ｨ''･ヽ)）川川川 .|
川川川 ﾉヽ ｀''´ノ川川川ﾘ＜ ネットでエムシラ様の悪口言ったら
川川川ヽ,,＿ (,､_,､ )__,イ /川川川ﾘ | ひどい目にあわされるってこと
川川川 ,,,,ﾉ ゞヽ /川川川川 │ 御存知、ア〜タ？ オッホホホ
川川川 ⌒ニ´' ／|川川川川 ＼＿＿＿＿＿＿＿＿＿
川川川 ｀ヽ ~~ ／|川川川川川
川川川 ｀ｰ-ｰ´ ||川川川川ｿ
- 874 名前：↑ mailto:sage [03/12/28 15:30]
-
／￣￣￣ｖ´｀ヽ､
／ ／／.// ﾊヽヾ ヽ＼
i' ´／/ / ハ いヽ、ヾ､ヽi
/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
/,（(i iﾉ ヾ. 川川川ﾘｿ
(川川丿 ヾ ..川川川川
ノ川川.|---、 川川川川
ﾉｉ ｉ川川ｨ'''･ヽ,ｰ ／￣川川川 ／￣￣￣￣￣￣￣￣￣
ノ川川ﾘ ｀ｰ,ｲ ´ｨ''･ヽ)）川川川 .|
川川川 ﾉヽ ｀''´ノ川川川ﾘ＜ ネットでエムシラが
川川川ヽ,,＿ (,､_,､ )__,イ /川川川ﾘ | ひどい目にあわされてるってこと
川川川 ,,,,ﾉ ゞヽ /川川川川 │ 御存知、ア〜タ？ オッホホホ
川川川 ⌒ニ´' ／|川川川川 ＼＿＿＿＿＿＿＿＿＿
川川川 ｀ヽ ~~ ／|川川川川川
川川川 ｀ｰ-ｰ´ ||川川川川ｿ
- 875 名前：訂正 mailto:sage [03/12/28 17:20]
- >>874 で、「エムシラ」と書いたのは、「マツシン」の誤りでいた。 m(_ _)m
- 876 名前：１３２人目の素数さん mailto:sage [03/12/29 04:20]
- ああ、負けた、負けた、世間に負けた。
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 877 名前：訂正 mailto:sage [03/12/30 00:00]
- >>876 で、「マツシン」と書いたのは、「エムシラ」の誤りでいた。 m(_ _)m
- 878 名前：↑ mailto:sage [03/12/30 01:09]
- と、そのように、マツシン痰が「苦し紛れに」言うとりますた。 ヽ(^。^)ノ
- 879 名前：１３２人目の素数さん mailto:sage [03/12/30 01:12]
- またも負けたか、松本真吾（ｗ
- 880 名前：１３２人目の素数さん mailto:sage [03/12/30 06:19]
- なぜこの程度の陰口が読み流せないのか
- 881 名前：１３２人目の素数さん mailto:sage [03/12/30 11:30]
- なぜこの程度の陰口も我慢できないのか
- 882 名前：１３２人目の素数さん mailto:sage [03/12/30 15:43]
-
／ .＼
＼ ／ ＼ ／
＼ ＿＿＿＿＿＿＿＿＿＿＿ . ／
＼ .／ ＼ ／
| ＼／ ＼／...|
| | | |
| | | |
..＿ |＿| |＿|＿..
| | マツシン、さあ、逝こうか・・・ | |
| | | |
| | | |
| | | |
| |／ ..＼| |
| | | |
..＿|／| _ _ _ _ _ _ _ _ ...|＼|＿
／ ..| | ＿−＿−＿−＿−＿− ＿ | | ＼
| |／＿／━ ━ ━ ━ ━ ━＼＿＼| |
..＿| ／＿／━ ━ ━ ━ ━ ━ ━ ＼＿＼.|＿
／＿／━ ━ ━ ━ ━ ━ ━ ＼＿＼
／ ／━ ━ ━ ━ ━ ━ ━＼ ＼
- 883 名前：１３２人目の素数さん mailto:sage [03/12/30 16:30]
- マツシンって、孤立無援だよね。 素行が余りにも悪かったから。（ｗ
- 884 名前：１３２人目の素数さん mailto:sage [03/12/31 03:23]
-
このアッフォーの師 ---> 竹内外史
ニシテ
このアッフォーの弟子 ---> 山口人生
アリ（爆笑
- 885 名前：１３２人目の素数さん mailto:sage [04/01/01 16:20]
- 冬厨にスレが潰されてる・・
- 886 名前：１３２人目の素数さん mailto:sage [04/01/09 12:43]
- あらしはさったかな？
- 887 名前：１３２人目の素数さん mailto:sage [04/01/09 22:10]
- 可算選択公理が非可算のものに比べて風当たりが弱いのは何故ですか？
- 888 名前：１３２人目の素数さん mailto:sage [04/01/10 01:06]
- 可算より非可算の方がキモイからだろ
よくわかんなくても数えられると安心なんだよ
- 889 名前：１３２人目の素数さん mailto:sage [04/01/10 02:33]
- >>887
なければ困るから。特に、解析学の基礎的な部分。
選択公理に否定的だったルベーグも無意識のうちに使っていた。
- 890 名前：１３２人目の素数さん mailto:sage [04/01/10 07:30]
- 二重否定の消去¬¬A→Aは風当たりが強いのに
contractionはほとんど問題にされないのはナゼ？
- 891 名前：１３２人目の素数さん mailto:sage [04/01/10 13:57]
- >>889
そうなんだ、知らなかった。
で、ルベーグその人は、「可算なら許可なのダ！」的な発言をしたので
しょうか？ それとも、御自身は最後まで気づかなかったとか？
>>890
contractionてなんすか、解説ｷﾎﾞﾝﾇ。
- 892 名前：１３２人目の素数さん mailto:sage [04/01/10 23:12]
- contradiction（矛盾律）のことなら
¬(A∧¬A)は排中律なくても出せるぞ
- 893 名前：１３２人目の素数さん mailto:sage [04/01/10 23:48]
- >>886
＞あらしはさったかな？
甘いな、オヌシ。
- 894 名前：１３２人目の素数さん mailto:sage [04/01/11 00:13]
- >>891
こんなやつ
A,A,Γ|-Δ
----------
A,Γ|-Δ
Γ|-Δ,A,A
----------
Γ|-Δ,A
- 895 名前：１３２人目の素数さん mailto:sage [04/01/11 03:23]
- >>890
そりゃあ、同じこと二度三度いう必要はなくて、一度にして良い、
っていうのは数学の論理としては自然なんでは？
構造規則を問題にするようになったのは９０年代からだし。最近のこと
といってよいと思うよ。
- 896 名前：１３２人目の素数さん mailto:sage [04/01/11 03:26]
- 言及することによって性質が変わるような類の命題だったら危ないんじゃないの？
- 897 名前：１３２人目の素数さん mailto:sage [04/01/11 04:14]
- >>896
うん、危ない。構造規則をいじる先駆的な研究は、より「現実的な」対応を
できるような論理体系の構築から始まってるのはそういうわけで。
- 898 名前：１３２人目の素数さん mailto:sage [04/01/11 04:21]
- >>896
Relevant, Resorce Consious, Categorical grammer が三大
先駆研究というところだそうだよ。
- 899 名前：１３２人目の素数さん mailto:sage [04/01/11 09:37]
- >>895
見た目だけで感想を述べると恥かくよ。
- 900 名前：１３２人目の素数さん mailto:sage [04/01/11 09:43]
- >>896
∧や∨はもとより、∀や∃の意味も変わるよ。
例えば∀xP(x)からP(a),P(b),P(c),･･･と
どんどん式を増やせるのはcontractionがあるから
つまり、contractionという規則は無限性をもってるわけ。
だから述語論理では決定不能になったりする。
- 901 名前：１３２人目の素数さん mailto:sage [04/01/11 09:57]
- >>897
relevant logic は weakeningがターゲットでしょ。
Lambek calculusは、weakening,contractionのほかに
exchangeもなくなるし。
対象の無限性と直接かかわりがあるのは真ん中かな。
実は直観主義論理ってブラウアーが本来考えていたような問題の
「正しい解決法」ではないんじゃないかと思うわけ。
何を「正しい」っていうかは難しいけど、ブラウアーがもともと
いってたのは、１，２，３･･･という自然数の対象は、時間の
流れにそって作られるんで、そういうものをあらかじめ全部
あるとした上で、無限の対象について排中律が成り立つと
前提するのはおかしいってことだから、単に排中律をなくす
とか、二重否定を肯定とするのがおかしいとかいうことでは
ないわけ。
実際、contractionを除くと排中律も矛盾律も証明できなくなるし。
- 902 名前：１３２人目の素数さん mailto:sage [04/01/11 17:30]
- 形式論理の研究のほとんど(線形論理その他)は、具体的にあるものを
形式化したのではなくて、推論規則に着目している形式についての研
究で、部外者には興味がもてないものが多いんじゃないのー?
- 903 名前：１３２人目の素数さん mailto:sage [04/01/11 17:41]
- 部外者に興味もたれなくてもいいんじゃないのー?
- 904 名前：１３２人目の素数さん mailto:sage [04/01/11 18:39]
- >>900
＞だから述語論理では決定不能になったりする。
確かに必要な要素ではあるが、別にだから決定不能になる
わけでもないだろう。単項述語のみに限定した場合は、
無限性を持つにもかかわらず決定可能になりますよ？
- 905 名前：１３２人目の素数さん mailto:sage [04/01/11 18:44]
- >>899
どういう意味でしょうか？
>>901
＞relevant logic は weakeningがターゲットでしょ。
でもそもそもの動機は、weakning の規制が目的ではないわけだけどね。
Entailment 読めばわかるけどね。そんなそもそもの動機が異なるいくつかの
論理が、構造規則の制限という形で特徴づけられてきたわけだから
これはおもしろいよなあ。はやるわけだよ。
- 906 名前：１３２人目の素数さん mailto:sage [04/01/11 20:56]
- >>904
ナントカの一つ覚え
>>905
知ったかぶりって恥ずかしいね
- 907 名前：１３２人目の素数さん mailto:sage [04/01/12 09:06]
- みなさんスレ違いだってことぐらい分ってるんですよね？
- 908 名前：１３２人目の素数さん mailto:sage [04/01/12 10:11]
- ↑
なぜなのでせうか？？
- 909 名前：１３２人目の素数さん mailto:sage [04/01/12 21:49]
- 一連のナニは、単なる煽りなんでしょうか？
それとも奥深いナニカがあって、それをあえて明示しないという
奥ゆかしい立場ということなんでしょうか？
- 910 名前：↑ mailto:sage [04/01/13 03:22]
- 勿論、後者だよ。（ｗ
- 911 名前：１３２人目の素数さん mailto:sage [04/01/13 10:11]
- >>910
うそつけ（笑）
- 912 名前：１３２人目の素数さん mailto:sage [04/01/14 00:47]
- >>911
ワダスはウソは申すましぇん。
- 913 名前：１３２人目の素数さん mailto:sage [04/01/14 08:15]
- 一般連続体仮説から、選択公理が証明できるんですか？
前提を「一般連続体仮説」よりも少しでも弱めたら、成立しなくなる
ような証明なんでしょうか。
- 914 名前：１３２人目の素数さん mailto:sage [04/01/14 08:34]
- >>913
一般連続体仮説というものをどのように述べてあるかはっきり
しておかないとおかしなこととなる。
たとえば、実数全体が整列可能ではないが、連続体仮説が成立
することもある。
- 915 名前：１３２人目の素数さん mailto:sage [04/01/15 11:40]
- 性分直せば人気も出るっていってるのに全然治らないね、、、（謎
- 916 名前：１３２人目の素数さん mailto:sage [04/01/16 21:42]
- 任意のnで
2^(アレフ[n]) = アレフ[n+1]
・・・じゃ駄目なん？
- 917 名前：１３２人目の素数さん mailto:sage [04/01/17 00:08]
- >>916
そのようにかけば、帰納法で、ランクがω＋ｎの集合全体の整列
性がいえる。その調子で自然数ｎだけでなくすべての順序数に
ついての連続体仮説をかいておけば整列可能定理はZFから導ける。
しかし、ωとその部分集合の全体の濃度の間には濃度がない、って
調子で述べると整列可能性がでてこないってこと。
べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。
数学一般に命題を正確に述べないと正誤に影響することあるし、
数学基礎論の関係するところはとくにそうなんじゃないのぉー？
- 918 名前：１３２人目の素数さん mailto:sage [04/01/17 16:01]
- >>906
＞ 知ったかぶりって恥ずかしいね
そもそもの動機は "fallacies of relevance" の解消であって、 weekning の制限などで
はないですが？それとも Entailment は weekning という規則への制限の研究から
生まれたとおっしゃりたいのですかね？面白い考えですな。
- 919 名前：１３２人目の素数さん mailto:sage [04/01/17 16:03]
- >>917
＞べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。
いいわけがましいやつだな（w
- 920 名前：１３２人目の素数さん mailto:sage [04/01/17 16:46]
- >>917
＞べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。
マツシン哀れ（ｗ
- 921 名前：１３２人目の素数さん mailto:sage [04/01/17 18:31]
- >しかし、ωとその部分集合の全体の濃度の間には濃度がない、って
>調子で述べると整列可能性がでてこないってこと。
これは、何故なんでしょうか？
(アレフ[n])と2^(アレフ[n])の間に濃度がなくても、2^(アレフ[n])が
(アレフ[n+1])ではないということなのだから、言うなれば順序関係が
分岐するようなものでしょうか？
>べつに意地悪で説明しなかったわけでもなく、
意地悪だなんて、そんな。
>マツシンでもないよ。
この名前を時折目にしますが・・・有名な人なん？(^^;
- 922 名前：１３２人目の素数さん mailto:sage [04/01/17 20:38]
- ネットでは超有名な御方です（藁
詳しくは、ここ↓で
science2.2ch.net/test/read.cgi/math/1057850128/l50
- 923 名前：１３２人目の素数さん mailto:sage [04/01/18 00:21]
-
ワス、「コロンビア」の綴りは、"Columbia"だっつこと知(す)らずに、"Colombia"と書いて、顔が潰れたッス。
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 924 名前：１３２人目の素数さん mailto:sage [04/01/18 05:45]
- >>917
> しかし、ωとその部分集合の全体の濃度の間には濃度がない、って
> 調子で述べると整列可能性がでてこないってこと。
って調子、というのはどういうものを想定しているのかわからん。
Sierpinski の証明で採用している GCH は 「任意の無限集合 a に対し、
a < x < P(a) となる x はない」ではなかったかと。
- 925 名前：１３２人目の素数さん mailto:sage [04/01/18 13:27]
- ＞それとも Entailment は weekning という規則への制限の研究から
＞生まれたとおっしゃりたいのですかね？
そんな風によむ馬鹿は君一人
- 926 名前：１３２人目の素数さん mailto:sage [04/01/19 12:27]
- >>920 >>917 の中の人はマツシンちゃんじゃないよ。
>>925 がマツシンチャン。
- 927 名前：１３２人目の素数さん [04/01/19 17:34]
- 「ちゃん付け」では、気分でないな、マツシンの場合は。 やはり「マツシン痰」でないとな（ｗ
- 928 名前：１３２人目の素数さん mailto:sage [04/01/19 20:17]
- マツシンヲタの厨は逝って良し
- 929 名前：１３２人目の素数さん mailto:sage [04/01/19 22:54]
- マツシンヲタの厨は逝って良し
- 930 名前：１３２人目の素数さん mailto:sage [04/01/22 11:23]
- そろそろ ４ですな、、、
- 931 名前：１３２人目の素数さん mailto:sage [04/01/24 00:40]
- {0,{0},{0,{0}},{0,{0},{0,{0}}},{0,{0},{0,{0}},{0,{0},{0,{0}}}}}
- 932 名前：１３２人目の素数さん mailto:sage [04/01/24 00:45]
- P(P({φ,{φ}}))
- 933 名前：１３２人目の素数さん mailto:sage [04/01/24 13:58]
- そりゃあ５だろ、って突っ込むのは一応義務なんですかね(w
- 934 名前：１３２人目の素数さん [04/01/26 14:18]
- この師 ---> 竹内外史
ニシテ
この弟子 ---> 山口人生
アリ（爆笑
- 935 名前：１３２人目の素数さん [04/01/26 15:38]
- ↑学歴詐称男エムシラ、一応T大卒のヤマジンに大嫉妬（ｗ
- 936 名前：１３２人目の素数さん mailto:sage [04/02/01 05:03]
- 335
- 937 名前：１３２人目の素数さん mailto:sage [04/02/02 20:24]
- 解析学が形式化できないのは何故ですか
- 938 名前：１３２人目の素数さん mailto:sage [04/02/03 14:40]
- 0'''' でいいじゃないか？
- 939 名前：１３２人目の素数さん mailto:sage [04/02/04 00:28]
- >>937
どういう意味で？
|
 |
