数学基礎論・数理論理学 その19 [無断転載禁止]©2ch.net
レス数が1000を超えています。これ以上書き込みはできません。
>>518
∀P(x)じゃなくて∃P(x)ならばラッセル集合を認めないPを選べば内包公理からはラッセル集合が導かれない事になるだろwwwwwwww
自分が何を主張してるのかすら記憶保持出来ないのが猿の脳だよなwwwwwwwwwwwwwwww
論文貼られて論破されて反論出来ずにソース無しの妄言とかwwwwww
息してるかー？低学歴
http://www.mbph.de/Logic/BLVAndCT.pdf
http://i.imgur.com/wDJfRnP.jpg
>>777
生きてる意味ないねお前
http://planetmath.org/russellstheoryoftypes
http://i.imgur.com/T0r8UKU.jpg
赤線部と全く同じ事をブルバキでは集合族によって実現してるんだよwwwww
これを知らなかった奴は今まで基礎論の知識が0だったと言って良い
この赤線部こそが詭弁術・修辞学と現代論理学を分ける分水嶺であるというのに知らなかったなんてwwwww
前スレ
数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
http://rio2016.2ch.net/test/read.cgi/math/1474357543/ >>950
代数学に値なんかあるわけねえだろ低学歴ガイジ これ同値とか同型の意味も理解してないって事でしょ
無条件に代入とか言っちゃうのって >>951
だからブルバキ集合論の最初のページを見ろ
第2章集合論 §1.集合を作りうる関係 の最初のところだ >>954
>>950
>>945
ZFCにそんな公理があるのか？
無い系が1つでも存在する時点で低学歴だろ
バカが単語をヒットさせてもバカのバカさが露わになるだけだぞ？ 単語を見つけてもそれがどういう文脈で書かれているのか理解出来ないバカ哲w
本をスキャンして検索出来るようにすれば知ったかぶり出来ると思ったんだろうなwwww >>952
代入される値ってのは任意のtermのことだろうがキチガイ
termはメタな再帰的定義によって導入されるんだよキチガイ >>957
日本語書けよバカ哲
メタなんて言葉は無いから >>957
termもあり得ない
未定義で使える単語じゃないから >>957
これ同値とか同型の意味も理解してないって事でしょ
無条件に代入とか言っちゃうのって >>957
何よりもさ
お前が低学歴である事がお前がバカである事の何よりの証明なんだよ
身の程知れよ つまり、知能が低く日本語の読み書きすら不自由
それが低学歴 >>960
無条件にtermを代入させないようにしたければ、メタレベルで文法規則を規定するしかない
という話をしてるんだよ^^; >>963
数学には代入などというものは存在しない
同値関係のみが存在する >>963
もともと代入などという操作は許されて居ないのだから如何なる規則も不要
お前は数学の根本を理解してないから むしろ同値関係を導入した後のみに等号の意味が定義されて「あたかも代入しているかのように見える同値な式」が存在し得る
同値関係も等号も無いのに「代入」なんて書けてしまうのは数学を全く理解してないって事でしょ >>965
結局ブルバキの当該ページ読んでないな？ >>968
読む必要がないからなぁ
ZFCにそんな公理が無い
はい論破
つまり、バカ哲は説明の文脈で代入という言葉が使われるにすぎないものを根本的に文脈を無視している
その文脈を説明出来ないのは文脈を理解してないからだよ >>968
もしバカ哲の言うように「無条件な『代入』を避ける」なる妄想のために公理が必須となるならば、それは全ての文書で1行目に記述するしかない
なぜならばそれが登場する前には「無条件な『代入』」とやらが行えてしまうからだ
しかしながら通常の数学ではそもそも代入など存在しない
同値関係と等号を導入した後に同値関係を導く式を「代入」と擬制して呼ぶ事が出来るのみである
つまり、「第2章」なんかに出てくる時点でお前は論理破綻してる 同値関係が定義されて等号の意味が規定されるまでそもそも「代入」など行い得ないという数学の基本すら理解してないわけだ
これは集合論や代数学の証明問題や演習問題を一切やらずに、すっ飛ばして「数学基礎論」の本を斜め読みしてるだけのバカ哲って事
低学歴にありがち
学問というものをそもそも理解してないって事でしょ 数学基礎論ってのはよー
数学の基礎がわからないバカにつけるクスリじゃねーのよ
数学の基礎をやってから出直して来な ￥
>798 :１３２人目の素数さん 2016/10/20(木) 21:50:04.37 ID:1+lfflhP
> >>797
>いや嘘つくなよ
>「ペアノ算術で形式化」って何だよ
>全く日本語にすらなってねーから
>
>799 :１３２人目の素数さん 2016/10/20(木) 21:50:43.86 ID:1+lfflhP
> >>781
>さっさと証明書けよ低学歴無学系
>
>801 :１３２人目の素数さん 2016/10/20(木) 21:55:44.94 ID:1+lfflhP
> >>800
>違うから
>形式化という造語自体が存在しない
>
>802 :１３２人目の素数さん 2016/10/20(木) 21:56:07.54 ID:1+lfflhP
> >>800
>形式化というものは存在しないからわかるという事は論理的にありえない
>
>804 :１３２人目の素数さん 2016/10/20(木) 22:02:06.27 ID:1+lfflhP
> >>803
>いやそんな定義ないでしょ？
>数学基礎論において形式化という用語は存在しない
>誰も使ってないよ
> 集合論に論理の公理が適用されてない？
何をバカなことを言ってるんだ？ >>974
文脈を説明出来ない時点でお前の誤りは明白
ZFCにはそんなものは無いからな
同値って意味わかる？
知らねーだろ？
低学歴のやってる事って、掛け算の九九すら知らないバカが指数法則を語ろうとするのに等しいよ >>975
されるわけ無いじゃん
バカそのもの
低学歴そのもの >>975
つまりさ、低学歴ってのは根本的な論理的思考力が無いのよ
「位相に幾何学が入ってないのはおかしい！その証拠に位相幾何学がある！」
くらいの非論理性
1発で「こいつバカだな」とわかる ￥
>805 :１３２人目の素数さん 2016/10/20(木) 22:03:23.88 ID:1+lfflhP
>集合論や位相を理解出来なかったバカが
>理解出来なかった自分を正当化するために全く無意味に「メタ」とか「形式化」とか未>定義造語を使ってるだけ
>
>相対性理論を理解出来なかったバカが光速度不変の原理を否定するために造語してるのと全く同じだから
>
>807 :１３２人目の素数さん 2016/10/20(木) 22:13:45.93 ID:1+lfflhP
> >>806
>メタも存在し得ない非数学概念
>degreeという写像を定義すれば良いだけなのでメタなる意味不明な未定義造語は完全に排除すべき
>
>809 :１３２人目の素数さん 2016/10/20(木) 22:14:47.60 ID:1+lfflhP
> >>808
>解説とは？
> むしろさ、数学基礎論とか論理学って
数学の基礎や論理的思考力を養うためには全く役立たないからな？
お前根本的に勘違いしてるだろ？ >>978
集合論の公理に論理公理が含まれてないと本気でいってるのかこの気違いは >>982
キチガイ低学歴はお前なんだよ
自分の学歴と偏差値思い出せ、アホ >>982
位相に幾何学が入ってないと本気で思ってるのかとか言われても
腹筋が鍛えられるだけなんだがwwwwwwwwwwww 集合論の公理に論理公理を付け加えた体系を定義可能なことは、集合論の公理に論理公理が含まれていることの十分条件ではない
こんな論理的思考も出来ないバカが何読んでも意味ないよ
それ般若心経とか読むのと意味的に変わってないから 論理式や推論規則を眺めても論理的思考力は身につかないという根本的事実を知らなかったんだろうなw >>983
本読めばわかることをなんでわざわざ否定するのかね？
・理論の含む公理とは論理公理(logical axioms)に加えて固有の公理(nonlogical axioms)
・特定の理論を規定するためには固有の公理を示せば足りる
・ZFの公理(nonlogical axioms)は以下のもので・・・最初の公理は外延性公理と呼ばれる
http://imgur.com/a/9Zbqg
集合論が数学理論である限り論理公理は含まれる。
お前の大好きなWikipediaにそう書いていないから騙されちゃった？ｗｗｗｗｗ >>989
つまり低知能低学歴だから「理論」の定義すら読めなかったわけだ
集合論は理論じゃないよ？ >>989
思いっきりfirst order theoryって書いてあるじゃん
低学歴は死んでろガイジ >>989
first-order theoryってのはな、「これまでしてきた集合論の話に一階述語論理の体系を加えます」って意味なんだよ低知能低学歴ガイジ
バカに文字を与えてもバカがバレるだけ ￥
>811 :１３２人目の素数さん 2016/10/20(木) 22:20:33.57 ID:1+lfflhP
> >>810
>ああ内包公理がラッセルのパラドックスを生んでると思い込んでるタイプ？
> >>1読めよw
>
>812 :１３２人目の素数さん 2016/10/20(木) 22:21:07.84 ID:1+lfflhP
> >>810
>2 １３２人目の素数さん[] 2016/10/08(土) 16:16:42.49 ID:52M/HeZt
> >>517
>は？
>内包公理とは無関係にラッセル集合を認める公理を追加すれば良いだけだろ？
>知能低すぎだろこいつwwwwwwww
>
>すなわち内包公理が「存在しない」事は¬∀P(x)ですらないのだから
>内包公理が存在しないならばラッセル集合を許容する∃P(x)の存在は否定されていない
>故にお前が大好きで大好きでたまらない「メタレベルの議論」ではラッセル集合Rを許容する公理∃P(x),∃x {x∈P(x)}が禁止されない事になるから矛盾を来す
>お前が大好きで大好きでたまらない「メタレベルの議論」とやらではこのような公理も受け入れてしまう事になる
>
>ラッセル集合を明示的に禁止しない論理学は存在不可能
>
>バカはバカだねえwwwww
> >>991
お前の思ってる体系のことなんか知らんわ。
何度も言わせるな。
体系の名も具体的に示してないくせにバカが >>992
違うよ全然
さっさとお前の使ってる体系の名を言えよ
言えないんだろ？
お前の脳内にしかないからなｗｗｗｗｗｗｗｗｗｗｗｗｗ もちろん俺は論理学には公理的集合論が「含まれている」などと主張した事は無いから
論理学は公理的集合論を「付け加えた上で」「明示的にラッセルのパラドックスを否定しない限り」「矛盾する体系となり爆発律により全く意味が無いものとなる」と主張してるわけ
というか俺の主張ではなくラッセルらやブルバキの主張だけど
基礎論からこんなのも読み解けないバカは生きてる意味ないよ このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 14日 21時間 13分 44秒 ２ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ ２ちゃんねる専用ブラウザからの広告除去
★ ２ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
http://premium.2ch.net/
http://pink-chan-store.myshopify.com/
レス数が1000を超えています。これ以上書き込みはできません。
