おまえらの青春の夢
60 ：１３２人目の素数さん：
z
|
|
|
61 ：１３２人目の素数さん：2013/07/26(金) NY:AN:NY.AN
http://uni.2ch.net/test/read.cgi/sci/1373148018/873
873 ：ご冗談でしょう？名無しさん ：2013/07/25(木) NY:AN:NY.AN ID:ia9/Njrw
>>872
＞冪集合は集合だと言っている
＞つまり他の集合と同等の扱い
＞型なんて単語は出てこない
＞岩波数学辞典には書いてるかね？
集合と集合族は同等の性質を持つが型が違うから同じように扱えない場合がある
「型なんて単語」とか言ってる時点でアウトＷＷＷＷＷＷＷ
型が違うものの和集合は当然作れるが
型が同じものの和集合とは結論出来る事が異なる
本当に頭弱いんだなＷＷＷＷＷＷＷ
874 ：ご冗談でしょう？名無しさん ：2013/07/25(木) NY:AN:NY.AN ID:ia9/Njrw
>>872
＞冪集合も集合だから
0店
共通の元が1つしか無いので包含関係は存在しない
875 ：ご冗談でしょう？名無しさん ：2013/07/25(木) NY:AN:NY.AN ID:ia9/Njrw
どういう時に集合族と集合を混和出来るのか？
それを記述しているのが選択公理だ
本質を理解してないバカが字面眺めても
100万年の時間があっても無意味
873 ：ご冗談でしょう？名無しさん ：2013/07/25(木) NY:AN:NY.AN ID:ia9/Njrw
>>872
＞冪集合は集合だと言っている
＞つまり他の集合と同等の扱い
＞型なんて単語は出てこない
＞岩波数学辞典には書いてるかね？
集合と集合族は同等の性質を持つが型が違うから同じように扱えない場合がある
「型なんて単語」とか言ってる時点でアウトＷＷＷＷＷＷＷ
型が違うものの和集合は当然作れるが
型が同じものの和集合とは結論出来る事が異なる
本当に頭弱いんだなＷＷＷＷＷＷＷ
874 ：ご冗談でしょう？名無しさん ：2013/07/25(木) NY:AN:NY.AN ID:ia9/Njrw
>>872
＞冪集合も集合だから
0店
共通の元が1つしか無いので包含関係は存在しない
875 ：ご冗談でしょう？名無しさん ：2013/07/25(木) NY:AN:NY.AN ID:ia9/Njrw
どういう時に集合族と集合を混和出来るのか？
それを記述しているのが選択公理だ
本質を理解してないバカが字面眺めても
100万年の時間があっても無意味
62 ：１３２人目の素数さん：2013/08/14(水) NY:AN:NY.AN
http://uni.2ch.net/test/read.cgi/sci/1375192413/
74 ：ご冗談でしょう？名無しさん ：2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb
>>72
＞ZF集合論は型理論とは別の体系だし
まーだそんな事言ってんのか？
低学歴キチガイＷＷＷＷＷＷＷＷ
全ての公理的集合論は型理論を内包している
なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ
無限公理がどうかしたか？ん？
全く理解してない証拠を晒してどうする？ん？
76 ：ご冗談でしょう？名無しさん ：2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb
>>72
＞ZFの無限公理でやってるようなx∪{x}も認められない
あーあ
お前中央線ダイブ確定だなWWWWWWWWWW
74 ：ご冗談でしょう？名無しさん ：2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb
>>72
＞ZF集合論は型理論とは別の体系だし
まーだそんな事言ってんのか？
低学歴キチガイＷＷＷＷＷＷＷＷ
全ての公理的集合論は型理論を内包している
なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ
無限公理がどうかしたか？ん？
全く理解してない証拠を晒してどうする？ん？
76 ：ご冗談でしょう？名無しさん ：2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb
>>72
＞ZFの無限公理でやってるようなx∪{x}も認められない
あーあ
お前中央線ダイブ確定だなWWWWWWWWWW
63 ：１３２人目の素数さん：2013/08/14(水) NY:AN:NY.AN
96 ：ご冗談でしょう？名無しさん ：2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC
>>95
は？
完璧に内包されてんじゃん？
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ
110 ：ご冗談でしょう？名無しさん ：2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
119 ：ご冗談でしょう？名無しさん ：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
基礎の公理？
そんな未定義造語使ってる時点で高卒確定
129 ：ご冗談でしょう？名無しさん ：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
>>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒
>>95
は？
完璧に内包されてんじゃん？
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ
110 ：ご冗談でしょう？名無しさん ：2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
119 ：ご冗談でしょう？名無しさん ：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
基礎の公理？
そんな未定義造語使ってる時点で高卒確定
129 ：ご冗談でしょう？名無しさん ：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
>>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒
64 ：１３２人目の素数さん：2013/08/14(水) NY:AN:NY.AN
245 ：ご冗談でしょう？名無しさん ：2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
>>240
＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前ＷＷＷＷＷＷＷ
258 ：ご冗談でしょう？名無しさん ：2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
279 ：ご冗談でしょう？名無しさん ：2013/08/09(金) NY:AN:NY.AN ID:???
>>278
＞ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
死亡確定だよお前ＷＷＷＷＷＷＷＷ
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ
＞x∈xである集合xが存在するかどうかとは関係ない
0点
>>240
＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前ＷＷＷＷＷＷＷ
258 ：ご冗談でしょう？名無しさん ：2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
279 ：ご冗談でしょう？名無しさん ：2013/08/09(金) NY:AN:NY.AN ID:???
>>278
＞ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
死亡確定だよお前ＷＷＷＷＷＷＷＷ
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ
＞x∈xである集合xが存在するかどうかとは関係ない
0点
65 ：１３２人目の素数さん：2013/08/14(水) NY:AN:NY.AN
280 ：ご冗談でしょう？名無しさん ：2013/08/09(金) NY:AN:NY.AN ID:Kog3ARrO
>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い
0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ
287 ：ご冗談でしょう？名無しさん ：2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV
>>282
＞今更言うまでもない気もするが
＞論理を全く理解していないね
なんでラッセルのパラドックスすら知らなかったの？
生きてる意味ある？
289 ：ご冗談でしょう？名無しさん ：2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV
素朴集合論は矛盾だらけで使えないから公理を追加して抑え込んだのになＷＷＷＷＷＷＷＷＷ
頭弱いからわからなかったかＷＷＷＷＷＷ
311 ：ご冗談でしょう？名無しさん ：2013/08/11(日) NY:AN:NY.AN ID:742qEOcR
>>309
＞>>293
＞ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
0点
根拠無しの妄想
>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い
0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ
287 ：ご冗談でしょう？名無しさん ：2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV
>>282
＞今更言うまでもない気もするが
＞論理を全く理解していないね
なんでラッセルのパラドックスすら知らなかったの？
生きてる意味ある？
289 ：ご冗談でしょう？名無しさん ：2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV
素朴集合論は矛盾だらけで使えないから公理を追加して抑え込んだのになＷＷＷＷＷＷＷＷＷ
頭弱いからわからなかったかＷＷＷＷＷＷ
311 ：ご冗談でしょう？名無しさん ：2013/08/11(日) NY:AN:NY.AN ID:742qEOcR
>>309
＞>>293
＞ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
0点
根拠無しの妄想
66 ：１３２人目の素数さん：2014/04/23(水) 17:29:44.33
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ |
| ` -'＼ ｰ' 人 私は死なないわよ。
| /(l ＿＿／ ヽ、 でも最近一寸太ったかしら。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 Windows ver.10 で
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ 元の痩せた姿にしてよね。
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/
. | ＼ ∠イ ,ｲイ| ,`-' |
| l＾,人| ` `-' ゝ |
| ` -'＼ ｰ' 人 私は死なないわよ。
| /(l ＿＿／ ヽ、 でも最近一寸太ったかしら。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 Windows ver.10 で
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ 元の痩せた姿にしてよね。
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
67 ：１３２人目の素数さん：2014/07/23(水) 23:20:00.66
今日は数学予定以上にできたんだよー
微積の半べそ書きながらの後だから当たり前なんだけど、
進められたから心に余裕できまーした
書くのも見るのもやめるんじゃなかったん？って話だけど、
数学にホッとしたからなんかいーたくて
ちゃんと解ってるし、いつまでもずーっと子供みたいなことしたいとかないし、
だし、全部被るのじぶんで構わないし、好きにでだいじょーぶ
ただ…まじでこりゃ成功させないとね
そんで約10年くらいしたら帰天させてほしい
たいしたもの何もないけど、お金？とかなんでもどうぞ
やっぱ自分が悪いけど、結構地味にショックが抜けなくて笑
なんていうか成功如何に限らずにはやくきてんしたいな
だからこそ最後の踏ん張りができるよーな
微積の半べそ書きながらの後だから当たり前なんだけど、
進められたから心に余裕できまーした
書くのも見るのもやめるんじゃなかったん？って話だけど、
数学にホッとしたからなんかいーたくて
ちゃんと解ってるし、いつまでもずーっと子供みたいなことしたいとかないし、
だし、全部被るのじぶんで構わないし、好きにでだいじょーぶ
ただ…まじでこりゃ成功させないとね
そんで約10年くらいしたら帰天させてほしい
たいしたもの何もないけど、お金？とかなんでもどうぞ
やっぱ自分が悪いけど、結構地味にショックが抜けなくて笑
なんていうか成功如何に限らずにはやくきてんしたいな
だからこそ最後の踏ん張りができるよーな
68 ：１３２人目の素数さん：2014/07/27(日) 19:21:44.93
おはずかしながらzzzだたm(_ _)m
がむしゃらがんばる
雨やんだー(^□^)
がむしゃらがんばる
雨やんだー(^□^)
69 ：１３２人目の素数さん：2014/07/30(水) 20:35:13.14
悲しすぎる。。
もう見たくないし、見る元気もないや。。
彼もあの世界のとりかかりとして、インシに向けて勉強してて、
信仰もまじめだからとか思ったのに結局あんなだもんね。。
くだらなさすぎて『…』なのわかるし、気力うしなうわ。。
7時半からのに1人ででるようにして祈りは必ずやめず、
そして誰とも関わらないでいくね
今週であの時間ラストにする
飲み会もじぶんのやりたいことや頑張ってることのために、
どうしてもいきたいけど断わる、中座する…
そういう姿勢が好きだし、先輩だっけ！？英語の勉強とかのために、
途中で会を退くみたいなひと。そういうのほんといいなって思う
なのにあんな汚らわしいこと。。もう悲しすぎて辛すぎる。。
だけどこうしてもらってるから断りが強く出来るし、
実際断固として意思変えないから
あー。。だけど回復むずかしいほど凹んで泣きたい、、まじめに、、
でもがんばるね。。さっきのひとはどうでもいい
ごめんなさい。。
もう見たくないし、見る元気もないや。。
彼もあの世界のとりかかりとして、インシに向けて勉強してて、
信仰もまじめだからとか思ったのに結局あんなだもんね。。
くだらなさすぎて『…』なのわかるし、気力うしなうわ。。
7時半からのに1人ででるようにして祈りは必ずやめず、
そして誰とも関わらないでいくね
今週であの時間ラストにする
飲み会もじぶんのやりたいことや頑張ってることのために、
どうしてもいきたいけど断わる、中座する…
そういう姿勢が好きだし、先輩だっけ！？英語の勉強とかのために、
途中で会を退くみたいなひと。そういうのほんといいなって思う
なのにあんな汚らわしいこと。。もう悲しすぎて辛すぎる。。
だけどこうしてもらってるから断りが強く出来るし、
実際断固として意思変えないから
あー。。だけど回復むずかしいほど凹んで泣きたい、、まじめに、、
でもがんばるね。。さっきのひとはどうでもいい
ごめんなさい。。
70 ：島本町で凄惨なイジメを受けて廃人になった方へ：2014/09/11(木) 20:16:17.84
＞大阪府三島郡島本町の小学校や中学校は、暴力イジメ学校や。
島本町の学校でいじめ・暴力・脅迫・恐喝などを受け続けて廃人になってしもうた僕が言うんやから、
まちがいないで。僕のほかにも、イジメが原因で精神病になったりひきこもりになったりした子が何人もおる。
教師も校長も、暴力やいじめがあっても見て見ぬフリ。イジメに加担する教師すらおった。
誰かがイジメを苦にして自殺しても、「本校にイジメはなかった」と言うて逃げるんやろうなあ。
島本町の学校の関係者は、僕を捜し出して口封じをするな。
＞島本町って町は暴力とイジメと口裏合わせと口封じと泣き寝入りの町なんだなあ
子供の時に受けた酷いイジメの体験は、一生癒えない深い傷になる
暴力とイジメの町に巣食うヤクザ・チンピラ・ゴロツキ・不良・ いじめっ子・殺人鬼・ダニ・
ノミ・シラミなどを監視して非難するのは暮らしやすい町を作るのに必要だ
島本町の学校でいじめ・暴力・脅迫・恐喝などを受け続けて廃人になってしもうた僕が言うんやから、
まちがいないで。僕のほかにも、イジメが原因で精神病になったりひきこもりになったりした子が何人もおる。
教師も校長も、暴力やいじめがあっても見て見ぬフリ。イジメに加担する教師すらおった。
誰かがイジメを苦にして自殺しても、「本校にイジメはなかった」と言うて逃げるんやろうなあ。
島本町の学校の関係者は、僕を捜し出して口封じをするな。
＞島本町って町は暴力とイジメと口裏合わせと口封じと泣き寝入りの町なんだなあ
子供の時に受けた酷いイジメの体験は、一生癒えない深い傷になる
暴力とイジメの町に巣食うヤクザ・チンピラ・ゴロツキ・不良・ いじめっ子・殺人鬼・ダニ・
ノミ・シラミなどを監視して非難するのは暮らしやすい町を作るのに必要だ