[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
606: 2014/02/15(土)22:38 ID:??? AAS
>>366
証明において全ての公理を使う必要は無い
そもそもZFの公理は無限個なのに対し、証明は有限の長さなのだから、全ての公理を使うのは不可能
本当に初歩的な知識も無いままデタラメ喚き散らしてる
>>372>>373>>377
論文はparaconsistent set theoryが主題だが、引用した部分は本題に入る前の枕として古典論理上でのラッセルのパラドックスについて述べている
paraconsistentという単語に反応してグダグダ喚く人工無能は平君
>>389
証明する意味など関係無く、証明能力の強いとはより多くの命題が証明できること
証明能力の強さが演繹体系の有用さではないということを矛盾した公理系の例から察しろというのは白痴未満君には無理な要求だった
>>390
ある命題が決定不能とは通常、その命題も否定も証明できないことを言う
肯定と否定が両方証明されるときはそもそも公理系が矛盾している
推論能力という言葉はあまり使われていないようで勝手に意味を決めて使ってもよいだろうが
おそらく大抵の人は証明能力の意味にとるだろうし、
白痴未満君が>>375でwikipediaからパクった文章でも証明能力の意味で使ってるだろう
そもそも脳神経の性能が足りてない敬君が証明という概念を理解しているか疑わしいが
>>495
多くの数学者は基礎論を殆ど知らない。基礎論に合わせることなど考えてもいないだろう
上下前次1-新書関写板覧索設栞歴
あと 157 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s