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

>>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).

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

マジで？？？？？？


ＷＷＷＷＷＷ

norすら知らないブンケー高卒とかＷＷＷＷＷＷ

てゆーか英語できないブンケーってなんだ？？？
なんも出来ねーじゃん
ブンケーっていうか白痴系じゃん

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

ZFで基礎の公理を使わない？
それ、公理的集合論じゃねーと何度言ってもスルーしてるよな？
よな？
ラッセル集合を認める公理系は公理的集合論とは呼ばない

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

ZFで基礎の公理を使わない？
それ、公理的集合論じゃねーと何度言ってもスルーしてるよな？
よな？
ラッセル集合を認める公理系は公理的集合論とは呼ばない

nor

フレーゲ以前のレベルのまま死んで行く高卒

there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF


WWWWWWWWWWWW

Journal of Applied Logic
Volume 3, Issue 1, March 2005, Pages 15-41

http://www.sciencedirect.com/science/article/pii/S1570868304000503
The most popular of those is the so-called Russell set, R := {x|not x∈x}, for by the law of
excluded middle one immediately gets ‘R∈R∧not R∈R’, an apparent contradiction.

>>370
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF


WWWWWWWWWWWW

>>370
paraconsistentは公理的集合論ではない
バカなのか？ん？

公理的集合論というものがどういうものなのか全く理解できないのなＷＷＷＷＷＷＷ

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

ZFで基礎の公理を使わない？
それ、公理的集合論じゃねーと何度言ってもスルーしてるよな？
よな？
ラッセル集合を認める公理系は公理的集合論とは呼ばない

nor

ばーかＷＷＷＷＷ


矛盾許容論理は常に古典論理よりも弱い
矛盾許容論理は他の論理体系よりも弱いとされている。
これはつまり、矛盾許容論理による推論能力が弱いということである。
矛盾許容論理では、通常の論理体系で偽とされるものを真とする可能性があるが、問題はそこではなく、
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
そういった意味で、矛盾許容論理は古典論理よりも「保守的」あるいは「慎重」である。




矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。
矛盾許容論理が古典論理の拡張ではなく、古典論理ができることを全てできるとは言えない点にある。

>>370
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF


WWWWWWWWWWWW

パラコン持ってくるとか完全なる敗北宣言ですやん？

メコスジヤロウ ノ セカイ

メコスジーノ

てゆーか英語できないブンケーってなんだ？？？
なんも出来ねーじゃん
ブンケーっていうか白痴系じゃん

白痴は中国語でバイツーと読む

日本語の馬鹿に相当するよく使われる言葉

http://dl.acm.org/citation.cfm?id=319317
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-425.pdf
The Russell set R might be written as the comprehension {x: not x∈x}, but ZF allows
only comprehension over some previously constructed set S

>>382
>>370
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF
there is nor any Russell set in ZF


WWWWWWWWWWWW

>>382
自殺？ん？

In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
The Russell set R might be written as the comprehension {x : x ̸∈ x}, but ZF allows only comprehension over some previously constructed set S, as shown in Figure 1.



自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

>>367
重症だな
論理の初歩も知らずにデタラメ並べてごねてるだけだな
自然演繹NK、シーケント計算LK、ヒルベルトシステムとかどれか一つでも聞いたことあるかね？


>>384
{x: not x∈x}をラッセル集合と呼んでるようにしか解釈できないが
君の解釈は違うんだよね
>>279
> ラッセル集合は{x|x∈x}
> {x| not x∈x}はその否定
> つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ

基礎の公理があるなら{x|x∈x}は単に空集合だね
集合の否定とか不思議な表現だね

>>375
推論能力の強さでいったら
矛盾している素朴集合論はそこからあらゆる論理式を証明できる最強の体系ですよ

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

真偽を決定不能=推論能力低い


こういう意味で使われてる

バカすぎるＷＷＷＷＷ

>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

証明可能なことと真偽決定可能なことの区別がついてないのなＷＷＷＷＷ

つーか必要条件と十分条件の違いすら理解できないのなＷＷＷＷＷ

http://www.citizenhearing.org/jp/index.html
シチズンズ・ヒアリング：ディスクロージャー
45年間、米国議会が成し得なかった、人類に関わる地球外生命体の問題を取り巻く事実の追求を、このシチズンズ・ヒアリングが行います。

http://www4.ocn.ne.jp/~ds08pro/
公開プロジェクトの摘要書
http://www4.ocn.ne.jp/~ds08pro/BriefingDoc_JPNhiro_ver1.1.pdf

http://www.youtube.com/watch?feature=player_embedded&v=ulWK-Ni-xiw
UFO ディスクロージャーの動画（日本語の字幕がつきました！）
http://www.youtube.com/watch?v=KicoTXPF1_E&list=PL4109D290157F3C57

真偽決定不可能なものを推論とは呼ばない
白痴すぎる

メコスジヤロウ ノ セカイ

>>375
散々けなしてた日本語版バカペディアから丸写しか
http://ja.wikipedia.org/wiki/%E7%9F%9B%E7%9B%BE%E8%A8%B1%E5%AE%B9%E8%AB%96%E7%90%86

>>390
君は勉強したことも無いくせに勝手に決め付けるよね
科学なめてるよね

>>397
>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？

>>398
証明可能なことと真偽決定可能なことの区別がついてないのなＷＷＷＷＷ

つーか必要条件と十分条件の違いすら理解できないのなＷＷＷＷＷ

無能が何やっても無駄
脳神経の性能が足りてない

>>398
証明可能であることは推論可能であることの十分条件ではない


と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

必死にコピペして水遁されたニートきゅむ

論理で対抗できないからコピペ連発でごまかすきゅむw

>>401
何回同じコピペしてるの。
バカなの？

コピペに必死で水遁された
基地外肥満ニートきゅむ

なぜ悪質な目子筋レスはなくならないのか？６９

>>404
>>398
証明可能であることは推論可能であることの十分条件ではない


と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

>>341
自戒を込めた発言ですか？w
資料も提示できない負け犬クンw

>>408
お前の貼った資料にお前が自殺するべきという文章が書いてあるぜ？ん？

自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

>>409
馬鹿だねw負け犬はw
一週間猶予をやって資料出せるか試してあげただろ？w

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


絶対安定のADIスキーム

On the Fourth-Order Accurate Compact ADI Scheme for Solving
the Unsteady Nonlinear Coupled Burgers’ Equations
ttp://www.atlantis-press.com/php/download_paper.php?id=891?

ADI schemes for higher-order nonlinear diffusion equations
ttp://www3.nd.edu/~zxu2/acms60790S11/ADI_nonlinear_diff_eqn.pdf

A Generalized Peaceman--Rachford ADI Scheme
for Solving Two-Dimensional Parabolic Differential Equations
ttp://link.springer.com/article/10.1023%2FA%3A1025631211217

最後は査読論文じゃないけど、負け犬がシミュレーション分かって無いからおまけだw
ADIスキームの説明
ttp://blossom1.s.kanazawa-u.ac.jp/else/cdrom/main_part1.pdf

>>410
全く意味不明
安定性には正確という意味はないから解答になってない
0点

>>410
安定であることは正確であることの必要条件ではあるが十分条件ではない


つまり0点

査読論文未だに貼れずの負け犬ＷＷＷＷＷ
正確であることの必要性が示せてない

訂正
査読論文未だに貼れずの負け犬ＷＷＷＷＷ
安定である事の必要性を示しただけで
正確であることの十分性が示せてない

>>411-413

はい、ひっかかったw
ラックスの等価原理をお勉強しましょうね
Richtmyer, R. D. and Morton, K. W.: Difference mithods,for Initial-Value Problems, John Wiley and Sons Inc. (1967)

適切な線形初期値問題と整合性を満たす差分近似が与えられた時、"安定性"が収束の必要十分条件となる
ここで、収束とは格子幅が0に近づくに従い、離散方程式の解が微分方程式の厳密解に近づくことをいう

絶対安定なスキームでは
格子幅を0に近づける方法はCFL条件が満たされていなくとも構わない

そうでないというなら

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

↑資料だしてねw

コピペ肥満ニート敗北寸前

　　　　／￣| .　　人
　　　　|　　｜.　（＿_） イェ〜ィ！
　　　 ｜ 　｜. （＿＿）　ウンコッコー！
　 ,―　　　　＼（ ・∀・）
　| ＿＿_） 　 ｜　　ノ
　| ＿＿_） 　 ｜）＿）
　| ＿＿_） 　 ｜
　ヽ＿＿）＿／

>>415
本当に知能指数低いのなＷＷＷＷＷＷ
格子幅を小さくしたら自動的にCFL条件が満たされる
CFL条件を破ったままなら収束することは不可能

>>415
しかもラックスの等価原理で言ってる安定性と
CFL条件で言ってる安定性は全く異なる

単語がたまたま「安定性」と似てるだけで定義が違う

つまり何一つ言及した事になってない

>>418
やっぱり、負け犬はCFL条件誤解してるな

CFL条件は時空間の刻み幅の関係を表すものでしかないのに
なんで
>格子幅を小さくしたら自動的にCFL条件が満たされる
こう書けるんだ？

時空間の刻み幅そのものの大きさとは全く無関係だって散々上で書いたのに
結局理解できなかったのか…
適当な事書いてる暇があったら資料出せよw

>>420
CFL条件を破ったままなら収束することは不可能

この文を無視しないと都合悪いもんなぁ？

CFL条件を破ったままなら収束することは不可能

逃げるなよ？

CFL条件を破ったままなら収束することは不可能

>>415
しかもラックスの等価原理で言ってる安定性(ラックス・リヒトマイヤー安定性)と
CFL条件で言ってる安定性は全く異なる

単語がたまたま「安定性」と似てるだけで定義が違う

つまり何一つ言及した事になってない

都合の悪い部分から逃げる事は絶対に認めない
永遠にな

>>422
永遠に資料を出す事から逃げてる負け犬が何を書いてんの？

>>423
査読論文出せないの悔しかった？ん？
なんの関係も無いもの貼っても意味無いんだわ

>>424
絶対安定なスキーム出た時点で煙に巻こうとしても無駄だよ
CFL条件的にもラックス・リヒトマイヤー安定性的にも安定なんだから

で、CFL条件満たしてなくとも収束するわけ
負け犬は屁理屈ごねてないで、はよ資料出してね

>>407
その「推論可能」の意味は君が勝手に決めたものだよね
http://plato.stanford.edu/entries/logic-paraconsistent/
> The contemporary logical orthodoxy has it that, from contradictory premises, anything can be inferred.

>>409
コピペでレス流してるのか知らないけどさ
君の言う「ラッセル集合」は{x| not x∈x}ではなくて{x|x∈x}なんだよね？
その解釈で文章のつじつまが合うかね？

>>425
お前痴呆症か？
前スレから無条件安定なんてのは既にお前が出してて既に反論されてる
無条件安定だろうが絶対安定だろうが全く意味が無い

安定は正確であることの十分条件じゃない

>>427
反論w もう無理するなよw
負け犬は早く資料出せばいいだろw
それで済むのに何で言い訳ばかりして逃げてるの？w

それに尽きるw

>>426
いや？
真偽決定可能=推論可能
論理学における推論はこれ以外の意味で用いられることはない

>>428
お前が正確であることの十分性を示せる資料を示せなかった時点で敗北確定なんだよ

童貞きゅむ

>>430

絶対安定なスキームが存在して >>410
ラックスの等価原理で収束 >>415
>>425

もう笑いすぎて腹痛いから言い訳するのやめて
資料出してくださいよ
負け犬さん

また日数決めて勝敗決める？
イージーゲームだなw

>>432
421 名前:ご冗談でしょう？名無しさん :2013/08/18(日) NY:AN:NY.AN ID:73xMykX8
>>420
CFL条件を破ったままなら収束することは不可能

この文を無視しないと都合悪いもんなぁ？

CFL条件を破ったままなら収束することは不可能

逃げるなよ？

CFL条件を破ったままなら収束することは不可能

査読論文貼れやの次のレスで十分性を示した査読論文貼れなかった時点で敗北確定してる
今更取り消そうとしても無駄

>>433
>CFL条件を破ったままなら収束することは不可能

苦し紛れにもほどがあるだろ
どういう根拠で収束は不可能だといいたいわけ？

>>404
>>398
証明可能であることは推論可能であることの十分条件ではない

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

未だに理解出来ないのか？ん？
なんなら真偽決定不能なのに推論可能と言えるケースの存在を証明してみろ

きゅむの分が悪いな

>>435
そもそも収束なんてもんは正確さとは無関係だがな
なぜなら数値計算のリソースは有限だから実際には収束などしない

>>438
もう屁理屈しか書けないのか
ご苦労さん
負け犬の言う正確ってのは何かはっきりさせてよw

後出しで色々出してくるから、正直疲れるんだけどw

あと、はよ資料出してねw
資料出せば済む話なんだから

>>439
は？
正確性なんて解析解との差に決まってんだろ
数値解と解析解とのノルムでいい

434 名前:ご冗談でしょう？名無しさん :2013/08/18(日) NY:AN:NY.AN ID:73xMykX8
査読論文貼れやの次のレスで十分性を示した査読論文貼れなかった時点で敗北確定してる
今更取り消そうとしても無駄

>>440
それだけじゃ不十分だろw
ノルムの値がどの程度以下なら正確だと考えてるわけ？
負け犬さんよ、はっきりさせようやw

陽解法でも誤差は蓄積していくからアホな値を設定すると
こいつ分かってねーなってのがすぐばれちまうぞ

っていうかさ、解析解が存在しないシミュレーションなんて
幾らでもあるわけだけどその場合は
>数値解と解析解とのノルムでいい
なんて出せないんだけど

こういう所で分かってねーなってのがばれるんだよなw
もうボロが出るからこれ以上書き込むの止めたら?w


>>441
貼れやのって何？
顔真っ赤にして書いた文そのまま貼り付けて何がしたいの、負け犬は？

はよ資料出してくださいよ、負け犬さんw

>>442
なんでもいいね
精度を任意に設定して任意のケースで満たせるかどうか

査読論文貼れや
査読論文貼れや
査読論文貼れや
査読論文貼れやの次

434 名前:ご冗談でしょう？名無しさん :2013/08/18(日) NY:AN:NY.AN ID:73xMykX8
査読論文貼れやの次のレスで十分性を示した査読論文貼れなかった時点で敗北確定してる
今更取り消そうとしても無駄

>>442
解析解が存在しない？
はぁ？

テメーがラックス・リヒトマイヤー安定性出してきたんだろうがＷＷＷＷＷＷＷ

もしかして全く理解してなかったの？ん？
ラックス・リヒトマイヤー安定性では解析解が存在しなければ定義不可能なわけだが
自殺しちゃうの？ん？

>>446
まあ、そう怒るなや負け犬w
解析解のある場合はノルム
そうで無い場合は>>443ね

で解析解のある場合でも
精度は任意で設定していいのか？
何でもありになるがw

あと、資料早く出してねw

>>447
え？
ラックス・リヒトマイヤー安定性は放棄でいいの？
放棄しないの？
だって解析解が無いケースなんだろ？ん？

はよ査読論文貼れやカス

>>447
＞で解析解のある場合でも
＞精度は任意で設定していいのか？
＞何でもありになるがw

根本的に知能指数低いのなWWWWWWW
>>438

>>448
解析解のある場合ってんだから
ラックス・リヒトマイヤー安定性だけど、そんな事も分からないの？
負け犬はw

で任意精度でいいの？w
ノルム0.1以下でいいなら楽勝だぞw

>>450

あれ？
なにこれ？

>>442
＞っていうかさ、解析解が存在しないシミュレーションなんて
＞幾らでもあるわけだけどその場合は

おっかしいなー
解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて


>>442
＞っていうかさ、解析解が存在しないシミュレーションなんて
＞幾らでもあるわけだけどその場合は


？？？？？

もしかして全く理解してない付け焼き刃？

>>450
>>449
文盲か？
ん？

>>452
はいはい、反撃できたつもりだろうけど
解析解がある場合のノルムはどの程度以下なら正確性があると考えてるのか
逃げずに早く答えてね

あと、資料早く出してくれw

>>454
はぁ？
読めよ文盲
>>453

おっかしいなー
解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて


>>442
＞っていうかさ、解析解が存在しないシミュレーションなんて
＞幾らでもあるわけだけどその場合は


？？？？？

もしかして全く理解してない付け焼き刃？

専門分野が付け焼き刃で瞬時に滅ぼされるってどうなのよＷＷＷＷＷＷ

くさやきうのガキがプロサッカー選手に喧嘩売ってやきうで滅ぼされる感じＷＷＷＷ

>>457
資料も出せない、正確性も明確に出来ないんじゃ
話にならないんだけど

>>459
>>455

資料出せないのはお前だけ

くさやきうのガキがプロサッカー選手に喧嘩売ってやきうで滅ぼされる感じＷＷＷＷ

おっかしいなー
解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて


>>442
＞っていうかさ、解析解が存在しないシミュレーションなんて
＞幾らでもあるわけだけどその場合は


？？？？？

もしかして全く理解してない付け焼き刃？

おっかしいなー
解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて


>>442
＞っていうかさ、解析解が存在しないシミュレーションなんて
＞幾らでもあるわけだけどその場合は


？？？？？

もしかして全く理解してない付け焼き刃？

>>398
証明可能であることは推論可能であることの十分条件ではない


と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

30 エリート街道さん sage 2013/08/19(月) NY:AN:NY.AN ID:hUGDOXfl
自称慶應大学大学院　理工学研究科　後期博士課程の狂った指原ヲタが「きゅむ」と呼ばれる由来
ゲロブス指原莉乃のことを　「りのきゅむ」　と気持ち悪い呼び方しちゃう痛い奴ｗｗ


http://hissi.org/read.php/akb/20111121/VmhlRTdxWkYw.html
507 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0
りのおおおおｐ

526 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0
りーのー

564 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0
りののりのの

589 ：名無しさん＠お腹いっぱい。[]：2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0
りのきゅんきゃわわ

708 ： 名無しさん＠お腹いっぱい。 ： 2011/11/21(月) NY:AN:NY.AN ID:VheE7qZF0
天使の三段活用！
りのくん
りのきゅん
りのきゅむ！

>>398
証明可能であることは推論可能であることの十分条件ではない


と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

31 エリート街道さん sage 2013/08/19(月) NY:AN:NY.AN ID:hUGDOXfl
これが自称慶應大学大学院　理工学研究科　後期博士課程のキチガイ指原ヲタ「きゅむ」の投稿
尋常じゃない投稿数ｗ
マジキチですｗ


2013/08/03(土)
ID:Ty5M4Lub0
http://hissi.org/read.php/akb/20130803/VHk1TTRMdWIw.html
http://i.imgur.com/ssvUM2F.jpg
↑
このＩＤだけでこの日の投稿数1位獲得ｗ

ID:x6l7mE3O0
http://hissi.org/read.php/akb/20130803/eDZsN21FM08w.html
ID:wO1fPix20
http://hissi.org/read.php/akb/20130803/d08xZlBpeDIw.html
ID:8TyZp0Xf0
http://hissi.org/read.php/akb/20130803/OFR5WnAwWGYw.html
ID:JBHWioOt0
http://hissi.org/read.php/akb/20130803/SkJIV2lvT3Qw.html



2013/08/04(日)
ID:1MHxMfR50
http://hissi.org/read.php/akb/20130804/MU1IeE1mUjUw.html
http://i.imgur.com/YgIPb6Z.jpg
↑
投稿数ダントツの1位ｗ
2位以下を大きく引き離す投稿数ｗ

32 エリート街道さん sage 2013/08/19(月) NY:AN:NY.AN ID:hUGDOXfl
2013/08/05(月)
この日も発狂しまくりの自称慶應大学大学院　理工学研究科　後期博士課程のキチガイ指原ヲタ「きゅむ」


ID:DBZ0KgBH0
http://hissi.org/read.php/akb/20130805/REJaMEtnQkgw.html
http://i.imgur.com/6FJaIIK.jpg
↑
このIDだけの投稿数ダントツの1位ｗ
安定のダブルスコア！


以下他のＩＤ
ID:3S0EPeOp0
http://hissi.org/read.php/akb/20130805/M1MwRVBlT3Aw.html
ID:vVjcQnW70
http://hissi.org/read.php/akb/20130805/dlZqY1FuVzcw.html
ID:Hm5gCyeM0
http://hissi.org/read.php/akb/20130805/SG01Z0N5ZU0w.html

>>398
証明可能であることは推論可能であることの十分条件ではない


と言ってやると白痴は理解出来ずに混乱するのかＷＷＷＷＷＷ

>>388
証明しても意味無いから
なぜなら矛盾により肯定の証明と否定の証明が同時に行えるので
真偽を決定出来ないから
真偽決定不可能ならば推論可能とは言えない

マジで理解できないのなＷＷＷＷＷＷＷＷＷ
お前単語に脊髄反射する人工無能だわ

おっかしいなー
解析解が存在しなければ定義不可能なラックス・リヒトマイヤー安定性を持ち出しておいて


>>442
＞っていうかさ、解析解が存在しないシミュレーションなんて
＞幾らでもあるわけだけどその場合は


？？？？？

もしかして全く理解してない付け焼き刃？

>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

ｹﾞﾛﾌﾞｽ指原莉乃を「りのきゅむ」と呼ぶ童貞ｷﾓｦﾀｗ
http://awabi.2ch.net/test/read.cgi/akb/1376757715/

>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

不完全性定理とか連続体仮説とかのあたりでは"undecidable"は"neither provable nor refutable"の意味で使うよね
"provable and refutable"とは違うよね

>>461
自称プロサッカー選手がバッターボックスから突然三塁方向に走り出してランニングホームランだと言い張ってる感じ

>>474
「あたりでは」なんて言い方はあり得ない
学会で統一されてる
独自用法してるやつはリジェクト

>>475
>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

こっちはスルーするんですかね

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

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

>>478
お前がスルーしてんだよ
nor

norがついてる文からnorを削除して抜粋と称するか？
それは捏造だ

357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN
>>354
なんで無意味に単語で切るの？

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

英語できないからなの？

>>476
出たな脳内学会
独自用法は君だろうに

>>482
「あたりでは」なんて言い方があり得ない
バカ過ぎ

なんでこれにレスつけずに逃げつづけてんの？ん？

357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN
>>354
なんで無意味に単語で切るの？

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

英語できないからなの？

>>481
英語出来ないのは君だよね

>>485
nor

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

まさかなぁ…

まさかなぁ…

きゅむは英語できないの？

no

>>490
だから？ん？

きゅむが英語できないの認めたWWW

>>483
かなり近い分野の計算可能性とかだと別に意味になるし

>>487
そんな意味にとって文章全体でどんな意味になるって妄想してるんだろうね

>>493
0店
数学基礎論で使われてる意味と矛盾する語法は数学全ジャンルで絶対にあり得ない

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

>>492
英語出来ないのはお前だろ？ん？
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

なんでこれにレスつけずに逃げつづけてんの？ん？

357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN
>>354
なんで無意味に単語で切るの？

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

英語できないからなの？

>>492
英語出来ないのはお前だろ？ん？
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

きゅむは英語できないの？

no

だから？ん？


英語できないの認めたWWWWWWWW

>>500
それがなんか意味あるのか？ん？
nor以降の意味に何の関係も無い

は？自問自答しただけだ

きゅむは英語できないの？

no


きゅむ→　だから？ん？


はい、英語できないの認めましたＷＷＷＷ

>>502
はぁ？
何も答えてねーが？ん？
俺が聞いてんだよ

きゅむは英語できないの？

no

だから？ん？



英語できる人ならnoを否定するはずだよな？ん？

英語できないこと認めちゃいましたＷＷＷＷＷＷＷ

>>504
小学生か？ん？
そのnoは

>>310
＞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).

のnoだ
文脈読めないアスペルガー引きこもりとかWWWWWWW

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

メコスジヤロウ ノ セカイ

きゅむは英語できないの？

no

だから？ん？

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

>>475
>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

>>339
しょべーw

この程度なら穀物先物や貴金属先物やれば一瞬だわ
でも、9割以上が1年以内に退場する世界だから勧めないけどな

まあ、きゅむは
・クソニート
・留年ドクター
・研究職最下層の助教
のどれかだとしても始めるのは金銭的に無理w

レバレッジ効かせるにしても種銭が無いと始められないし
助教だとしても年収300万台だろ？w

>>512
学生時代無銭の最底辺ナマポニートＷＷＷＷＷ

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

>>512
同年齢比較したら何一つ1秒ですら勝てずに死ぬナマポニートＷＷＷＷＷ

メコスジヤロウ ノ セカイ

>>515
反論にすらなってないがw
スライム=学生
スライムベス=院生
だとしたら
成り立ての助教なんてドラキー程度だろ？w

>>517
お前はただのミジンコだろ

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

>>518
いつものキチガイじみた切れが無いなw

GMOのトレードアイランドなんかは
金融資産と利益が一発で見られるから
それ見せられたらぐうの音も出ないんだろうが

きゅむの現状じゃ始めるのも無理だからなw
才能無いと資産飛ばすだけだし、きゅむにはお勧めできないw

>>520
年齢と現金見せられない時点でナマポニートＷＷＷＷＷ

norも理解できないバカがアメリカの政策なんかわかるわけねぇ
ただのカモＷＷＷＷＷ

norも理解できないバカがアメリカの政策なんかわかるわけねぇ
ただのカモＷＷＷＷＷ

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

>>494

もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？

hold inは現れないって意味だ
白痴

There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない

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

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

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

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


ゲロブス指原のヲタが精神異常者にしか見えない件
http://toro.2ch.net/test/read.cgi/mental/1374499817/

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

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

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

>>475
>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

論文0
特許0
データ0

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

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

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


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

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

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

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

線積分すら出来ないよーなクズがエネルギー語ったら
そりゃあ100%詐欺になるしかない

線積分すら出来ないよーなクズがエネルギー語ったら
そりゃあ100%詐欺になるしかない

超メコスジ

メコスジーノ

>>495
お前ほんとに数学知らないのね
regularとかどれだけの意味で使われてると思ってるんだ

>>496
hold inは「現れない」なんて訳すのか
The Binomial Theorem holds in any commutative ring
http://crazyproject.wordpress.com/2010/09/12/the-binomial-theorem-holds-in-any-commutative-ring/

慶應博士って英語読めなくても取れるのね

>>536
norの後だからなぁ
英語出来なかったの悔しかった？ん？

>>536
このページのは訳は「〜における」だな


あれ？
白痴って文脈読む知能指数足りてない？

>>536
＞お前ほんとに数学知らないのね
＞regularとかどれだけの意味で使われてると思ってるんだ

やっぱり文脈読む能力0？

>>536
>>475
>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

>>538
動詞じゃないのか
想像も付かなかった

The Use of Ultraproducts in Commutative Algebra, 第 1999 号 12ページ
http://books.google.co.jp/books?id=ohbdke-cBxwC&hl=ja&pg=PA12#v=onepage&q&f=false
We will give meaning to the expression a satisfies the formula φ(ξ) in A (sometimes abbreviated to
φ(a) holds in A, or is true in A) by induction on the number of quantifiers.

>>540
俺はZFやZF-FAでラッセル集合が作れるなんていってないはずだがな
俺の言うラッセル集合は{x|not x∈x}で、基礎の公理があるなら∀x(not x∈x)だから{x|not x∈x}は集合全体、too big
君はなにやら違うものをラッセル集合と呼んでるようで

>>541
日本語で対応する動詞は存在しない
バカなのか？ん？

>>542
>>536
>>475
>>387
>>382
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺？
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.

>>542
痴呆症か？ん？

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

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

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

全ての公理的集合論は型理論を内包している

これを否定しようとして完全論破されたのがお前

>>541
sometimesの意味すら知らない中卒かＷＷＷＷＷ

たかしくんwww

あぼーん

>>544
コピペをそのまま返して何を言いたいのかね？

>>545
数学的に同値とはどういうことかね？
同値というなら逆に型理論の方は公理的集合論を内包してないのかね？

>>547
君は英語全く読めないのね

あぼーん

http://www.epcos.org/library/papers/pdf_2010/Posters/PA10-Saiki.pdf
Nanoscale writing and erasing of amorphous marks in a GeSbTe thin film with a gold nanoparticle by femtosecond laser irradiation
Takashi Hira and Toshiharu Saiki
Department of Electronics and Electrical Engineering, Keio University

https://confit.atlas.jp/guide/event/jsap2013a/subject/18a-C14-9/class
[18a-C14-9]金ナノロッドを用いたナノ領域相変化および検出
11:15 AM 〜 11:30 AM
○（DC）平敬，本間貴士，内山貴之，斎木敏治
慶大院理工
高密度記録,光ナノスイッチ,相変化材料

あぼーん

>>553
http://www.jsap.or.jp/activities/annualmeetings/index.html
2013年 第74回応用物理学会秋季学術講演会
開催場所： 同志社大学京田辺キャンパス（京都府京田辺市多々羅都谷1-3）
期間： 2013年9月16日(月) 〜 20日(金)

https://confit.atlas.jp/guide/event/jsap2013a/session/18a-C14-1~11/class
[18a-C14-1~11] 3.7 近接場光学
03．光
一般セッション(口頭講演)
2013年9月18日(水) 9:00 AM 〜 12:00 PM
C14 (TC3 2F-215)

たかし…

なぜわかった？ん？

http://kaken.nii.ac.jp/d/p/19106004/2011/3/ja.en.html
Presentation
T.Hira: "A Complete Switching of the Surface Plasmon Resonance due to Ultrafast Pphase Change of GeSbTe Substrate" 2011 MRS Spring Meeting. (20110427). アメリカ
T.Hira: "Femtosecond Nanoscale Phase-Change Dynamics in GeSbTe Thin Films" The 11th International Symposium on Optical Memory. (20110719). アメリカ(INVITED)(招待講演)
T.Hira: "Giant Surface Plasmon Resonance Switching of Gold Nanoparticles Based on Ultrafast Phase Change of GeSbTe" The 2011 European symposium on Phase Change and Ovonic Science. (20110906). スイス(INVITED)(招待講演)
T.Hira: "Surface Plasmon Resonance Switching of Gold Nanoparticles Based on Ultrafast Phase Change of GeSbTe" The Symposium on Phase Change Optical Information Storage (PCOS) 2011. (20111118). Shizuoka
平敬: "フェムト秒ナノスケール電子励起によるGeSbTeの相変化誘起" レーザー学会学術講演会第32回年次大会. (20120131). 仙台(招待講演)

あぼーん

同志社での発表楽しみだわｗ

あぼーん

たかしくんってどのくらい凄い人なの？

2ちゃん書き込み数で世界トップとるくらいかな？

あぼーん

みんなで同志社つめかけようぜ！

あぼーん

あぼーん

大学ってこんなゴミの面倒まで見ないといけないの？大変ですね。

　　　　　　　　　　　　　_,,..r'''""~~`''ｰ-.､
　　　　　　　　　　　 ,,.r,:-‐'''"""~~`ヽ､:;:;:＼
　　　　　　　　　　 r"r　　　　　　　　　 ゝ､:;:ヽ
　　 r‐-､　　 ,...,,　|;;;;|　　　　　　　,,.-‐-:､ ヾ;:;ゝ
　　 :i!　 i!　　|: : i! ヾ| r'"~~` :;:　::;",,-‐‐-　 `r'^!　
　　　 !　 i!. 　|　 ;|　l| 　''"~~　　　､　　　　　　i' |　　　　　イェーイ
　　 　 i!　ヽ　|　　|　|　　　 ,.:'"　　　､ヽ､　　　!,ﾉ
　　　　ゝ　 `-! 　:|　i!　　.:;:　'~~ｰ~~'"　ﾞヾ　: : ::|
　　 r'"~`ヾ、　　　i!　i!　　 ,,-ｪェI二エﾌﾌ　: : :::ﾉ~|`T 　　 敬（たかし）くん見てるー？
　　,.ゝ､　　r'""`ヽ､i!　`:､　　 ー　-　'"　:: : :／ ,/ 　　　　　　　　
　　!､　 `ヽ､ー､　　 ヽ‐''"`ヾ､.....,,,,＿,,,,.-‐'",..-'"
　　 | ＼ i:" ）　　　　 |　　　~`'''ー---―''"~

あぼーん

あぼーん

あぼーん

へいけーいけーい♪へいけーいけーい♪
人生捨ててもまだマジキチ♪
あっと驚く奇跡も起きない♪
あなたと日吉であえそうだね確信♪

名前バレして来なくなったってことは、
今までの所業が悪いことだとは認識できていたってことだよね？
本物のキチガイではなかったってことか・・・意外だな。

AKBスレで絶賛大暴れ中

>>574
本物のキチガイだよ
指原スレ行ってみなよ

あぼーん

>>558
講演ばかりで論文が>>552しか出てこないんだよな
しかも、さらに謎なのは斎木研の業績に全くきゅむが出てこないんだけど
どういうことだってばよ？

で、
>>552の論文見るとFDTD法のシミュレーションやってるね
前スレ

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

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

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

↑
FDTD法の知識を元に書いていると考えると多少はすっきりする

しかし、同志社大の発表どうするんだろうな
金払えば一般人でも公聴できるよね？
いよいよ顔バレするのか

往復3万かけてまで京都行く気にはなんないなーw

微小系でしか適用されない現象を強制適用するという誤謬というか詭弁を押し通すのが特徴だよな

同志社大のヤツ、満席ワロスｗｗｗ
なんか「同志社オフ」をやるみたいｗｗｗ

あぼーん

タカティーｗｗ

なかっち 動画
http://www.youtube.com/watch?v=z2qK2lhk9O0s



みんなで選ぶニコ生重大事件 2012
http://vote1.fc2.com/browse/16615334/2/
2012年　ニコ生MVP
http://blog.with2.net/vote/?m=va&id=103374&bm=
2012年ニコ生事件簿ベスト10
http://niconama.doorblog.jp/archives/21097592.html


生放送の配信者がFME切り忘れﾌﾟﾗｲﾍﾞｰﾄを晒す羽目に 放送後に取った行動とは?
http://getnews.jp/archives/227112
FME切り忘れた生主が放送終了後､驚愕の行動
http://niconama.doorblog.jp/archives/9369466.html
台湾誌
http://www.ettoday.net/news/20120625/64810.htm

>>549,551,554,559,561,564,566,567,570,571,572,577 削除依頼乙

◆nyDbrW8/YE　=　非因果的ブラックボックス（哲学板荒らし）　=　きゅむ（AKBスレ荒らし）　=　慶応大学 理工学研究科 後期博士課程 T. H.

アイドルだけに留まらず、
こいつの学歴差別ならぬ「学歴差“蔑”」は完全アウトだからな。
哲学板では先鋭的過ぎてタダのキチガイ。
排気風力発電関連では、各大学や大手企業(特に三菱系)へ対する病的に激しい名誉毀損。
物理学の大学院生としては許されない明確な詭弁の数々。
本来の意味での確信犯。
これで慶大が放置したら、慶大も同罪な。


●「誹謗中傷した人」が法的保護を受けることは難しい

「誹謗中傷をしていたことが明らかになったということを理由に、損害賠償請求をすることは難しいと思います。自ら不法な行為をしていた以上、その者を保護するべき必要が乏しく、また、そもそもどういった権利が侵害されたのかということも必ずしも明らかでないからです」
http://headlines.yahoo.co.jp/hl?a=20130905-00000739-bengocom-soci

あぼーん

あぼーん

ひらたかｓ君ビビッてるｗｗ

ひらかた市レスが悉くあぼーんｗ

これっていったいどっちの「主張」の方が正しいん？

＃純粋に「学術的」に。

ダクト排気で風力発電でエネルギーを生み出すことは原理的に不可能

発電のためのエネルギー分排気能力を落とすことになるが，
それならダクトの回転数を落とした方が節電になる。

このスレではもう排気風力発電の話なんか殆どしてないわけだが
>>590の「主張」がそのことをいってるのなら
>>31にある過去ログ見ればよかろ

排気風力発電肯定派の意見のまとめは
http://uni.2ch.net/test/read.cgi/sci/1292341218/792
とか

こんなこといってたのに>>356>>358
白痴未満大学院生はもう来ないのか

英文の査読論文要求しといてマトモに英語読めないのには参った
常に予想の上を行くダメさ

あのヘンテコなholdの解釈でvon Neumann読んでるとか酷い冗談

本名割れちゃったからね
恥ずかしくてこれないでしょw

もしかして学会中止？
悪運強えな

平平平

敬敬敬

読み返すとコピペに流されて見逃してたものが見つかるな

>>537はnorが関係代名詞which、接続詞sinceを飛び越えてholdに係るって言ってるのか

> 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).

そもそもholdsの主語は∀x(not x ∈ x)という命題であって、それが現れるだの現れないだの意味が分からない
norがどうたら言ってるから全然違う構文解釈しているのだろうが、そうなると中学高校レベルの英語もまるで出来てないということだろう


>>547ではsometimesをどんな意味だと言い張るつもりだったんだろう？

>>495
http://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86#.E6.B1.BA.E5.AE.9A.E4.B8.8D.E8.83.BD.E5.91.BD.E9.A1.8C.E3.81.AE.E4.BE.8B
数学と計算機科学において、「決定不能」という言葉には二つの異なった意味がある。
一つ目は証明論の文脈でゲーデルの定理に関連して使われる意味であり、特定の形式的体系の下で或る命題を証明も否定の証明もできないことを言う。
二つ目は（本項では詳述しないが）計算可能性理論に関連した用法であり、命題ではなく決定問題に適用される。
決定問題とは答が YES か NO のいずれかになるような問題の可算無限集合である。ある問題集合に含まれる全ての問題に正しく解答するような計算可能関数が存在しないとき、そうした問題は決定不能であると言う。

>>469
http://en.wikipedia.org/wiki/Paraconsistent_logic#Example
で例に挙げられたLPでは、仮定p, not p, qからqは証明できてnot qは証明できない
敬君の意味で仮定p, not p, qからqが推論可能
一方、古典論理では仮定p, not p, qからqもnot qも証明できる
敬君の意味で仮定p, not p, qからqは推論不可能

paraconsistent logic LPは古典論理より、敬君の意味で推論能力が高いことになる

>>375の引用と合わないね

>>375
http://www.iep.utm.edu/para-log/
Secondly, since DS is a valid classical inference, we can see clearly that a paraconsistent logic will validate fewer inferences than classical logic.
(No classically invalid inferences are going to become valid by dint of inconsistent information.)
That is the whole idea―that classical logic allows too much, and especially given the possibility of inconsistency, we must be more discriminating.
This is sometimes expressed by saying that paraconsistent logics are ‘weaker’ than classical logic; but since paraconsistent logics are more flexible and apply to more situations, we needn’t focus too much on the slang.
Classical logic is in many ways more limited than paraconsistent logic (see §4c.).

「矛盾許容」とか「弱い」といった言葉の響きだけで分かったつもりになっているようでは理系として無能
博士課程まで来てそんなでは救いようが無い馬鹿

http://uni.2ch.net/test/read.cgi/sci/1364780009/190
　　↑　　↑　　↑　　　↑　　↑　　↑

http://www.st.keio.ac.jp/event/2013_index.html?2
博士学位請求論文公聴会
日程：2014/02/05(水)13:00〜14:30
発表者：平 敬
題目：カルコゲナイド相変化材料を用いた局在表面プラズモン共鳴スイッチング
専攻：総合
場所：電子工学科会議室（25-402)

>>119>>129>>244
基礎の公理の成り立たない集合論 (non well-founded set theory) について
渕野 昌
http://kurt.scitec.kobe-u.ac.jp/~fuchino/foundation.html


>>258>>280>>289>>311
鴨 浩靖
http://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-b.html
よくある間違い2 「正則性公理（基礎の公理）はパラドックスを排除するために導入された」
数学の理論で公理を増やして定理が減ることはありません。だから、公理を追加することで矛盾が解消することなど、ありえません。
集合論そのものをよく知らなくても、常識を働かせるだけですぐわかる間違いです。なんでこんなのを信じちゃう人がいるんでしょうねえ。

>>366
証明において全ての公理を使う必要は無い
そもそもZFの公理は無限個なのに対し、証明は有限の長さなのだから、全ての公理を使うのは不可能
本当に初歩的な知識も無いままデタラメ喚き散らしてる

>>372>>373>>377
論文はparaconsistent set theoryが主題だが、引用した部分は本題に入る前の枕として古典論理上でのラッセルのパラドックスについて述べている
paraconsistentという単語に反応してグダグダ喚く人工無能は平君

>>389
証明する意味など関係無く、証明能力の強いとはより多くの命題が証明できること
証明能力の強さが演繹体系の有用さではないということを矛盾した公理系の例から察しろというのは白痴未満君には無理な要求だった

>>390
ある命題が決定不能とは通常、その命題も否定も証明できないことを言う
肯定と否定が両方証明されるときはそもそも公理系が矛盾している

推論能力という言葉はあまり使われていないようで勝手に意味を決めて使ってもよいだろうが
おそらく大抵の人は証明能力の意味にとるだろうし、
白痴未満君が>>375でwikipediaからパクった文章でも証明能力の意味で使ってるだろう

そもそも脳神経の性能が足りてない敬君が証明という概念を理解しているか疑わしいが

>>495
多くの数学者は基礎論を殆ど知らない。基礎論に合わせることなど考えてもいないだろう

>>268
必要条件、十分条件、量化子、反例といった論理の基本からしてめちゃくちゃ

>>418
CFL条件を理解していないか、そもそも不等式というものが理解できていないか

>>266>>434>>441>>444
自分の主張の正しさより何でもいいから自分が勝ったことにするのに必死
突然、変てこな論文貼りゲームやってたことにして、その勝手に決めたルールには自分の勝利条件しかない
まるで幼稚園児

◆nyDbrW8/YE　=　非因果的ブラックボックス（哲学板荒らし）　=　きゅむ（AKBスレ荒らし）　=　慶応大学 理工学研究科 後期博士課程 T. H.

アイドルへの激しい中傷だけに留まらず、
こいつの学歴差別ならぬ「学歴差“蔑”」は完全アウトだからな。
哲学板では先鋭的過ぎてタダのキチガイ。
排気風力発電関連では、各大学や大手企業(特に三菱系)へ対する病的に激しい名誉毀損。
物理学の大学院生としては許されない明確な詭弁の数々。
本来の意味での確信犯。
これで慶大が T. H. を放置したら、慶大も同罪な。

https://www.google.co.jp/search?q=nyDbrW8/YE&safe=off&tbm=isch

２０１２年に世界中の政府に手渡されたUSBスティックが台湾政府によって、
台湾ケッシュ財団グループにリリースされたと知らされた。

そして私たちの要望に答えて、その全内容が今日公開された。

http://oriharu.net/KesheFoundation/KF_org%20data.rar

フリーエネルギー詐欺
ttp://mizu888.at.webry.info/201403/article_93.html

フィックス・ザ・ワールド・チームが、量子エネルギー発電機（Quantum Energy
Generator; QEG）と呼ばれるオーバーユニティー装置を製造しました。
ここでQEGについて読むことができます。
http://hopegirl2012.wordpress.com/2014/03/25/qeg-open-sourced/
QEGユニットの詳しい図面と作り方はこちらからダウンロードできます。
http://hopegirl2012.files.wordpress.com/2014/03/qeg-user-manual-3-25-14.pdf

オカルトビジネス糾弾スレかと思ったら学歴スレなのかｗｗｗｗｗ

巨人軍は永久に…永遠に…

大国に囲まれたほぼ無勝、千敗の超〜賎人は(バイクじゃなく)馬や船に乗って来たヒャッハー
なお兄さん達に(少年誌だから描かれないが当然)go韓され続けたため、その末裔こそが気性
の激しい△△魔となってしまったのは無慈悲な地政学的宿命。リアル性器待つ覇者○○○○ハ
ーンと同一のYを継ぐ者が現在全世界で1600万人もいるが貢献大。恨の文化や歴史捏造癖は
(ドラマと異なり)惨めな歴史故だがお陰で若干体格は良くなり一部のオバ様達をあ〜逞しいと
言わしめましたとさ。あ〜キムい、キムい。

「だ、誰だキサマ！」
「当ててみな　メコスジワールドへご招待するぜ」

真空中に機械を電磁場で浮かせれば
空気抵抗も摩擦もなくなる

半永久的な機関（といっても損失が小さいだけで、エネルギーを生み出す訳ではない）
は可能かもしれんね

トラックの下にファンをつけて充電する機会を開発したとか
あったけど、まあそれで空気抵抗とか重量が増して燃費が
わるくなっても、プラマイ０にはならないような設計というのもあるし。

運転手が寝るときにエンジンを吹かしたり、バッテリーが上がったときの
非常用ともいうし。

>>618
>プラマイ０にはならないような設計というのもあるし。
そりゃあるさ、マイナスにしかならないんだから。

今バッテリーの節約のために、トンネルでもライトをつけない
トラックや車も多いし。
もう一個余分に積んでいる分、安心してライトくらいつけろよと。

http://energiauniversal.eco.br/
ブラジルで生産されているフリーエネルギー装置らしいです。

この装置は、アース･エレクトロン・キャプチャー・ジェネレーター（地球電子捕獲発生器？）、ポルトガル語で“GERADOR CAPTOR DE ELETRONS DA TERRA”と呼ばれる。

学歴差“蔑”者　2014年卒　平 敬　（博士）
インターネットに永遠の黒歴史を自ら標す

学歴差“蔑”者　2014年卒　平 敬　（博士）
インターネットに永遠の黒歴史を自ら標す

米ロッキード、10年以内に小型核融合炉実用化へ
http://daily.2ch.net/test/read.cgi/newsplus/1413440379/
ロッキードによると、小型の核融合炉は、重水素と三重水素の融合反応を利用したもので、
化石燃料の約１０００万倍ものエネルギーを生み出せエネルギー効率が高まる。
また将来的には別の物質を使って、放射性廃棄物を完全になくせる可能性もあるという。

>>624
素直にゼロポイントエネルギーなどUFOの技術あるのを使えばいいのに？？

あの、、日本人の場合、それが金になるかならないかで
考えるんですよね。

もしそれが出来たら金融システムが崩壊するということまで
考えない。

その先のこととか考えられないように、生まれつき育て
られてきてるわけですよ。

だから未来が見えない。

未来を見ないように報道も学者も政治家もさせてるわけですよ。

そういう人たちは、日本人が未来を見てしまうと、
自分達の身の上が危険になるものですからね。

だから、アインシュタインやノーベルやエジソンが
理解できるレベル以上
の人は育てないように決められてるんです。

国内のどんな良い大学出ても、自分の幸せ以上の事が考え
られないという意味がわかりますか？

インターネット全盛の時代、さすがにそういうのも厳しくなってると思うけど

物理板では話しにくい事を話してみたんですけどね。。

どうもこの板はおかしい。。

色々なスレ見てるけど、みんなごまかされてるように思う

圧縮空気で３０キロくらい走れるバイクってのがあったけど、どうなったのかな？

>>632
ボンベに空気詰めるのにエネルギーがいるって知っとる？

風害が出てる。黒字というか。赤字というか。黒字でおす？
自転、公転、宇宙、宇宙以外、最近遅いよな。

えらく低能な人口無能が来てるな

　
お世話になります。
私、責任者の加茂と申します。以後、宜しくお願い致します。
http://www.apamanshop.com/membersite/27009206/images/kamo.jpg
浪速建設様の見解と致しましては、メールによる対応に関しましては
受付しないということで、当初より返信を行っていないようで、今後につい
てもメールや書面での対応は致しかねるというお答えでした。
http://www.o-naniwa.com/index.html　事務員 東条 南野
http://www.o-naniwa.com/company/
このように現在まで６通のメールを送られたとのことですが、結果一度も
返信がないとう状況になっています。
http://www.apamanshop-hd.co.jp/　加茂 舟橋
http://s-at-e.net/scurl/nibn-apaman.html
私どものほうでも現在までのメール履歴は随時削除を致しております
ので実際に１１通のメールを頂戴しているか不明なところであります。
　　
　・ハンガー・ゲーム　　　http://s-at-e.net/scurl/TheHungerGames-Aircraft.html
　・スタートレック　　　　　http://s-at-e.net/scurl/StarTrek-Aircraft.html
　・アバター　　　　　　　　http://s-at-e.net/scurl/Avatar-Shuttle.html
　
　・アバター　　　　　　　http://s-at-e.net/scurl/Avatar-Dragon.html
　・トランスフォーマー　http://s-at-e.net/scurl/Transformers-Flyingboat.html
　・Star Citizen　　　　　http://s-at-e.net/scurl/StarCitizen-Starfarer.html
　
　・Ｔ　　　http://s-at-e.net/scurl/ia-T.html
　・Ｚle　　http://s-at-e.net/scurl/ia-Zle.html
　
大阪府八尾市上之島町南 ４-１１ クリスタル通り２番館203
に入居の引きこもりニートから長期にわたる執拗な嫌がらせを受けています。
この入居者かその家族、親類などについてご存知の方はお知らせ下さい。
[email protected]

https://www.youtube.com/watch?v=SDqalCW-w14

どうなってんだよこれは、エッシャーの絵みたいじゃないか。
誰か説明してくれ。こんな方法で作れるのかよ。

ピタゴラスイッチでやってほしいな。

由緒正しい永久機関だな。
騙されるのはバカだけでバカが騒ぐというところまで様式美だ。

いいから、カラクリを解説してくれ。バカでもわかるように。。

なんで下から上に球が登ってくんだよ。。

作ってる人もなんかからくりがあるとほのめかしてるのに、どうして動くか教えろってのは手品のタネ教えろと強要するような不粋な行為だぜ。

「おもろい手品やなあ」で終わっとけ。

馬鹿は目まで悪いのか。
明らかにベルトコンベアが仕込んであるじゃないか。

>>644　てめぇ。紙細工のベルトコンベアが作れるって言うのかよ。
こいつぁ、手の込んだプロの仕業だぜ。

磁石っていうのは、永久機関ではないのですか？

>>646
永久機関の定義をよおぉぉく、見直せ。

何故馬鹿はあれが全て紙細工だと思い込んでるんだろうねえ。
純粋なのかな。

ここまで仕掛けについて言及なし

見破れねぇなら、ネタバラシになってねぇじぇねぇかよ。

http://dres8.ebookbank.jp/sc/view_flash/sample/9-275025-84/FIX001/index.html
これでも見やがれ。２ちゃんのバナーだ。