[過去ログ] なぜ悪質な永久機関ビジネスはなくならないのか?4 (763レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
279(3): 2013/08/09(金) NY:AN:NY.AN ID:??? AAS
>>278
>ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
死亡確定だよお前WWWWWWWW
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことWWWWWW
>x∈xである集合xが存在するかどうかとは関係ない
0点
282(4): 2013/08/09(金) NY:AN:NY.AN ID:??? AAS
>>279
死亡確定ですか
外部リンク:en.wikipedia.org
外部リンク[html]:mathworld.wolfram.com
外部リンク:plato.stanford.edu
外部リンク[cfm]:www.scientificamerican.com
>>280
今更言うまでもない気もするが
論理を全く理解していないね
354(5): 2013/08/15(木) NY:AN:NY.AN ID:??? AAS
やっぱり根本的に脳神経の作りと知能指数が違うんだろうな
>>279
> ラッセル集合は{x|x∈x}
> {x| not x∈x}はその否定
> つまりラッセルのパラドックスが成り立たないことWWWWWW
>>310
> Russell set {x | not(x ∈ x)}
>>245
> >>240
> >∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
省5
387(9): 2013/08/17(土) NY:AN:NY.AN ID:??? AAS
>>367
重症だな
論理の初歩も知らずにデタラメ並べてごねてるだけだな
自然演繹NK、シーケント計算LK、ヒルベルトシステムとかどれか一つでも聞いたことあるかね?
>>384
{x: not x∈x}をラッセル集合と呼んでるようにしか解釈できないが
君の解釈は違うんだよね
>>279
> ラッセル集合は{x|x∈x}
> {x| not x∈x}はその否定
省3
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.026s