なぜ悪質な永久機関ビジネスはなくならないのか？４

ダクト風で風力発電とか詐欺そのものだろ？

ベルヌーイの定理
全エネルギー=静圧エネルギー+風速エネルギー

ダクト消費電力
静圧
風速
風車発電電力

これらを測れば良いだけなのに実測データが1つも無い

こういう科学を悪用した悪徳商法を追放すべき

※前スレ
http://uni.2ch.net/test/read.cgi/sci/1373148018/

低学歴晒しておくね♪

特性速度は解の正確性の必要条件ではない
なんの主張にもなってない

999 名前:ご冗談でしょう？名無しさん [sage] :2013/07/30(火) NY:AN:NY.AN ID:???
>>997
敗北宣言乙。
圧力勾配項は特性速度が音速だが、移流項と拡散項の特性速度は流速。

だからさぁ
センターで必要条件と十分条件の区別つけられなくて底辺大しか受からなかったゴミだろ？

その証拠に必要条件や十分条件と書くと意味を理解出来ずにレスをつけられない

論文0
特許0
データ0

つまり理科大=詐欺師養成校

陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

996 名前:ご冗談でしょう？名無しさん :2013/07/30(火) NY:AN:NY.AN ID:T12LBRhp
>>987
解の安定と解の精度は全く異なる
底辺大には理解不能だろ？
解の安定は解が正確である事を意味しない
そういう事が理解出来ないバカの掃き溜め大学だろ？そこ

こいつの論法

・院レベルの単語を使い、そのぶん単独では正しい短文を書く。
・この短文を使い、煙に巻く形で意見の否定や質問への回答を行ったポーズを取る。
・学歴差別で貶し、勝利宣言する。

こうでもしないと、院でお勉強した内容を活かす方法がないのでしょう。

こいつの論法

・院レベルの単語を使い、文単独では正しい短文を書く。
・この短文を使い、意見の否定や質問への回答を行ったポーズを取る。（回答にはなっていない）
・学歴差別で貶し、勝利宣言する。

こうでもしないと、院でお勉強した内容を活かす方法がないのでしょう。
お勉強の動機がこれでは諭吉うかばれません。

詐欺特許=ぼくのかんがえたさいきょうの発明メモ


なーんの意味もないデタラメだわ

>>8
反論不能な人間のクズかＷＷＷＷＷ

おい底辺大低学歴がマジで必要条件と十分条件を理解してないぞＷＷＷＷＷＷ

そんな高校レベルの知識振り回されてもレスしようがないだろ

>>12
低学歴晒しておくね♪

特性速度は解の正確性の必要条件ではない
なんの主張にもなってない

999 名前:ご冗談でしょう？名無しさん [sage] :2013/07/30(火) NY:AN:NY.AN ID:???
>>997
敗北宣言乙。
圧力勾配項は特性速度が音速だが、移流項と拡散項の特性速度は流速。

高校レベルの知識をクリアしてたら理科大とかあり得ないから
クリア出来なかったから理科大なんだろＷＷＷＷＷＷ

なんで学歴スレになってんだよｗｗ

とりあえず排気風力発電は原理的に不可能な詐欺商売

誰と勘違いしてるかしらないが、
俺は、きゅむが過去に、エネルギーを上流から(も)奪う理由として
CFL条件を持ち出してきたことについて問いをしてんのよ。
でももういいや、ろくな回答もってないことが判った。

線積分や保存量を理解してないアホに学位与えるってのは
必然的に詐欺師を排出する事になる

>>16
問い？
反論になってない
安定性と正確性の違いを理解してないんだろ？ん？

こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない

>>12
低学歴晒しておくね♪

特性速度は解の正確性の必要条件ではない
なんの主張にもなってない

999 名前:ご冗談でしょう？名無しさん [sage] :2013/07/30(火) NY:AN:NY.AN ID:???
>>997
敗北宣言乙。
圧力勾配項は特性速度が音速だが、移流項と拡散項の特性速度は流速。

陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

誰も安定性などとは言ってない
最初から正確性と言ってる

504 名前:ご冗談でしょう？名無しさん :2013/07/16(火) NY:AN:NY.AN ID:zaCk92+d
>>503
東京理科大のバカには理解出来ないんだろ
静圧・風速は全方向に音速で伝播してエネルギーと情報を伝える
その効果範囲は無限大で効果がなくなる境目など存在しない

家の蛇口をひねれば水源地の水位が変わるのさ
音速で伝播する

この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
これを破るシミュレーションは正しい結果をもたらさない

この捏造に関与したノバルティスの社員っつーのが
東京理科大出身の藤井という女

製薬大手社員、臨床論文に不適切関与　研究の中立に問題
ttp://www.asahi.com/national/update/0523/TKY201305220614.html

【編集委員・浅井文和】
製薬大手ノバルティス（本社・スイス）の日本法人は、社員が高血圧治療薬ディオバン（一般名・バルサルタン）の
効果を調べる臨床研究に関与しながら、論文には社員の身分を明示しなかったとする社内調査報告をまとめた。
データ解析にかかわっていたという。「不適切だった」として、２２日に日本医学会などに報告した。中立性が
求められる研究が「企業寄りではないか」と疑いの目で見られかねない事態となった。


　報告によると、問題になったのは京都府立医大、東京慈恵会医大、滋賀医大、千葉大、名古屋大がそれぞれ
中心となりディオバンを他の薬と比較した五つの医師主導臨床研究の論文。２００７〜１２年に発表された。

　ディオバンは国内売り上げが年間１千億円を超える看板商品。同社はこうした論文を医師向けの説明文などに引
用して宣伝してきた。論文に社員の名前が掲載されていたが社員の身分は明記せず、肩書を示す場合は非常勤
講師だった「大阪市立大」と記載。滋賀医大に関しては、別の社員１人も社員と明示せずに加わっていた。２人とも
現在は同社を退職しているという。

ttp://www.asahicom.jp/national/update/0523/images/OSK201305220151.jpg

http://i.imgur.com/ocfxB.jpg

>>24
悔しかったの？ん？

無学は何も生み出せない
詐欺しかやれない
正しい知識が無いからな

それが東京理科大

>>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ

http://i.imgur.com/ocfxB.jpg
自称高収入

夏休みらしいし
初めましてさん用関連スレログ

肯定派の理屈は1スレ目前半でほぼ完成
その後、レス番639からきゅむ(このスレの1、非因果的ブラックボックス ◆nyDbrW8/YE )が暴れだして今に至る

『餃子の王将』ダクトから排出する風で風力発電
http://www.logsoku.com/r/sci/1348062455/
『餃子の王将』ダクトから排出する風で風力発電★2
http://www.logsoku.com/r/sci/1355887607/
『餃子の王将』ダクトから排出する風で風力発電★3
http://www.logsoku.com/r/sci/1357188854/

【エコ】餃子の王将 換気扇で回す風力発電を開発！
http://www.logsoku.com/r/rikei/1348370014/

永久機関かもしれないので検討をお願いします
http://uni.2ch.net/test/read.cgi/sci/1292341218/788-

なぜ悪質な永久機関ビジネスはなくならないのか？
http://www.logsoku.com/r/sci/1368539429/
なぜ悪質な永久機関ビジネスはなくならないのか？２
http://www.logsoku.com/r/sci/1371178648/
なぜ悪質な永久機関ビジネスはなくならないのか？３
http://www.logsoku.com/r/sci/1373148018/

http://www.logsoku.com/id/20121217/sci/HntNgA7J/
★受動意識仮説★
49 ： ◆nyDbrW8/YE [] ： 2012/12/17(月) NY:AN:NY.AN ID:HntNgA7J
>>46
コヒーレンス長すら知らないバカ発見


『餃子の王将』ダクトから排出する風で風力発電
639 ： ご冗談でしょう？名無しさん[] ： 2012/12/17(月) NY:AN:NY.AN ID:HntNgA7J
無駄に吹き出しに使ってるエネルギーを回収？wwww
バカ発見wwwww


ファンの回転数落とせや

★受動意識仮説★
http://uni.2ch.net/test/read.cgi/sci/1355562389/
非因果的ブラックボックス　無職なんだけど 2
http://awabi.2ch.net/test/read.cgi/philo/1361644667/
【詐称男】非因果的ブラックボックス【唯一神】
http://awabi.2ch.net/test/read.cgi/philo/1361640308/
【AKB48】指原スレの基地外きゅむ対策室
http://anago.2ch.net/test/read.cgi/tubo/1341876676/

>>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ

クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ？ん？

人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ？ん？


東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ

あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな？

詐欺師養成校なんか？ここ

ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ

これも理科大の犯罪
http://blog.goo.ne.jp/lemon-stoism/e/871667d18ab3bf6fc2bd861d6eb3d9e2

今日のクローズアップ現代見ろよ
理科大詐欺師が国庫から何千億盗んだかが取り上げられる

慶應義塾大学大学院
http://uni.2ch.net/test/read.cgi/rikei/1284462651/

>>38
クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ？ん？

人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ？ん？


東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ

あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな？

詐欺師養成校なんか？ここ

ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ

前スレ>>993
>0点
>陰解法はCFL条件を破っているわけでは無い
>低学歴が書く事は不正確すぎて論外

0点
そもそもの発端は低脳の以下の書き込み
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない

これに対して、CFL条件に拘束されずに正しい結果を出す例を出した
どんな妄想をこれから喚こうが低脳の嘘はログに残るし、もう遅い

>低脳のレベルに合わせてもう少し簡単に書くと
>一次元熱伝導方程式を
>"CFL条件に対して無条件安定"な完全陰解法や
>Crank-Nicolson法で数値的に解くと
>正しい結果をもたらさないってお前は主張してるわけだけど

低脳でも検算できるように簡単な例を出したつもりだったんだけど
これでも無理だったかw

>>5
温情で30点…でも落第
陰解法でもCFL条件を緩和するものについてだけ正しい主張
陽解法でもCFL条件を満たしていても安定だが不正確な解は出る

>>34
俺は>>16じゃない

>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
>
>安定条件は有意な解を得るための十分条件ではない
>必要条件に過ぎない

CFL条件に対して無条件安定な陰解法スキームの場合
Δtを大きく取りすぎると結果がなまることがあるが
それを低脳なりに解釈した書き込みと思われる

また低脳のレベルに合わせて簡単に書く
例えば、一周期の正弦関数を離散的に表そうとした場合
1点、2点程度では精度の良い数値的な微積分は不可能なので
ある程度刻み幅を小さく取る
だが、これはCFL条件とは何の関係もない

つまり、Δtを大きく取れる陰解法でも精度よく計算するためには
ある程度刻み幅を小さく取らなければならないわけだ
これに気をつければ、CFL条件を満たさなくても解は不正確にはならない

>>40
＞これに対して、CFL条件に拘束されずに正しい結果を出す例を出した

は？
出せてないんだがバカなのか？ん？
何度でも言うが安定条件と正確性は対応しない

>>41
＞1点、2点程度では精度の良い数値的な微積分は不可能なので
＞ある程度刻み幅を小さく取る
＞だが、これはCFL条件とは何の関係もない

低学歴過ぎて話にならねーな
数式で書けない時点で敗北確定

無条件安定だからなんだ？
それは正確という意味をカケラほども持ち合わせてない
そんなレベルの頭だから理科大にしか受からず詐欺師になる

>>41
＞温情で30点…でも落第
＞陰解法でもCFL条件を緩和するものについてだけ正しい主張
＞陽解法でもCFL条件を満たしていても安定だが不正確な解は出る

0点
必要条件と十分条件の違いを全く理解出来てない
お前はそもそも正しさを考える能力を持ってない

陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

これになんら反論出来てない
何一つな

>>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ

理科大低学歴に命ずる
レスの中に必ず必要条件と十分条件を使って反論しろ


ＷＷＷＷ

>>8
文単位でも結構デタラメだったけどな
集合論に関してはデタラメしかいってない

>>49
お前がデタラメ
反論せずに逃げたよなぁ？ん？
どうした？

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

>>50
でたらめ過ぎてどこから反論すればいいのやら
てか、どれに反論して無いっけ？

だいたい何を根拠に理科大認定してんだろうな

>>54


>>52
家庭教師フリーター


みたいにやっとけば理科大もしくは高卒ニート認定受けるよ

>>53
あら、「反論して無い」とか変な漢字変換してた
低学歴認定されるな

>>53
は？
何一つ反論出来てないが？ん？
型理論知らなかった時点で白痴

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

http://www.st.keio.ac.jp/event/2013_index.html
博士論文公聴会はいつかな

>>49
でさぁ、なんで理科大なんてクズ大しか行けなかったの？ん？

劣ったゴミだからだろ？

>>16
陰解法でもCFL条件を満たさなければ解は不正確になる
安定な不正確な解が出るだけの話

安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ

理科大低学歴に命ずる
レスの中に必ず必要条件と十分条件を使って反論しろ


ＷＷＷＷ

無条件安定だからなんだ？
それは正確という意味をカケラほども持ち合わせてない
そんなレベルの頭だから理科大にしか受からず詐欺師になる

マジで必要性と十分性の区別がついてないらしいＷＷＷＷＷＷＷＷ

科学の話よりも学歴の話に熱心なのがなんとも

>>64
反論出来ないで逃げるからだろ？ん？

>>64
>>63

ほれ
お前が科学を理解出来ずにスルーしてるだけなんだぜ？

必要とか十分が科学とかｗ
算数の間違いだろ

>>66
http://awabi.2ch.net/test/read.cgi/philo/1357333985/515

>>68
>>53
は？
何一つ反論出来てないが？ん？
型理論知らなかった時点で白痴

>>67
つまりその算数すら出来なかったから低学歴なのか？
自己紹介乙ＷＷＷＷＷＷＷＷ

理科大とか駅弁なんつーのは
「私は脳に欠陥あります」
って宣伝してるようなもんだ

>>57
型理論は前原昭二「数学基礎論入門」にある程度しか知らない
そこの型理論ではベースの型として1階から始めて
n階の対象のみを要素として持つ集合をn+1階の対象としている
x=P(x)、ｘ≠P(x)、x⊆P(x)、x⊇P(x)は型が整合しないので論理式と認められない
ZFの無限公理でやってるようなx∪{x}も認められない

ZF集合論は型理論とは別の体系だし
君独自の型理論など知る訳がない

>>70
どうして他人はできないと思い込むんだ？
思い込み激しいってよく言われないか？

>>72
＞ZF集合論は型理論とは別の体系だし


まーだそんな事言ってんのか？
低学歴キチガイＷＷＷＷＷＷＷＷ

全ての公理的集合論は型理論を内包している
なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ

無限公理がどうかしたか？ん？
全く理解してない証拠を晒してどうする？ん？

>>73
大学名晒せないのがその確たる証拠

>>72
＞ZFの無限公理でやってるようなx∪{x}も認められない

あーあ
お前中央線ダイブ確定だなWWWWWWWWWW

>>47
よぅ、低脳！
面白い論文見つけたから今日はこれで遊ぼうぜw

熱伝導方程式の数値シミュレーションと安定性
ttp://ultra2.phys.cst.nihon-u.ac.jp/hp/graduate/h13/thesis/miyuki.pdf
一次元熱伝導方程式は解析解も計算できるからシミュレーションのテストとしては丁度いい

この論文のCFL条件は
0<2*s<=1
実際、図3-2で陽解法でs=0.6(2*s=1.2>1)で計算した場合は
解が振動して破綻してる
まあ、これはいい

今度は陰解法で、図4からCFL条件から外れたs=0.8(2*s=1.6>1)やs=1.0(2*s=2.0>1)で計算した結果は
CFL条件を満たしたs=0.5(2*s=1)の結果や解析解と大差ないことがわかる
s=5.0では流石に誤差が大きくなっているが

これは、低脳が主張する
>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
や
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない
と矛盾するんだよな

というわけで、>>48
低脳の命題がそもそも偽なので必要条件や十分条件を使って反論できないんだわ
ごめんなw

>>62
>無条件安定だからなんだ？
>それは正確という意味をカケラほども持ち合わせてない

その通りだけど、そんなのシュミレーションやるやつには常識だから
今更どや顔で書かれてもなんだかなあって感じで反論にすらなって無いんだよなw
CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw

そこで低脳にこっちから質問だ
1.今までどんなシミュレーションをやったことがあるか？
院生らしいのでw、研究室特定も嫌だろうから今研究で取り組んでる題材は除いていいぞw

2.
>CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
CFL条件は時間と空間の刻み幅の関係しか決められない
精度良く計算を行うには時空間の刻み幅をそれぞれ決めなければならない
ということで、低脳はどうやって最適な時空間の刻み幅を決めてるんだ？

じゃあ回答待ってるぞw

調べてみたら慶応って偏差値70なくても入れるのな。

へー理科大と大差ないんじゃない？

そもそも上流側の排気ファンの風量落とすことと、
野外への排気から余剰エネルギーを回収することは全くの別問題。
たとえ排気ファンを過剰に回そうが、そんなの客の勝手。
そもそも余剰エネルギーはあるのだが、
仮に無いとしても、
過剰に回した排気ファンの排気を、
排気ファンの出力落として節電しようが、
排気から風車でエネルギーを回収しようが、
客の勝手。ユーザーの勝手だ。
そこに口出しするのは余計なお世話。
きゅむの論点ずらしに引っかかりすぎ。

>>77
大差無い？
はぁ？？？
数字で言えよ低学歴の負け犬ＷＷＷＷＷＷ

日大卒論なんて読む価値ないね

>>81
バカによる詐欺を晒してバカの収入源を絶つのも人の勝手だなぁ？ん？

>>78
＞>CFL条件満たした陽解法でも時空間の刻み幅が荒いと精確な解はでないからなあw
＞CFL条件は時間と空間の刻み幅の関係しか決められない
＞精度良く計算を行うには時空間の刻み幅をそれぞれ決めなければならない


何を言ってるのか全く通じてないな
必要条件十分条件で言えてないので何も主張してない

>>62
>無条件安定だからなんだ？
>それは正確という意味をカケラほども持ち合わせてない

逃げるなよクズ

>>80
そんな頭だから理科大にすら受からないんだろＷＷＷＷＷＷ

安定条件は有意な解を得るための十分条件ではない
必要条件に過ぎない



って書いても理科大脳じゃ意味を理解不能なんだろなＷＷＷＷＷ

>>77
＞と矛盾するんだよな

0点
十分性が示されてない

ケッシュ財団とか言う少し怪しい団体です。
http://www.keshefoundation.org/

こいつらはどのような詐欺を犯しているのですか？

メコスジ伝

>>89
ホメオパシーとか原子1個も入ってないくらい薄めた水で金取る詐欺だろ？

http://livedoor.blogimg.jp/gspcopy/imgs/b/7/b7fdeb88.jpg
童貞きゅむこれでオナニーしな

偏差値70ない底辺きゅむがいくら吠えても無駄WWW

>>74
岩波数学辞典に執筆するクラスの専門家すら低学歴だからデタラメというやつに言っても聞かないと思うが
ZFと型についてはバカペディアはこんな感じだね
http://en.wikipedia.org/wiki/Russell%27s_paradox#Set-theoretic_responses
> ZFC is silent about types, although some argue that Zermelo's axioms tacitly presuppose a background type theory.


他に、講義資料で校正が足りない感じだが
http://researchmap.jp/mu1x9nhhd-21099/#_21099
公理論的集合論
お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&;download_flag=1&upload_id=40760&metadata_id=12105
5ページ下側
> ラッセルのパラドックスを解決するため、いくつかの解決策が提案された。
> (1) 古典論理は保持するが、包括原理を制限する。
> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
> (2) 包括原理を保持するが、古典論理を制限する。

> 全ての公理的集合論は型理論を内包している
> なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
> それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ

全く理解してない証拠を晒してるのは君ね

>>76
俺は死ねとは言わないよ
もっと醜態晒して見せてくれ

>>95
は？
完璧に内包されてんじゃん？
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ

>>95
お前まだ理解出来てないのかＷＷＷＷＷＷＷ

これ、完璧に俺の言ってる事そのものだから

>>94
＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

>>93
お前偏差値50しかない鳥取大だろ？ん？

こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない

635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて


はいブンケー低学歴確定しました
ベキ集合知らないのは高卒

>>77
＞と矛盾するんだよな

0点
十分性が示されてない

ニートきゅむ

635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて


はいブンケー低学歴確定しました
ベキ集合知らないのは高卒

メコスジ伝

メコスジーノ

自称()慶応理工学研究科博士課程のｹﾞﾛﾌﾞｽ指原ヲタが
http://ikura.2ch.net/test/read.cgi/joke/1375551098/

【定期】きゅむまた発狂してんな
http://awabi.2ch.net/test/read.cgi/akb/1375560639/

>>96
君の「集合族」は独自定義だろうね
意味が分からん

>>97
相変わらず酷い言語感覚だね

>>76
http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&;download_flag=1&upload_id=40760&metadata_id=12105
> 定義 2.13 型理論の言語 L^T は以下の要素を持つ
　・・・
> * 任意の項τに対し、ある n が存在して項σが type n であり、項τが type n+1 を持つ時
> 　のみ論理式 σ∈τ は有意味な論理式となる。

x∪{x} = {y | y∈x or y∈{x}}
変数ｙのtypeは何になるかね？

>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外

低学歴が「かね」とか書いても無意味だっつのＷＷＷＷ

高卒は素朴集合論レベルから進歩してないＷＷＷＷＷ

>>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

>>111
たまには君が論文持って来てはどうかね？
岩波数学辞典も引けない底辺未満には無理かね？

> ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

後半部分は言い過ぎた
最後のセクションにちょっとだけだったな

>>114
だからどうした？
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ？ん？

>>115
全くどうでもいい
何の主張にも反論にもなってない

>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

基礎の公理？
そんな未定義造語使ってる時点で高卒確定

>>114
はよ査読論文持って来いよ中卒

>>77
＞と矛盾するんだよな

0点
十分性が示されてない


逃げたのか？ん？

メコスジ伝

ニートきゅむ

>>123
高卒ニートのお前がか？ん？

ID:DBZ0KgBH0
http://hissi.org/read.php/akb/20130805/REJaMEtnQkgw.html

どんだけ友達いないのこいつ

>>125
論破されて悔しかったのか？ん？
高卒ニートＷＷＷＷＷ

>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

>>119
http://www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86
ご自慢の岩波数学辞典には載ってないかね？
http://i.imgur.com/qdKFgJp.jpg
http://i.imgur.com/yvdl2Wk.jpg

>>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒

>>128
>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

>>121
いやあ、悪い悪い
忙しくてな

申し訳ないんで

>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
や
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない

を主張してる資料を低脳が提示してくれたら低脳の勝ちでいいよ！
>>111 みたいな事は言わないので
どの大学/企業/研究所の誰が書いたのかはっきりしてれば
講義資料だろうと査読受けてない論文だろうと発表資料だろうと構わない

低脳の書いてる事が正しいなら資料もすぐ見つかるだろうし
待ってるぜ

ひとつ書き忘れた
資料を提示できない場合は
低脳の負け

シンプルでいいだろ

忙しくて書き漏らしが多過ぎるなw
期限を決めておこうか

2013/08/11（日）の23時59分までに低脳が
資料を出せない場合は低脳の負けってことでよろしく

楽しみだわw

当然永久機関を歓迎しましょう
一応君達に永久機関を全否定出来ますか？
無論御前達に永久機関を論破出来ますか？
多分貴方達に永久機関の可能性を無視出来ますか？

>>133
そんなもの必要ない
とっくに論破済み(ｷﾘｯ

とレスが来るでしょう
ええ

>>131
>>77
＞と矛盾するんだよな

0点
十分性が示されてない


逃げたのか？ん？

>>133
そもそも十分性が示されてない
十分性って意味わかるか？ん？

>>132
十分性を示せて無い時点でお前の負け
すでに負けてるんだよ

>>131
はよ査読論文もってこいゴミ

>>128
>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

完全にきゅむの負けw

>>141
悔しかった？
十分性を示せて無い時点でお前の負け

>>139
こんなレスしちゃってw
自ら自分が負けましたっつ言ってるようなものwww

>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

英語読めないもんなあwwwwwwwwww

>>143
はよ査読論文もってこいゴミ

>>145
はぁ？
読んでるが何か？

きゅむは英語も読めないくせに「査読論文」とか言ってるんすよwwwwwwww

違うんならなんか出してみろや

>>144
いくらでもあるが？
バカなのか？ん？

>>148
西成の高卒ナマポニートＷＷＷＷ

840 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/04/09(火) NY:AN:NY.AN 0
ほれ
180 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/19(火) NY:AN:NY.AN 0
>>178
原典読めよ高卒
http://consc.net/papers/2dargument.pdf

>>149
>>149
え？証拠は？

>>150
証拠まだ？

>>151
833 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/27(水) NY:AN:NY.AN 0
sws1.bu.edu/osan/Lin_Osan_Tsien_Trends_Neurosciences_2006.pdf
海馬のコーディング解読

きゅむの読んだ論文ひとつでいいからあげてみてよ？

>>152
128 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/11(月) NY:AN:NY.AN 0
シラードのエンジンは実際に作れる
www.ieice.org/~netsci/wp-content/uploads/2012/01/NetSci201201_Sagawa.pdf

>>154
676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

>>154
678 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ

これはデネットの言ってる思考実験と全く同じもの>>576

三択以前にクオリアという幼稚な発想が全く成立しないことが実験から明らか

認知プロセスのどの局面でも統一された感覚などと言うものは無いのだ
それぞれのモジュールがトップダウンとボトムアップで競合して処理が行われる
その処理結果は一つに定まるが、起こってることを一つに記述することは原理的に不可能なのだ
たがそのままではエピソード記憶が不可能になるので、統一された一つの感覚があったことに捏造して記憶野に格納する
クオリアなどというものはどこにも無いのだ

>>154
725 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
http://eugen.leitl.org/striz/striz.org/docs/tegmark-qd-brain.pdf
微小管のコヒーレンス時間は100fs
理論的に量子脳理論はあり得ないとフルボッコにされてんな
ハメロフはこれに反論せずに逃げてる

ツーソン会議っつーのはこういう追放されてるトンデモの逃げ場なんだよ

>>155
おまえさあ
論文名書いただけで証拠になると思ってんの？
真性バカ？

>>159
726 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>725
これに対してハメロフは引用はしてるのに一切反論してない
http://www.quantumconsciousness.org/BioSystemsElsevier.htm
逃げてるゴミ屑
こんなのは科学者ではないよ

>>159
は？
論文名にそんなもん一切無いが頭弱いのか？ん？

>>161
またごまかしかw

>>162
9 名前:非因果的ブラックボックス ◆nyDbrW8/YE [sage] :2013/03/19(火) NY:AN:NY.AN 0
チャーマーズはクソだな
アドホックな仮説で逃げまくってる
自分の発言が突っ込まれるたびに改訂して
In this version,
と何度も逃げてる

挙げ句の果てには
Still, it may be that the gap between 1-possibility and 2-possibility could be closed.
と、証拠の無い推測に過ぎないことを明記してしまっている

こいつの目的がわかった
こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ

http://consc.net/papers/2dargument.pdf
これな

>>158
わかったよ
じゃあこの論文のサマリー書いてみろ
英語でな

>>164
995 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/19(火) NY:AN:NY.AN 0
>>948
>>945
またレスせずに逃亡か？

>>843
チャーマーズはクソだな
アドホックな仮説で逃げまくってる
自分の発言が突っ込まれるたびに改訂して
In this version,
と何度も逃げてる

挙げ句の果てには
Still, it may be that the gap between 1-possibility and 2-possibility could be closed.
と、証拠の無い推測に過ぎないことを明記してしまっている

こいつの目的がわかった
こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ

consc.net/papers/2dargument.pdf
これな

>>164
白痴か？
アブスト読め高卒

どしたー？
アルファベット読めなくて困ったか？ん？

>>166
はあ？
おまえが何にも理解してないことがよくわかったw

はよ査読論文もってこいゴミ

>>168
お前の負け

144 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

>>165
白痴そのもの

>>171
>>168
お前の負け

144 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

>>170
はあ？
あたま悪いやつの思考は理解できん

査読論文がなんなのかすら知らんのだろ

>>173
>>171
>>168
お前の負け
持って来た事は沢山ある事が証明された

144 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>142
お前が査読論文持ってきたこと一度もないよなwwwwwwwwww

>>165
おいおいおいおいwwwwwww
おれはバカですって全世界にwwwwwwww

>>176
consc.net/papers/2dargument.pdf


はよ読み終われよ
要約出来ないのか？ん？

>>175
はあ？
意味不明なトンでも解釈持ってきて証明とか噴飯ものwwwwwww

きゅむがアホを全世界に曝してるw

あ、日本語圏だけか


よかったな英語書けなくてwwwwwwwwww

>>178
日本語になってない
何が解釈なの？ん？

きゅむの無知が証明された

>>180
>>176
consc.net/papers/2dargument.pdf


はよ読み終われよ
要約出来ないのか？ん？

>>182
大学行けよＷＷＷＷ
高卒ニートＷＷＷＷＷ

>>180
>>176
consc.net/papers/2dargument.pdf


はよ読み終われよ
要約出来ないのか？ん？

>>182
>>154
676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

>>183
でた！！
形勢不利になった時の得意のコピペ連投w

コピペすれば勝ったと思ってるから笑えるwwwwwwwwwww

>>187
はよ反論しろよ

>>154
676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

>>188
無視しても勝ったことにはならんよ？
永遠に逃げられない

>>186
英語で解説して
できるよね？
博士の学生なんだからwwwwwwwwww

>>190
>>186

>>191
は？
お前英語読めないから意味ないじゃん

>>192
で？
敗北した？

>>193
wwwwwwwww
ごまかすなよwwwwwwwwww

>>195
は？
なんで俺のレスに2つアンカーつけてんの？
狂った？ん？

英語書けない博士なんているの？

とうとう狂ったかＷＷＷＷＷＷ

192 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>190
>>186

>>197
英語読めるんだろ？原典読めよ

とうとう狂ったかＷＷＷＷＷＷ

192 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>190
>>186

>>197
きゅむは博士じゃないから読めなくて当然か

>>201
敗北したから自演？

とうとう狂ったかＷＷＷＷＷＷ

192 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:jn0NJiaA
>>190
>>186

>>202
はあ？
英語書けない博士とかあり得ないんですよw
昔どや顔できゅむが書いてた英語のひどいことひどいことw
中学生でももっとましな英語書くわwwww

>>203
>>551
反論しろよ？
はよはよはようＷＷＷＷＷ
676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

英語書けない博士wwwwwwwww

>>205
英語読めなくて反論不能か？

>>206
可愛いやつwwwwwwwwwww

指スレでバカにされてこっちきやがったwwwwwwwwwww

いやーきゅむってホント馬鹿ですねw

>>207
はぁ？
お前が後だよバーカ
時間見ろノロマＷＷＷＷ

>>207
高卒は全てがトロい
206 名前:ご冗談でしょう？名無しさん :2013/08/05(月) NY:AN:NY.AN ID:h3/RhEky
>>205
英語読めなくて反論不能か？


603 名前:名無しさん＠実況は禁止です :2013/08/05(月) NY:AN:NY.AN ID:wR33wASY0
きゅむ永久機関スレでバカにされてんぞ
急げwwwww

英語まだあ？

>>211
>
反論しろよ？
お前が英語読めることを証明出来なきゃ書く意味が無い

676 名前:非因果的ブラックボックス ◆nyDbrW8/YE :2013/03/12(火) NY:AN:NY.AN 0
>>470
本当に頭が悪いのなwwwww
www.cnbc.cmu.edu/braingroup/papers/buschman_miller_2007.pdf
これはマカク猿に画像の部分変化を与えて
視線移動測定と脳電極測定を行って認知した時刻と部位を特定する実験だ
報告なんて一切不要なんだよ
科学者は認識や判断が行われる時の必要条件と十分条件を知り尽くしている
だからどの指標を測ればその事が実証されるのかわかってる

認識を行い注意を向けるときにはどのような視線移動が行われるのかという知識が既にあるわけ
なぜなら中心窩で映像を捉えないと認識処理が進まないから、視線を追えば認知の進み具合が把握出来る事が証明されているからだ

そして視線移動の時刻と、脳活動の電極測定の時刻が比較される

この研究は前頭葉の判断によるトップダウン注意と、視覚野からのボトムアップによる注意の関係を時系列データにして探るものだ

英語で解説どうぞ

まさか英語できないの？

>>214
お前が英語出来ないの？

え？英語書けない博士？
いくらレベル低い院でもそれはちょっと…

>>216
英語読めないから反論不能か？

>>216
英語読めないから反論不能か？

きゅむスレでバカにされてんぞw

きゅむ帰宅した模様

最上級生27歳です(ｷﾘｯ

>>216
英語読めないから反論不能か？

きゅむスレワロタ

きゅむTOEFLいくつ？

>>224
そんなもん受けるわけ無いだろ？
負け犬か？お前

>>224
WWWWWWWWWWWWWW

>>226
>>225
そんなもん受ける学者は0

英語できないきゅむ

>>228
TOEIC晒せや
写真で

TOEICＷＷＷＷＷＷ

TOEFLだろ普通ＷＷＷＷ

>>230
はぁ？
どこが？
お前やっぱ中卒だろ？

はよ晒せや

TOEICとかまじかよＷＷＷＷ

ただの家庭教師フリーターじゃん

>>232
はよ晒せや

アメリカの大学院行きたかったらTOEFLでしょきゅむちゃん

>>234
はぁ？
言い訳してねーではよ貼れよ高卒

★マインドコントロールの手法★

・沢山の人が偏った意見を一貫して支持する
　偏った意見でも、集団の中でその意見が信じられていれば、自分の考え方は間違っているのか、等と思わせる手法

・不利な質問をさせなくしたり、不利な質問には答えない、スルーする
　誰にも質問や反論をさせないことにより、誰もが皆、疑いなど無いんだと信じ込ませる手法


↑マスコミや、カルトのネット工作員がやっていること

TVなどが、偏った思想や考え方に染まっているフリや常識が通じないフリをする人間をよく出演させるのは、
カルトよりキチガイに見える人たちを作ることで批判の矛先をカルトから逸らすことが目的。

リアルでもネットでも、偽装左翼は自分たちの主張に理がないことをわかっているのでまともに議論をしようとしないのが特徴。

きゅむっていろいろボロがでるから面白いｗ

貼ってくださいお願いしますだろ？

だから家庭教師フリーターなんだよ

21 エリート街道さん sage 2013/08/06(火) NY:AN:NY.AN ID:Z4iRNPo9
2013/08/05(月)

3回線かな？

基地外が2ちゃんやるとこうなるよという典型だな

これが自称慶應大学院生の指原ヲタの一日の過ごし方だw


ID:DBZ0KgBH0
http://hissi.org/read.php/akb/20130805/REJaMEtnQkgw.html

ID:vVjcQnW70
http://hissi.org/read.php/akb/20130805/dlZqY1FuVzcw.html

ID:Hm5gCyeM0
http://hissi.org/read.php/akb/20130805/SG01Z0N5ZU0w.html

>>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
http://www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86

こっちは整礎性公理と呼んでたのね
http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&;download_flag=1&upload_id=40760&metadata_id=12105

>>130
∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反
これを数学的に同値と言うのかね？
君の「数学的に同値」とか「内包」とはどういう意味かね？

ニートきゅむ敗北

>>238
貼れずに逃げたか？ん？

>>240
ZFじゃないだろ？
「ZFから正則性公理を除いたもの」だろ？
知能指数低すぎＷＷＷＷＷＷＷ

>>240
やっぱお前低学歴だなWWWWWWW
基礎の公理とか書いてるのはまともな大学じゃない

>>240
＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反

0点
ZF集合論では集合とみなされないので定理にならない

本当に本当に白痴だなお前ＷＷＷＷＷＷＷ

>>243
本当に数学が出来ないね

基礎の公理FAを除いて反基礎の公理AFAを入れるとx={x}となる集合xの存在が言える
ZFC-FA+AFAのモデルがZFC内に作れる
(これに載ってるそうだ　P. Aczel. Non-well-founded Sets. CSLI lecture notes Number 14. CSLI Publications,Stanford University, 1988.)
したがって、ZFCが無矛盾である仮定の下で
ZF-FA+(∃x(x∈x))は矛盾しない
つまり、ZF-FAから∀x(not x∈x)は証明出来ない

>>246
だから除いたものはZFじゃねーっの
知能指数50無いだろ？

>>246
＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない

だからどうした？
なんか意味あるか？それ
反論できなくなってごまかしてどうする？ん？

>>240
＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反

0点
ZF集合論では集合とみなされないので定理にならない

本当に本当に白痴だなお前ＷＷＷＷＷＷＷ

>>246
＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない

そりゃそんなことする必要全くないからなバカなのか？ん？

>>240
ZFじゃないだろ？
「ZFから正則性公理を除いたもの」だろ？
知能指数低すぎＷＷＷＷＷＷＷ

>>128
>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

逃げるなよ
>>240
＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反

0点
ZF集合論では集合とみなされないので定理にならない

本当に本当に白痴だなお前ＷＷＷＷＷＷＷ

なんかだんだんきゅむが二人いるように見えてきたｗ

証明も参考文献も挙げずにコピペで論破連呼してるだけの白痴未満と同じに見られてるのか

>>247>>248
> ZFじゃないだろ？
> 「ZFから正則性公理を除いたもの」だろ？
とか言われたから
∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

∀x(not x∈x)のZFでの証明
x∈xとなるxが存在したとすると
対の公理からy={x}が存在する
基礎の公理から、あるu∈yが存在してu∩yが空
ところがu∈yからu=xでありx∈uかつx∈yであるから矛盾
したがって任意のxについてnot x∈x

>>253
> ZF集合論では集合とみなされないので定理にならない
意味が分からん
君の脳内ZF集合論など知らんよ
そんな議論してる文献があるなら見せてくれ

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

だから？
お前が論破されてる件に全く関係ないんだが？ん？

>>255
＞意味が分からん
＞君の脳内ZF集合論など知らんよ
＞そんな議論してる文献があるなら見せてくれ

>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

そんなんで誤魔化せるとでも思ったのか？ん？
専門分野で教養に負けるとかＷＷＷＷＷＷ

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

>>139
低脳みたいな厳しいことは言わないので
条件>>131-133
あと、2chで議論する上での常識として
・文献や資料はWeb上にあり制限なく全て読めること
・言語は日本語か英語
が満たされてればいいかな

>>135
一人でほざいてるだけじゃ狂人の戯言と一緒だからね
あれだけ、自説に自信を持ってるのなら文献や資料の提示
なんて簡単でしょ？
一週間近く時間もあるし低脳は毎日書き込めるほど暇みたいだし
なので、粛々とカウントダウンするのみ

低脳敗北まで残り4日

>>261
>>131
はよ査読論文もってこいゴミ

敗北確定だよ

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

まさか査読論文無しとか？ＷＷＷＷＷＷ

>>262 >>264
あと4日あるから頑張ってな!w

>>265
お前とっくに敗北確定だよ
次のレスで査読論文貼れなかったからな

>>131
>>77
＞と矛盾するんだよな

0点
十分性が示されてない


逃げたのか？ん？


はよ査読論文もってこいゴミ

CFL条件を満たさない全ての系で
精度が全く落ちない事を証明出来ない限り
十分性が示されてないので主張とは認められない

キモヲタきゅむ

>>269
人生の負け犬=低学歴だなWWWWWWW

>>268
０点
根本的にわかってないなあんたw

>>271
根本的にわかってないのはお前だよ
十分性を理解してない

>>255
＞意味が分からん
＞君の脳内ZF集合論など知らんよ
＞そんな議論してる文献があるなら見せてくれ

>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

メコスジ伝

知らんがな

プロ市民（国籍不問w）ガチ推しの飛翔体キムチ太郎当選で未来はピカドン明るいね

http://www.hoshusokuhou.com/archives/29932855.html

>>274
ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
x∈xである集合xが存在するかどうかとは関係ない

そもそも公理を減らしたら証明可能な論理式が減るだけ
新たに矛盾が導かれるわけが無い

>>278
＞ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる

死亡確定だよお前ＷＷＷＷＷＷＷＷ
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ


＞x∈xである集合xが存在するかどうかとは関係ない

0点

>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い


0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ

>>271
>>268の書き込みがかなり痛いんだけど
それ自体わかってない所を見ると
シミュレーションの経験と知識はほぼ皆無でしょう、これは
想定の範囲内だったけど

条件>>131-133、>>261

低脳敗北まであと2日

>>279
死亡確定ですか
http://en.wikipedia.org/wiki/Russell's_paradox
http://mathworld.wolfram.com/RussellsAntinomy.html
http://plato.stanford.edu/entries/russell-paradox/
http://www.scientificamerican.com/article.cfm?id=what-is-russells-paradox

>>280
今更言うまでもない気もするが
論理を全く理解していないね

ボクのミニ四駆は永久機関で動いているよ

>>282
お前が死亡確定なんだよ
アドレス貼ってなんか意味あるのか？ん？

>>282
フレーゲの集合論知らないの？バカなの？ん？

>>281
査読論文貼れなかったお前は既に敗北してるんだよ
負けてから何足掻いてんの？ん？

>>282
＞今更言うまでもない気もするが
＞論理を全く理解していないね

なんでラッセルのパラドックスすら知らなかったの？
生きてる意味ある？

>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い


0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ

素朴集合論は矛盾だらけで使えないから公理を追加して抑え込んだのになＷＷＷＷＷＷＷＷＷ

頭弱いからわからなかったかＷＷＷＷＷＷ

>>286
予防線を張ったつもりで自爆してる>>268暇があったら
資料なり文献なりさっさと提示して勝負決めればいいのに
月曜日から金曜日まで何してたの？w

>>290
2ちゃんとオナニーとAKB

>>290
お前が査読論文貼れなかった時点で敗北してるんだよ
哀れＷＷＷＷＷ

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

難しいことはよくわからんが>>292の負けというのはわかったw

>>294
査読論文貼れなかった時点で敗北してるんだよ

これが先だからな

111 名前:ご冗談でしょう？名無しさん :2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4
>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外

>>291
本当に院生だとしても
下に付いた学生が可哀想w

>>294
まだ、時間があるのでもう少し待ってあげてください

淡々とカウントダウンするのみ
低脳敗北まで19時間を切りました

>>297
もうお前敗北済みだよ
査読論文持ってこいと言われたあと
無理だと悟って逃げ打ったんだろ？ん？

証明責任すら理解できないのは底辺大特有

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

はよ査読論文持ってこい
底辺大ＷＷＷＷＷ

>>162
9 名前:非因果的ブラックボックス ◆nyDbrW8/YE [sage] :2013/03/19(火) NY:AN:NY.AN 0
チャーマーズはクソだな
アドホックな仮説で逃げまくってる
自分の発言が突っ込まれるたびに改訂して
In this version,
と何度も逃げてる

挙げ句の果てには
Still, it may be that the gap between 1-possibility and 2-possibility could be closed.
と、証拠の無い推測に過ぎないことを明記してしまっている

こいつの目的がわかった
こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ

http://consc.net/papers/2dargument.pdf
これな

>>282
なんで自殺記念アドレス貼ってんの？

ボクのミニ四駆、ついに永久機関になったからヤフオクにだしてあげるよ

CFL条件が提唱されたのが1928年
1975年にＣｒａｙ-1発表

1970年台には実用的なシミュレーション論文が出てるので
CFL条件の議論は1928〜1960年台にはとっくに終わってる

にもかかわらず

>陰解法でもCFL条件を満たさなければ解は不正確になる
>安定な不正確な解が出るだけの話
や
>この情報とエネルギーの伝播を保証するのはCFL条件と言われていてあらゆるシミュレーションで必須の拘束条件
>これを破るシミュレーションは正しい結果をもたらさない

という内容の資料が一つも出てこないw

俺の探し方が悪いだけかもしれないので低脳に資料の提示を求めたわけだが
証明責任とか精度が全く落ちない事を証明しろとか喚くだけで
低脳が頑なに資料の提示を拒んでいるのが現状



条件>>131-133、>>261

低脳敗北まであと10時間を切りました

>>305
いやお前の主張を裏付ける資料が一つも出てこない
査読論文貼れなかった時点でとっくに敗北確定したぞ

まさか英語論文読めないのか？ん？

>>162
9 名前:非因果的ブラックボックス ◆nyDbrW8/YE [sage] :2013/03/19(火) NY:AN:NY.AN 0
チャーマーズはクソだな
アドホックな仮説で逃げまくってる
自分の発言が突っ込まれるたびに改訂して
In this version,
と何度も逃げてる

挙げ句の果てには
Still, it may be that the gap between 1-possibility and 2-possibility could be closed.
と、証拠の無い推測に過ぎないことを明記してしまっている

こいつの目的がわかった
こいつは単に周りを釣って反論させ、被引用数を稼ぎたいだけだ

http://consc.net/papers/2dargument.pdf
これな

>>284
そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが
http://upload.wikimedia.org/math/9/0/e/90e4544d455cca4479f0c67b0ff2d383.png
まあ、人はいつか死ぬのは恐らく確かだろう

>>293
ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない

そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが

>>296
Toward Useful Type-Free Theories. I
Solomon Feferman
The Journal of Symbolic Logic, Vol. 49, No. 1. (Mar., 1984), pp. 75-111.
http://www.impan.pl/~kz/truthseminar/Feferman_TypeFreeI.pdf

76ページ 5行目
> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which
> would be universal since ∀x(not x ∈ x) holds in ZF).

76ページ 下から4行目
> ZF and BG are both untyped formalisms, i.e. the levels which we have in mind in
> their informal interpretations do not appear explicitly in the syntax. Thus we can
> form expressions x ∈ y without restriction, in particular the expression x ∈ x.

>>309
＞>>293
＞ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当

0点
根拠無しの妄想

>>310
また死亡確定したなＷＷＷＷＷ
完璧に公理的集合論に型理論が内包される事しか言ってない

>>310
査読論文貼れなかった時点でとっくに敗北確定したぞ

慶應ってこんなに馬鹿なんだな

>>314
理科大のくせに？ん？

クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ？ん？

人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ？ん？


東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ

あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな？

詐欺師養成校なんか？ここ

ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ

理科大卒理科大教授の収入>>>>声られない壁>>>>きゅむの家庭教師バイト代

>>317
お前は理科大教授じゃない
つまりゴミ

ageる奴はキチガイの法則ってほんと鉄板だよな・・・

理科大卒理科大教授の収入>>>>声られない壁>>>>きゅむの家庭教師バイト代20万
http://i.imgur.com/fPAWy.jpg

しかもExcelで作った自演

もはや土毛座すべきのきゅむ

>>320
あれ？
お前それにも負けちゃったの？

>>321
残念でしたー>>24
もう痴呆症になったの？ん？

クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ？ん？

人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ？ん？


東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ

あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな？

詐欺師養成校なんか？ここ

ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ

自分で貼っておきながら忘れるとか俺には不可能だわＷＷＷＷＷ
神経系の性能がゴキブリクラスか？

>>324
金額違うよ
数字も読めないニートきゅむ

Excelで給与明細を自作するニートきゅむ

>>327
は？
当然2種類の明細と通帳を載せてるが？
頭狂ったのか？ん？

>>328
>>24
自分で貼っておきながら忘れるとか俺には不可能だわＷＷＷＷＷＷＷＷＷＷＷ
この>>24画像の隣に必ず>>320の通帳振込も貼ってある

やっぱり根本的に知能指数が低いんだなＷＷＷＷ

Excel自作の明細はこれしか貼ってないでしょ
痴呆症のニートきゅむ

>>332
貼ってるが何か？
頭弱いのか？ん？

そもそも自作じゃないから通帳が対応してるわけで

やっぱり根本的に知能指数が低いんだなＷＷＷＷ

クズ大学しか入れずに
何も生み出せずに死んで行くってどんな気持ちだ？ん？

人から金を騙し取らなきゃ生きられない犯罪者にしかなれなかったって
どんな気持ちだ？ん？


東京理科大なんてのは受精卵の段階から失敗作だろ
死んで詫びろクズ

あっそうそう
降圧剤ディオバンの詐欺やった女も理科大だってな？

詐欺師養成校なんか？ここ

ご丁寧にFacebookで理科大って書いてあるんだもんＷＷＷＷＷＷ

ぐぐっても20万のしか出てこないよニートきゅむちゃん

>>337
はぁ？
そんなもん知らねーな
テメーの探し方と記憶力がカスなだけ

>>337
http://i.imgur.com/XnBfk.jpg
あれあれ？
自殺しちゃうの白痴？
http://sp.logsoku.com/r/akb/1354709193/516


白痴

http://www.byoki-syojyo.net/body/Child-23.html
　精神薄弱とは、脳神経の障害のために、知能の発達が遅れ、
正常の社会に適応できなかったり、身辺の処理が困難であるものをいうが、
一般に精神薄弱の程度をしめすには知能指数が用いられる。

●　IQは軽愚（愚鈍）で50〜75、痴愚で25〜50、白痴で0〜25の3段階に分類される。

やっぱり根本的に脳神経の作りと知能指数が違うんだろうな

どう探したり整理したり関連付けたりすればいいか思考できないんだろうね
低性能

目子筋特別攻撃隊

>>311
君って0点以外の点数とった無いだろうね
ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ

>>312
白痴未満とんでもないな
書いてあることを読めずに書いてないことしか読み取ってない

>>343
＞>>311
＞君って0点以外の点数とった無いだろうね
＞ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ


だから？
何の意味も無いが頭弱いのか？ん？

>>343
＞>>312
＞白痴未満とんでもないな
＞書いてあることを読めずに書いてないことしか読み取ってない

お前の妄想を肯定する文は存在しない

>つまりZFで基礎の公理を使わずに証明できるって事ですよ



それ、ZFじゃないじゃん
公理的集合論ではない

専門分野で片手間教養に負けるとかＷＷＷＷＷＷＷＷ


哀れよのうＷＷＷＷＷＷ


やきうガキがプロサッカー選手にやきうで負かされたレベル

何日も考え抜いては数秒で潰されるアリンコ

やっぱり根本的に脳神経の作りと知能指数が違うんだろうな

http://hissi.org/read.php/akb/20130814/MWRWZVNKNXcw.html
566 ：名無しさん＠実況は禁止です[]：2013/08/14(水) NY:AN:NY.AN ID:1dVeSJ5w0
>>565
してないよ
こいつそもそも入れ方理解する能力ない
必死に効かない効かない叫んで無駄と思わせて退散して欲しいだけ

http://ja.wikipedia.org/wiki/%e3%81%99%e3%81%a3%e3%81%b1%e3%81%84%e8%91%a1%e8%90%84
すっぱい葡萄

あらすじ
キツネが、たわわに実ったおいしそうなぶどうを見つける。食べようとして跳び上がるが、ぶどうはみな高い所にあり、
届かない。何度跳んでも届かず、キツネは怒りと悔しさで、「どうせこんなぶどうは、すっぱくてまずいだろう。誰が食べてやるものか。」と捨て台詞を残して去る。


手に入れたくてたまらないのに、人・物・地位・階級など、努力しても手が届かない対象がある場合、
その対象を価値がない・低級で自分にふさわしくないものとみてあきらめ、心の平安を得る。フロイトの心理学では防衛機制・合理化の例とする。また、英語圏で「Sour Grapes」は「負け惜しみ」を意味する熟語である。

おっぱい葡萄

めこすじ

スジの上にぶどうアリ

やっぱり根本的に脳神経の作りと知能指数が違うんだろうな

>>279
> ラッセル集合は{x|x∈x}
> {x| not x∈x}はその否定
> つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ

>>310
> Russell set {x | not(x ∈ x)}


>>245
> >>240
> ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反
>
> 0点
> ZF集合論では集合とみなされないので定理にならない

>>310
> ∀x(not x ∈ x) holds in ZF

>>354
346 名前:ご冗談でしょう？名無しさん :2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE
>つまりZFで基礎の公理を使わずに証明できるって事ですよ



それ、ZFじゃないじゃん
公理的集合論ではない

ダメだよー反論不能になって逃げるのは
絶対に永遠に許さないからな

>>354
なんで無意味に単語で切るの？

>>310
＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which

英語できないからなの？

書き込みペース落ちてるよぉお？？？
フェードアウトしてごまかしちゃうの？
ごまかし人生ＷＷＷＷ

学生最後の夏休みの設定なんだから2ちゃんばっかしてるなよきゅむ

>>310
＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which
＞> would be universal since ∀x(not x ∈ x) holds in ZF).

え？
英語できないの？
マジで？？？？？

マジで？？？？？？


ＷＷＷＷＷＷ

>>359
反論不能か？
哀れよのうＷＷＷＷＷＷ

はよ査読論文もってこいゴミ

>>310
＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which
＞> would be universal since ∀x(not x ∈ x) holds in ZF).

え？
英語できないの？
マジで？？？？？

マジで？？？？？？


ＷＷＷＷＷＷ