- 1 名前：１３２人目の素数さん mailto:sage [2016/08/30(火) 19:43:58.39 ID:evqgj3ZF.net]
- 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その16
rio2016.2ch.net/test/read.cgi/math/1435492940/
- 844 名前：１３２人目の素数さん [2016/09/20(火) 03:56:20.20 ID:YkboklIM.net]
- >>817-818
キミがそこで言っている おかしな話は、
俺の主張が おかしいことが原因で発生した おかしさなのではなく、
俺の言葉尻を機械的に捉えて機械的に別の話に変換したのが おかしさの原因なのであり、
つまりはガイジ君の話の変換の仕方が おかしいってことにすぎないんだよ
ガイジ君の頭の悪さが露呈しているだけであって、何の批判にもなってないよね
何度も言うけど、
「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」
この事実がある時点で全てが吹き飛ぶんだよ
普通の人間は、これを見て「無関係」だなんて思わない
ガイジ君はどうしても「無関係」ということにしたいらしいけど、
それはつまり、ガイジ君が無知でバカだっていうだけの話だよね
- 845 名前：１３２人目の素数さん [2016/09/20(火) 03:58:05.19 ID:YkboklIM.net]
- >>820-621
何度も言うけど、そうやって言葉尻を機械的に捉えて
無理やり批判に持っていこうとしても無駄だよ
「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」
この事実がある時点で全てが吹き飛ぶんだよ
普通の人間は、これを見て「無関係」だなんて思わない
ガイジ君はどうしても「無関係」ということにしたいらしいけど、
それはつまり、ガイジ君が無知でバカだっていうだけの話でしょ
- 846 名前：１３２人目の素数さん [2016/09/20(火) 04:01:55.94 ID:JNe/5TIk.net]
- 低学歴ガイジって
「位相が存在する時のみに位相幾何学は成立し、位相幾何学が成立するならば必ず位相は存在する」
という自然言語を見て
「位相と位相幾何学は全く同じ！完全対応！むしろ『同値』」
とか言えてしまう猿のことでしょ？
実際には全く同値でもないし対応も無いけどwwww
やっ�
- 847 名前：ﾏ公理的集合論に基づく論理学を理解してないから自然言語と論理式の翻訳すら不可能なんだなwwww []
- [ここ壊れてます]
- 848 名前：１３２人目の素数さん [2016/09/20(火) 04:03:27.03 ID:YkboklIM.net]
- >>824
キミがそこで言っている おかしな話は、
俺の主張が おかしいことが原因で発生した おかしさなのではなく、
俺の言葉尻を機械的に捉えて機械的に別の話に変換したのが おかしさの原因なのであり、
つまりはガイジ君の話の変換の仕方が おかしいってことにすぎないんだよ
ガイジ君の頭の悪さが露呈しているだけであって、何の批判にもなってないよ
- 849 名前：１３２人目の素数さん [2016/09/20(火) 04:04:16.66 ID:JNe/5TIk.net]
- >>822
低学歴ガイジって
「位相が存在する時のみに位相幾何学は成立し、位相幾何学が成立するならば必ず位相は存在する」
という自然言語を見て
「位相と位相幾何学は全く同じ！完全対応！むしろ『同値』」
とか言えてしまう猿のことでしょ？
実際には全く同値でもないし対応も無いけどwwww
やっぱ公理的集合論に基づく論理学を理解してないから自然言語と論理式の翻訳すら不可能なんだなwwww
これを「言葉尻」とか言えてしまうのが猿脳の特長だな
論理学の基本レベルにすら達してない
バカが基礎論読むと賢くなるとか思っちゃったの？ん？
- 850 名前：１３２人目の素数さん [2016/09/20(火) 04:04:47.11 ID:JNe/5TIk.net]
- >>825
>>822
低学歴ガイジって
「位相が存在する時のみに位相幾何学は成立し、位相幾何学が成立するならば必ず位相は存在する」
という自然言語を見て
「位相と位相幾何学は全く同じ！完全対応！むしろ『同値』」
とか言えてしまう猿のことでしょ？
実際には全く同値でもないし対応も無いけどwwww
やっぱ公理的集合論に基づく論理学を理解してないから自然言語と論理式の翻訳すら不可能なんだなwwww
これを「言葉尻」とか言えてしまうのが猿脳の特長だな
論理学の基本レベルにすら達してない
バカが基礎論読むと賢くなるとか思っちゃったの？ん？
- 851 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 04:07:55.93 ID:jSe92bp3.net]
- ￥
>55 :１３２人目の素数さん 2016/09/18(日) 22:27:13.98 ID:ol2qzlaN
>東京の税金たからないで関西に帰れよ部落民
>
>59 :１３２人目の素数さん 2016/09/18(日) 22:54:42.02 ID:ol2qzlaN
>お前の親でもない赤の他人の東京都からナマポふんだくって一人前ズラしてんじゃねえよ関西部落民
>とっとと痴漢しに関西に帰れよ
>鬼のようにぶっさいくな関東女茨城女よりも四国や関西で痴漢した方が楽しいんだろ？ん？
>62 :１３２人目の素数さん 2016/09/18(日) 23:04:21.99 ID:ol2qzlaN
>関西に帰るのがいやならフランスの旧植民地の大学にでも行きゃあいいだろうがよ
>フランス崇め奉ってる植民地根性なら旧植民地がお似合いだろうがよ
>フランス文化受容強要の美しい現実も見られるだろうしなｗ
>
>64 :１３２人目の素数さん 2016/09/18(日) 23:10:41.77 ID:ol2qzlaN
>親のいいなりの関西のお受験坊ちゃんなんて関東女に相手されるどころかキンタマ握りつぶされそうだしな
>フランス人女には口げんかで負けるし
>フランス植民地選良の黒人女にでも慰めてもらえば？
>
>68 :１３２人目の素数さん 2016/09/18(日) 23:16:27.29 ID:ol2qzlaN
>フランス語でフランスの掲示板で関西のお受験パパの暴虐っぷりとお受験坊やのへなちょこっぷり宣伝して回ればいいのに
>日本人には常識レベルの関西のテストだけ誤魔化すのに特化したお受験親子の実力皆無っぷりなんて自分で実証して回ったって冷笑すらされんだろうに？
>旧関係者のガン無視っぷりにますます逆恨みがつのるだけじゃねぇのｗｗｗｗ
>
>70 :１３２人目の素数さん 2016/09/18(日) 23:20:13.28 ID:ol2qzlaN
>実力ありゃあ旧関係者も可哀想に感じてどっかにアカデミックな引き立てもあらアするかも知らねえが
>宇沢親子をしょっぱくしたコネと実績じゃあ冷笑すらされずガン無視空気だわな日本に限らず
>
>72 :１３２人目の素数さん 2016/09/18(日) 23:22:55.17 ID:ol2qzlaN
>親が教授じゃなかったらアカポスに最初っから引っかからなかった程度の癖に上等だな関西のお受験お坊ちゃん
>
- 852 名前：１３２人目の素数さん [2016/09/20(火) 04:15:50.24 ID:YkboklIM.net]
- >>827
ガイジ君にも分かるように説明しようか？
＞「位相が存在する時のみに位相幾何学は成立し、位相幾何学が成立するならば必ず位相は存在する」
＞という自然言語を見て
＞「位相と位相幾何学は全く同じ！完全対応！むしろ『同値』」
＞とか言えてしまう猿のことでしょ？
その文章は、いったい誰の発言なんだ？
俺は位相と位相幾何学について一切言及していないぞ？
ガイジ君が俺の発言を機械的に「位相」「位相幾何学」に変換しただけだろ？
つまり、その文章はガイジ君自身が書いた発言だろ？
しかも機械的な変換だろ？
だから おかしな文章が出来上がるんだよ。
そのおかしな文章にセルフツッコミを入れているのがガイジ君であり、
つまりはガイジ君の話の変換の仕方がおかしかっただけのこと。
よって、ガイジ君が批判しているのは、ガイジ君自身の「機械的な変換」という
頭の悪い行為なのであって、ガイジ君が自分自身を批判するというギャグになっている。
俺には何のダメージもないし、何の批判にもなってない。
ガイジ君に理解できるかなー？
- 853 名前：１３２人目の素数さん [2016/09/20(火) 04:17:59.73 ID:JNe/5TIk.net]
- >>829
要するに低知能低学歴ガイジは脳が人間レベルまで発達してないから
「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」
という文章はAを「モデルが存在する」と定義し、Bを「無矛盾である」と定義すれば
「∃a∈A⇒∃∈B ∩ ∃b∈B⇒∃a∈A」に過ぎないことを理解出来ないんだろうなwwww
理解出来ていれば ￢A ∩ B や A ∩ ￢B の存在を禁じていない自然言語表現である事を読み取れただろうになwwwww
低学歴ガイジは「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」を
「∀a∈A⇒∀b∈B ∩ ∀b∈B⇒∃a∈A」であると妄想し、A=Bだと断定してしまったわけだ
この程度の論理を「言葉尻」なんて言い出す奴が基礎論ねえwwww
論理学も基礎論もバカにつける薬じゃねーのよ？低学歴ガイジクン？
むしろ低学歴ってのは国家認定バカの事だから絶対に何しても治らんからな？
- 854 名前：１３２人目の素数さん [2016/09/20(火) 04:22:14.13 ID:HP5vYR6o.net]
- >>829
要するに低知能低学歴ガイジは脳が人間レベルまで発達してないから
「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」
という文章はAを「モデルが存在する」と定義し、Bを「無矛盾である」と定義すれば
「∃a∈A⇒∃b∈B ∩ ∃b∈B⇒∃a∈A」に過ぎないことを理解出来ないんだろうなwwww
理解出来ていれば ￢A ∩ B や A ∩ ￢B の存在を禁じていない自然言語表現である事を読み取れただろうになwwwww
低学歴ガイジは「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」を
「∀a∈A⇒∀b∈B ∩ ∀b∈B⇒∃a∈A」であると妄想し、A=Bだと断定してしまったわけだ
この程度の論理を「言葉尻」なんて言い出す奴が基礎論ねえwwww
論理学も基礎論もバカにつける薬じゃねーのよ？低学歴ガイジクン？
むしろ低学歴ってのは国家認定バカの事だから絶対に何しても治らんからな？
￢A ∩ B や A ∩ ￢B の存在は禁じられて居ないから、幾何が入ってなくて位相のみが存在する系や、位相のみが入ってて幾何が存在しない系も当然ながら成立する
もちろん、モデル理論が成立しない無矛盾な論理学も存在出来る
- 855 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 04:39:54.27 ID:jSe92bp3.net]
- ￥
- 856 名前：１３２人目の素数さん [2016/09/20(火) 04:40:16.50 ID:YkboklIM.net]
- >>830
＞「∃a∈A⇒∃∈B ∩ ∃b∈B⇒∃a∈A」に過ぎないことを理解出来ないんだろうなwwww
ぜんぜん違いますけど。
「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」
ってのは、キミのA,B表記に従えば
[ ∀x [ x∈A → x∈B ] ] ∧ [ ∀x [ x∈B → x∈A ] ]
ということだよ。これはどう見ても「無関係」とは言わないよね。
あ、もちろん一階述語論理での話ね。
ゲーデルの完全性定理は一階述語論理での話だからね。
- 857 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 04:55:42.38 ID:jSe92bp3.net]
- ￥
>75 :１３２人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも？
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やｗ
>
>76 :１３２人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にし�
- 858 名前：ﾂっこく絡んで
>身を滅ぼした関西お受験ぼうやｗ
> [] - [ここ壊れてます]
- 859 名前：１３２人目の素数さん [2016/09/20(火) 05:08:37.31 ID:NMQ9OWbd.net]
- >>833
はい低学歴確定
日本語すら読めないからお前は低学歴なんだよ
バカ識別システムでバカと判定されるにはちゃんと理由がある
- 860 名前：１３２人目の素数さん [2016/09/20(火) 05:10:06.35 ID:NMQ9OWbd.net]
- >>833
バカが願望を書いても願望が現実になる事は無いぞ
証明も論理もお前には無縁
真実も無縁
お前は世界を理解出来ないまま死んで行くのだなw
- 861 名前：１３２人目の素数さん [2016/09/20(火) 05:23:02.61 ID:YkboklIM.net]
- >>835-836
バカはガイジ君だよ。この程度の話も理解できないのか。
文字通り「話にならない」わな。
そもそもガイジ君、まるで昔からモデル理論を知ってたかのような
書き方してるけど、つい昨日まで こんなこと言ってたよね？
↓↓↓↓↓
750 :１３２人目の素数さん2016/09/19(月) 19:35:25.14 ID:/sxrDCjm
で、モデルって何？
低知能低学歴の造語？
763 :１３２人目の素数さん2016/09/19(月) 20:46:48.05 ID:/sxrDCjm
>>761
モデルなどというものは存在しない
低学歴の造語
↑↑↑↑↑
数理論理学を普通に勉強してれば、絶対に「モデル」という言葉に出くわすのだが、
ガイジ君は「造語」と判断して切り捨てていた。おかしいよね。
また、ガイジ君が>>830で書いている
＞「∃a∈A⇒∃b∈B ∩ ∃b∈B⇒∃a∈A」
＞「∀a∈A⇒∀b∈B ∩ ∀b∈B⇒∃a∈A」
という論理式は、どちらも書き方がおかしい。
∃a∈A⇒ とか ∀a∈A⇒ といった書き始めの部分が既に正しくない。
∃a∈A と書いたら ∃a∈A[P(a)] みたいな書き方をしなければならないのに、
∃a∈A⇒ として即座に ⇒ が来ているのが完全に間違っている。
また、矛盾した体系が追加の公理で無矛盾に出来ると思い込んでるのもありえない。
これらのことを総合すると、ガイジ君はどう考えてもまともに論理学の勉強したことが無い。
なんでこんなバカがこのスレッドに居座っているんだ？
- 862 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 06:25:25.32 ID:E0GPqyxb.net]
- 「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」は、
ある構造Mが理論Tのモデルになっていれば理論Tは無矛盾であり、理論Tが無矛盾ならばTにはモデルMが存在する。
という意味だ。
そもそも位相幾何はどっから出てきたんだ？馬鹿か？
- 863 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 06:31:11.77 ID:E0GPqyxb.net]
- >>799
>>520に対して>>799を返す精神の異常さよ。
特にここが異常
＞集合Aとか集合Bという呼び分けを認めないって事だな？
誰がこれ理解できる？
- 864 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 06:42:30.61 ID:jSe92bp3.net]
- ￥
>75 :１３２人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも？
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やｗ
>
>76 :１３２人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやｗ
>
- 865 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 06:43:08.83 ID:B1U8xatQ.net]
- >>839
＞ >>520に対して>>799を返す精神の異常さよ。
確かに訳わからんw
集合A、集合Bと呼び分けられたらどうだっていうんだろうな？
>>774の質問が鍵を握っていると思う。例のキチガイはとっとと答えるべきだ。
- 866 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 07:31:45.61 ID:jSe92bp3.net]
- ￥
>75 :１３２人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも？
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やｗ
>
>76 :１３２人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやｗ
>
- 867 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 07:49:01.79 ID:jSe92bp3.net]
- ￥
- 868 名前：１３２人目の素数さん [2016/09/20(火) 08:33:56.76 ID:PDmqYJn3.net]
- 質問していい？
俺言語哲学畑で清水義夫の記号論理学読了したんだけど、本格的に数理論理学やるならどんな教科書読むべき？素朴集合論は松坂で勉強中。
- 869 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 08:58:43.00 ID:jSe92bp3.net]
- ￥
>75 :１３２人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも？
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やｗ
>
>76 :１３２人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやｗ
>
- 870 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:32:18.67 ID:jSe92bp3.net]
- ￥
- 871 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:32:34.13 ID:jSe92bp3.net]
- ￥
- 872 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:32:51.39 ID:jSe92bp3.net]
- ￥
- 873 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:33:06.88 ID:jSe92bp3.net]
- ￥
- 874 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:33:24.06 ID:jSe92bp3.net]
- ￥
- 875 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:33:41.78 ID:jSe92bp3.net]
- ￥
- 876 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:33:58.38 ID:jSe92bp3.net]
- ￥
- 877 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 09:34:38.67 ID:Aroda5+w.net]
- >>844
その本読んだことないけど、完全性定理まで書いてあったっけ？
無難に勧められるのはEndertonかな。様相論理ならCUPの青いやつはそれなりに読みやすい。多少くどいが。
- 878 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:35:15.94 ID:jSe92bp3.net]
- ￥
- 879 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:35:35.04 ID:jSe92bp3.net]
- ￥
- 880 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:35:54.56 ID:jSe92bp3.net]
- ￥
- 881 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 09:40:45.27 ID:jSe92bp3.net]
- ￥
- 882 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 09:46:37.48 ID:jSe92bp3.net]
- ￥
- 883 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 09:56:00.53 ID:jSe92bp3.net]
- ￥
- 884 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 10:06:21.34 ID:jSe92bp3.net]
- ￥
- 885 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 10:14
]
- [ここ壊れてます]
- 886 名前：:24.41 ID:jSe92bp3.net mailto: ￥ []
- [ここ壊れてます]
- 887 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 10:14:43.08 ID:jSe92bp3.net]
- ￥
- 888 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 10:15:00.07 ID:jSe92bp3.net]
- ￥
- 889 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 11:45:41.34 ID:E0GPqyxb.net]
- 殴ったり蹴ったりしてやる
- 890 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 11:49:20.81 ID:jSe92bp3.net]
- ￥
- 891 名前：１３２人目の素数さん [2016/09/20(火) 13:08:31.64 ID:JNe/5TIk.net]
- >>839
>>520
つまりこの低学歴ガイジは
「集合」という言葉を用いると、それは全て同一の対象を指し、区別する事は不可能だと考えているわけだ
集合Aとか集合Bという呼び分けを認めないって事だな？
これは新しいwwwwww
低学歴は常に「新発明」をするwwwww
車輪の再発明ですらない、墜落死イカロスを再現するという生き恥晒しの「新発明」だけどなw
- 892 名前：１３２人目の素数さん [2016/09/20(火) 13:09:22.56 ID:JNe/5TIk.net]
- >>833
>>829
要するに低知能低学歴ガイジは脳が人間レベルまで発達してないから
「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」
という文章はAを「モデルが存在する」と定義し、Bを「無矛盾である」と定義すれば
「∃a∈A⇒∃b∈B ∩ ∃b∈B⇒∃a∈A」に過ぎないことを理解出来ないんだろうなwwww
理解出来ていれば ￢A ∩ B や A ∩ ￢B の存在を禁じていない自然言語表現である事を読み取れただろうになwwwww
低学歴ガイジは「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」を
「∀a∈A⇒∀b∈B ∩ ∀b∈B⇒∃a∈A」であると妄想し、A=Bだと断定してしまったわけだ
この程度の論理を「言葉尻」なんて言い出す奴が基礎論ねえwwww
論理学も基礎論もバカにつける薬じゃねーのよ？低学歴ガイジクン？
むしろ低学歴ってのは国家認定バカの事だから絶対に何しても治らんからな？
￢A ∩ B や A ∩ ￢B の存在は禁じられて居ないから、幾何が入ってなくて位相のみが存在する系や、位相のみが入ってて幾何が存在しない系も当然ながら成立する
もちろん、モデル理論が成立しない無矛盾な論理学も存在出来る
- 893 名前：１３２人目の素数さん [2016/09/20(火) 13:12:12.16 ID:JNe/5TIk.net]
- >>839,841
>>520
こういう大学行けなかったガイジでなければ誰でも知ってる事だが
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではないという公理的集合論を知らないままに低学歴は死んで行くのだなwwwww
当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点
- 894 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:12:14.35 ID:E0GPqyxb.net]
- ＞ >>520に対して>>799を返す精神の異常さよ。
確かに訳わからんw
集合A、集合Bと呼び分けられたらどうだっていうんだろうな？
>>774の質問が鍵を握っていると思う。例のキチガイはとっとと答えるべきだ。
- 895 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:13:56.75 ID:E0GPqyxb.net]
- >>796
＞体系内部などという日本語は無い
これはwwwwwwww
- 896 名前：１３２人目の素数さん [2016/09/20(火) 13:14:09.88 ID:JNe/5TIk.net]
- >>839,841
>>791
>>776
当然ながら集合族は集合だよ？低学歴クン？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 897 名前：１３２人目の素数さん [2016/09/20(火) 13:14:39.49 ID:JNe/5TIk.net]
- >>870
>>869
>>839,841
>>520
こういう大学行けなかったガイジでなければ誰でも知ってる事だが
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではないという公理的集合論を知らないままに低学歴は死んで行くのだなwwwww
当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点
- 898 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:14:40.68 ID:E0GPqyxb.net]
- >>796
＞体系内部などという日本語は無い
これはwwwwwwww
- 899 名前：１３２人目の素数さん [2016/09/20(火) 13:14:50.42 ID:JNe/5TIk.net]
- >>869
>>839,841
>>791
>>776
当然ながら集合族は集合だよ？低学歴クン？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 900 名前：１３２人目の素数さん [2016/09/20(火) 13:15:02.12 ID:JNe/5TIk.net]
- >>873
無いよ
造語使うなよ低学歴
- 901 名前：１３２人目の素数さん [2016/09/20(火) 13:15:34.79 ID:JNe/5TIk.net]
- >>873
>>839,841
>>791
>>776
当然ながら集合族は集合だよ？低学歴クン？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 902 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:16:02.61 ID:E0GPqyxb.net]
- 871 １３２人目の素数さん
「実数R上で成り立つ」
これはwwwwwwwwwww
- 903 名前：１３２人目の素数さん [2016/09/20(火) 13:17:05.31 ID:JNe/5TIk.net]
- >>869
>＞ >>520に対して>>799を返す精神の異常さよ。
>
>確かに訳わからんw
>集合A、集合Bと呼び分けられたらどうだっていうんだろうな？
>
>>>774の質問が鍵を握っていると思う。例のキチガイはとっとと答えるべきだ。
知能テスト受けたら？
「集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない」
ここまで抜粋しないとインプット不可能とかwwwww
- 904 名前：１３２人目の素数さん [2016/09/20(火) 13:17:16.94 ID:JNe/5TIk.net]
- >>877
>>869
>＞ >>520に対して>>799を返す精神の異常さよ。
>
>確かに訳わからんw
>集合A、集合Bと呼び分けられたらどうだっていうんだろうな？
>
>>>774の質問が鍵を握っていると思う。例のキチガイはとっとと答えるべきだ。
知能テスト受けたら？
「集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない」
ここまで抜粋しないとインプット不可能とかwwwww
- 905 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:17:23.95 ID:E0GPqyxb.net]
- 「実数R上で成り立つ」理論が矛盾してるんだってさ
wwwwwwwwwwwwwwwww
- 906 名前：１３２人目の素数さん [2016/09/20(火) 13:17:57.50 ID:JNe/5TIk.net]
- >>877
つまり公理が定義されている定義域を理解出来ないわけだ
これは中卒
- 907 名前：１３２人目の素数さん [2016/09/20(火) 13:18:12.11 ID:JNe/5TIk.net]
- >>880
どこに書いてある？
- 908 名前：１３２人目の素数さん [2016/09/20(火) 13:18:23.02 ID:JNe/5TIk.net]
- >>880
>>877
つまり公理が定義されている定義域を理解出来ないわけだ
これは中卒
- 909 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:18:58.42 ID:E0GPqyxb.net]
- 体系内部って日本語が存在しないんだってさ
wwwwwwwwwwww
- 910 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:19:28.15 ID:kpNKDZUG.net]
- >>883
「定義域」って何？
出典は？
- 911 名前：１３２人目の素数さん [2016/09/20(火) 13:19:48.66 ID:JNe/5TIk.net]
- >>880
>体系内部で自分自身の適用領域を指定するような公理を書けるの？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 912 名前：１３２人目の素数さん [2016/09/20(火) 13:20:10.62 ID:JNe/5TIk.net]
- >>885
>>769
- 913 名前：１３２人目の素数さん [2016/09/20(火) 13:20:21.15 ID:JNe/5TIk.net]
- >>884
存在しないね
誰の定義？
- 914 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:20:32.77 ID:E0GPqyxb.net]
- 公理系が自分自身で定義域を指定するんだってさ
wwwwwwwwwwwwwwwww
- 915 名前：１３２人目の素数さん [2016/09/20(火) 13:20:46.55 ID:JNe/5TIk.net]
- >>889
>>880
>体系内部で自分自身の適用領域を指定するような公理を書けるの？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 916 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:21:20.79 ID:kpNKDZUG.net]
- >>887
ページを指定してくれ
- 917 名前：１３２人目の素数さん [2016/09/20(火) 13:21:58.87 ID:JNe/5TIk.net]
- >>889
>公理系が自分自身で定義域を指定するんだってさ
>wwwwwwwwwwwwwwwww
これ物凄いこと言ってるよな？
この発言はユークリッド幾何学すら理解出来ないって明言してるわけでしょ？
ユークリッド幾何学では適用可能な空間を明示して定義域を示しているのに
- 918 名前：１３２人目の素数さん [2016/09/20(火) 13:24:10.84 ID:JNe/5TIk.net]
- >>891
i.imgur.com/IMGB9C9.jpg
大学くらい行けよ低学歴
- 919 名前：１３２人目の素数さん [2016/09/20(火) 13:24:23.82 ID:JNe/5TIk.net]
- >>889
>公理系が自分自身で定義域を指定するんだってさ
>wwwwwwwwwwwwwwwww
これ物凄いこと言ってるよな？
この発言はユークリッド幾何学すら理解出来ないって明言してるわけでしょ？
ユークリッド幾何学では適用可能な空間を明示して定義域を示しているのに
- 920 名前：１３２人目の素数さん [2016/09/20(火) 13:24:41.04 ID:JNe/5TIk.net]
- >>520
これ物凄いこと言ってるよな？
集合族知らないってことは大学の教養レベルの数学
- 921 名前：すら履修した事が無いって事だぞ？ []
- [ここ壊れてます]
- 922 名前：１３２人目の素数さん [2016/09/20(火) 13:25:06.24 ID:JNe/5TIk.net]
- >>520
これ物凄いこと言ってるよな？
集合族知らないってことは大学の教養レベルの数学すら履修した事が無いって事だぞ？
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない
- 923 名前：１３２人目の素数さん [2016/09/20(火) 13:28:29.24 ID:JNe/5TIk.net]
- 知恵遅れ殴るのは最高に楽しいなwww
- 924 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:32:00.20 ID:kpNKDZUG.net]
- >>893
やっぱりあなたは勘違いしてるね
あなたの考える公理系というのは、集合論の枠組みの中での単なる定義のことだよ
「位相空間の公理系」「ベクトル空間の公理系」等
一方、論理学で公理系と呼ばれるものは形式言語で定義されており、
どの集合を定義域とするか指定しないどころか、集合自体が現れないし、定義域という概念もない
定義域という概念がないので、「禁止公理の追加による定義域の制限」という操作は不可能
公理系自身がモデルを指定することはできない
- 925 名前：１３２人目の素数さん [2016/09/20(火) 13:34:14.30 ID:JNe/5TIk.net]
- >>898
>>889
>公理系が自分自身で定義域を指定するんだってさ
>wwwwwwwwwwwwwwwww
これ物凄いこと言ってるよな？
この発言はユークリッド幾何学すら理解出来ないって明言してるわけでしょ？
ユークリッド幾何学では適用可能な空間を明示して定義域を示しているのに
- 926 名前：１３２人目の素数さん [2016/09/20(火) 13:34:49.56 ID:JNe/5TIk.net]
- >>898
ソース無し
つまり低学歴の願望に過ぎない
ユークリッド幾何学の存在すら否定するとか低学歴すぎんだろこいつ
- 927 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:35:23.76 ID:kpNKDZUG.net]
- >>894
念のため確認したい
ユークリッド幾何学で適用可能な空間とは何か、その定義域は何か
- 928 名前：１３２人目の素数さん [2016/09/20(火) 13:35:29.72 ID:JNe/5TIk.net]
- >>898
つまりユークリッド幾何学の公理において空間の性質を公理に書けないと主張するわけだ？
- 929 名前：１３２人目の素数さん [2016/09/20(火) 13:35:40.13 ID:JNe/5TIk.net]
- >>901
>>898
つまりユークリッド幾何学の公理において空間の性質を公理に書けないと主張するわけだ？
- 930 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:37:09.72 ID:kpNKDZUG.net]
- >>903
話を歪曲するな
ユークリッド幾何学の定義域は何か
- 931 名前：１３２人目の素数さん [2016/09/20(火) 13:37:34.80 ID:JNe/5TIk.net]
- >>901
つまりこの低学歴ガイジはユークリッド幾何学と非ユークリッド幾何学の違いすら理解してないわけ？
空間の曲率だよ低学歴
- 932 名前：１３２人目の素数さん [2016/09/20(火) 13:37:45.85 ID:JNe/5TIk.net]
- >>904
>>901
つまりこの低学歴ガイジはユークリッド幾何学と非ユークリッド幾何学の違いすら理解してないわけ？
空間の曲率だよ低学歴
- 933 名前：１３２人目の素数さん [2016/09/20(火) 13:37:58.81 ID:JNe/5TIk.net]
- >>904
さっさとソース出せよ低学歴
- 934 名前：１３２人目の素数さん [2016/09/20(火) 13:38:38.39 ID:JNe/5TIk.net]
- >>904
空間の曲率が0である空間がユークリッド幾何学の定義域
知恵遅れにも程がある
- 935 名前：１３２人目の素数さん [2016/09/20(火) 13:39:02.11 ID:JNe/5TIk.net]
- >>520
これ物凄いこと言ってるよな？
集合族知らないってことは大学の教養レベルの数学すら履修した事が無いって事だぞ？
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない
- 936 名前：１３２人目の素数さん [2016/09/20(火) 13:40:32.30 ID:JNe/5TIk.net]
- >>898
そもそも低学歴すぎて全称命題と存在命題を区別してないから
i.imgur.com/IMGB9C9.jpg
ID:YkboklIMみたいな即死レベルの恥晒しを書けてしまうわけでしょ？
- 937 名前：１３２人目の素数さん [2016/09/20(火) 13:41:36.65 ID:JNe/5TIk.net]
- >>833
これ、「私は全称命題と存在命題の違いすら理解してないサンドバッグです」 と宣伝してるんだよね
- 938 名前：１３２人目の素数さん [2016/09/20(火) 13:42:14.01 ID:JNe/5TIk.net]
- >>904
空間の曲率が0である空間がユークリッド幾何学の定義域
知恵遅れにも程がある
- 939 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:42:29.91 ID:kpNKDZUG.net]
- >>906
なるほど、やはりあなたの考える公理系とは集合論の枠組みの中での単なる定義のことだよ
「位相空間の公理系」「ベクトル空間の公理系」等の言葉は普通に用いられるので勘違いは恥ずかしいことじゃない
このスレであなた以外の全員が想定している、論理学の術語としての公理系とは別物だということは覚えておこう
- 940 名前：１３２人目の素数さん [2016/09/20(火) 13:42:53.83 ID:JNe/5TIk.net]
- >>913
>>898
そもそも低学歴すぎて全称命題と存在命題を区別してないから
i.imgur.com/IMGB9C9.jpg
ID:YkboklIMみたいな即死レベルの恥晒しを書けてしまうわけでしょ？
- 941 名前：１３２人目の素数さん [2016/09/20(火) 13:43:30.82 ID:JNe/5TIk.net]
- >>913
要するに論理式や命題関数を今まで全く知らずに基礎論とか言い出してたわけでしょ？低学歴って
- 942 名前：１３２人目の素数さん [2016/09/20(火) 13:43:52.31 ID:JNe/5TIk.net]
- >>913
早くソース出せよ低学歴
- 943 名前：１３２人目の素数さん [2016/09/20(火) 13:44:56.52 ID:JNe/5TIk.net]
- >>913
要するに低知能低学歴だから述語論理という漢字すら読めないわけでしょ？
i.imgur.com/IMGB9C9.jpg
- 944 名前：１３２人目の素数さん [2016/09/20(火) 13:45:27.56 ID:JNe/5TIk.net]
- >>913
>>904
空間の曲率が0である空間がユークリッド幾何学の定義域
知恵遅れにも程がある
- 945 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:46:28.90 ID:kpNKDZUG.net]
- スレを流して話を流そうとしても無駄だよ
あなたのこの間違いは繰り返し指摘し続けるからね
- 946 名前：１３２人目の素数さん [2016/09/20(火) 13:46:41.75 ID:JNe/5TIk.net]
- こいつ数学の本を1冊も読んだことないんだろうな
R上とかC上なんて必ず書かれてるのになwwww
C1級とか聞いたこともないレベルなんでしょ？
大学くらい行けよ猿
- 947 名前：１３２人目の素数さん [2016/09/20(火) 13:47:05.40 ID:JNe/5TIk.net]
- >>919
早くソース出せよ低学歴
お前が誤っていてお前がソース出せずに逃げてんだよ
- 948 名前：１３２人目の素数さん [2016/09/20(火) 13:47:17.31 ID:JNe/5TIk.net]
- >>919
早くソース出せよ低学歴
お前が誤っていてお前がソース出せずに逃げてんだよ
- 949 名前：１３２人目の素数さん [2016/09/20(火) 13:47:36.38 ID:JNe/5TIk.net]
- >>898
ソース無し
- 950 名前：１３２人目の素数さん [2016/09/20(火) 13:48:50.47 ID:JNe/5TIk.net]
- >>919
>>913
>>898
そもそも低学歴すぎて全称命題と存在命題を区別してないから
i.imgur.com/IMGB9C9.jpg
ID:YkboklIMみたいな即死レベルの恥晒しを書けてしまうわけでしょ？
述語論理って漢字読めるぅ？ボクぅw
はよこのアホ妄想>>898のソース出さんかい低学歴
逃げるのか？
- 951 名前：１３２人目の素数さん [2016/09/20(火) 13:50:01.87 ID:JNe/5TIk.net]
- つまり定義域を理解してない低学歴って整数論の存在すら認めないわけでしょ？
はよこのアホ妄想>>898のソース出さんかい低学歴
逃げるのか？
- 952 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:52:23.47 ID:kpNKDZUG.net]
- >>920
そうだね、必ず書かれているね
（数理論理学以外の）数学の本は集合論の枠組みだけを考えており、公理系という言葉は「抽
- 953 名前：象的な定義」程度の意味合いで用いられる
論理学での用法とは異なる [] - [ここ壊れてます]
- 954 名前：１３２人目の素数さん [2016/09/20(火) 13:52:31.00 ID:JNe/5TIk.net]
- 未だに「集合論の枠組み」とか言ってんだもんなあwwwwww
対象を集合とし、集合と集合族を区別しなければ自己言及パラドックスは回避不可能と教えてやっても記憶できないのが低学歴の特徴
そもそも痴呆症レベルの記憶力しか無い
- 955 名前：１３２人目の素数さん [2016/09/20(火) 13:52:48.79 ID:JNe/5TIk.net]
- >>926
未だに「集合論の枠組み」とか言ってんだもんなあwwwwww
対象を集合とし、集合と集合族を区別しなければ自己言及パラドックスは回避不可能と教えてやっても記憶できないのが低学歴の特徴
そもそも痴呆症レベルの記憶力しか無い
- 956 名前：１３２人目の素数さん [2016/09/20(火) 13:53:24.55 ID:JNe/5TIk.net]
- >>926
さっさとソース出さんか低学歴
ほれソース
さっさとソース
お前の妄想だって事がどんどん確定していくな？
- 957 名前：１３２人目の素数さん [2016/09/20(火) 13:54:20.85 ID:JNe/5TIk.net]
- >>926
269 １３２人目の素数さん[sage] 2016/09/10(土) 09:38:00.57 ID:MG9nU05d
プリンキピア・マテマティカ(ラッセル, ホワイトヘッド)
「集合と集合族を区別するような数的構造の上にしか無矛盾な論理学は構成不可能」
これがラッセルのパラドックスの解決
この地点にすら達してないガイジが基礎論とか口にしてるのかwwwwww
- 958 名前：１３２人目の素数さん [2016/09/20(火) 13:55:03.23 ID:JNe/5TIk.net]
- 集合論を用いない論理学が可能だと言えてしまうのが低学歴の特徴
- 959 名前：１３２人目の素数さん [2016/09/20(火) 13:55:36.41 ID:JNe/5TIk.net]
- ラッセルのパラドックスと言われて初めてググり出すようなレベルだもんなあここwwww
- 960 名前：１３２人目の素数さん [2016/09/20(火) 13:56:59.41 ID:JNe/5TIk.net]
- こんな凄いことなかなか書けるもんじゃないwwww
ラッセルのパラドックスを初めて聞いたから今ググりましたって奴しかこんな事は書けないwwww
↓
57 １３２人目の素数さん[sage] 2016/09/04(日) 18:33:38.50 ID:o66IyOEe
ブリンキピア・マテマティカって歴史的意義以外に価値を持ってるのか？
そんなこと言ってるら基礎論と数学史が一緒に括られてしまうんんゃねーの？
- 961 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:57:36.83 ID:kpNKDZUG.net]
- あなたがいくら恫喝したところで、このスレのあなた以外の全員が既に知っていて理解していることなので、>>898の指摘だけで十分なのさ
話が流れてしまわないよう定期的に繰り返して、あなた以外の全員に周知するからね
- 962 名前：１３２人目の素数さん [2016/09/20(火) 13:59:52.91 ID:JNe/5TIk.net]
- >>934
https://www.sist.ac.jp/~suganuma/kougi/other_lecture/SE/math/logic/logic.htm
論理式と定義域
i.imgur.com/aeyDIm4.jpg
お前の妄想はソース無しw
- 963 名前：１３２人目の素数さん [2016/09/20(火) 14:01:29.20 ID:JNe/5TIk.net]
- つまり低知能低学歴は論理式も命題関数も知らないのに基礎論とかほざいてたwwww
- 964 名前：１３２人目の素数さん [2016/09/20(火) 14:01:51.48 ID:JNe/5TIk.net]
- こんな凄いことなかなか書けるもんじゃないwwww
ラッセルのパラドックスを初めて聞いたから今ググりましたって奴しかこんな事は書けないwwww
↓
57 １３２人目の素数さん[sage] 2016/09/04(日) 18:33:38.50 ID:o66IyOEe
ブリンキピア・マテマティカって歴史的意義以外に価値を持ってるのか？
そんなこと言ってるら基礎論と数学史が一緒に括られてしまうんんゃねーの？
- 965 名前：１３２人目の素数さん [2016/09/20(火) 14:02:52.80 ID:JNe/5TIk.net]
- >>934
>>926
未だに「集合論の枠組み」とか言ってんだもんなあwwwwww
対象を集合とし、集合と集合族を区別しなければ自己言及パラドックスは回避不可能と教えてやっても記憶できないのが低学歴の特徴
そもそも痴呆症レベルの記憶力しか無い
- 966 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 14:05:00.63 ID:kpNKDZUG.net]
- >>935
あなたが勘違いしているのは、
・定義域Dが初めから唯一つに定まっていると思い込んでいること
・モデルを一つ指定した後（＝集合論の枠組みに当てはめた後）の状況だけを見て、公理系というものを考えていること
- 967 名前：１３２人目の素数さん [2016/09/20(火) 14:09:43.52 ID:JNe/5TIk.net]
- >>939
全く反論になってねーよ低学歴
はよソース出せよ
逃げてんのか？
- 968 名前：１３２人目の素数さん [2016/09/20(火) 14:10:38.59 ID:JNe/5TIk.net]
- >>939
集合論の枠組みwwwwwwwwwwwww
wwww
w
www
w
w
w
w
- 969 名前：１３２人目の素数さん [2016/09/20(火) 14:11:15.04 ID:JNe/5TIk.net]
- >>939
この低学歴ってwwww
「集合論の枠組み」とか書いてて恥ずかしくならねーのかなwwwwwwwwwwwww
- 970 名前：１３２人目の素数さん [2016/09/20(火) 14:12:13.91 ID:JNe/5TIk.net]
- つまり低知能低学歴はこんな妄想を抱いているわけだ
「集合論を用いた論理学は集合論主義に毒された論理学に過ぎず真の論理学ではない！真の論理学では集合論は不要！」
とwwwwww
- 971 名前：１３２人目の素数さん [2016/09/20(火) 14:13:02.03 ID:JNe/5TIk.net]
- だからさ
証明も定理も書かれてない一般書読んで数学やったつもりになってる低学歴は巣に帰れよw
- 972 名前：１３２人目の素数さん [2016/09/20(火) 14:13:20.11 ID:JNe/5TIk.net]
- こんな凄いことなかなか書けるもんじゃないwwww
ラッセルのパラドックスを初めて聞いたから今ググりましたって奴しかこんな事は書けないwwww
↓
57 １３２人目の素数さん[sage] 2016/09/04(日) 18:33:38.50 ID:o66IyOEe
ブリンキピア・マテマティカって歴史的意義以外に価値を持ってるのか？
そんなこと言ってるら基礎論と数学史が一緒に括られてしまうんんゃねーの？
- 973 名前：１３２人目の素数さん [2016/09/20(火) 14:14:00.44 ID:JNe/5TIk.net]
- 集合論の枠組みwwwwwwwww
マジで腹いてえwwwww
www
w
- 974 名前：１３２人目の素数さん [2016/09/20(火) 14:15:02.09 ID:JNe/5TIk.net]
- 集合を用いない論理学は不可能である事に全ての数学者が合意するきっかけとなったのがラッセルらのプリンキピア・マテマティカなのになwwww
- 975 名前：１３２人目の素数さん [2016/09/20(火) 14:16:11.76 ID:JNe/5TIk.net]
- これ凄いよなあwwww
公理的集合論の意味を全く理解してない著者が居るのかwwww
↓
49 １３２人目の素数さん[] 2016/09/04(日) 09:48:49.17 ID:RGJAFy6F
>>25
横からだけど、たまたま読んでいる本に
「現代ではほとんどすべての数学の概念は集合によって記述されるという（あまり根拠のない）セントラルドグマにしたがって数学は議論されるのが普通である。」
（加藤文元「ガロア」中公新書、２３７ページ）
という一文があったよ。
- 976 名前：１３２人目の素数さん [2016/09/20(火) 14:18:36.35 ID:JNe/5TIk.net]
- 生物学科wwwww
そりゃラッセルのパラドックスすら知らないわけだwwww
https://mobile.twitter.com/FumiharuKato/status/684734961090334720?ref_src=twsrc%5Etfw
加藤文元
加藤文元 – ‏@FumiharuKato
生物学科の学生だった頃、形式的な無限m進展開で表される「数」で方程式論をするという暇なことを考え、とある数学の先生に見せたところ「これはヘンゼルの補題というものだよ」と教えてくれた。専門書のヘンゼルの補題を見てもチンプンカンプンだったので、とりあえずそれを解読することから始めた。
5:55 - 2016年1月6日
- 977 名前：１３２人目の素数さん [2016/09/20(火) 14:21:04.22 ID:JNe/5TIk.net]
- なんていうかさ
大学教養レベルの数学で集合族って出てきたら
「あ、『あの』集合族かw 基礎論はこんな所にも活かされているのだなぁ」
と感涙ものなはずなのに
大学教養レベルの数学すら履修してないんだろうな
- 978 名前：１３２人目の素数さん [2016/09/20(火) 14:29:15.73 ID:JNe/5TIk.net]
- 「集合論の枠組み」だってよwwww
全射も単射も像もカーネルも理解してない奴がどうやって数学をやるんだ？wwwww
- 979 名前：１３２人目の素数さん [2016/09/20(火) 14:30:24.93 ID:JNe/5TIk.net]
- やっぱり最低レベルの数学基礎論は全学科で必修にすべきじゃないのか
無知だからトンデモ拡散する奴が後をたたない
- 980 名前：１３２人目の素数さん [2016/09/20(火) 14:32:13.32 ID:JNe/5TIk.net]
- >>939
つまり低知能低学歴はこんな妄想を抱いているわけだ
「集合論を用いた論理学は集合論主義に毒された論理学に過ぎず真の論理学ではない！真の論理学では集合論は不要！」
とwwwwww
- 981 名前：１３２人目の素数さん [2016/09/20(火) 14:34:28.33 ID:JNe/5TIk.net]
- >>898
一階述語論理でググってから死ねよ無知
- 982 名前：１３２人目の素数さん [2016/09/20(火) 14:54:58.29 ID:JNe/5TIk.net]
- 当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点
- 983 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 15:15:21.58 ID:E0GPqyxb.net]
- 集合Gの上に二項演算子が定義されており、以下四つの性質を満たすとき集合Gを群と呼ぶ
（以下略）
↑
馬鹿が考えている公理系のイメージ
wwwwwwwwwwww
wwwwwwwwwwww
腹いてぇwwwwwwwwwwww
- 984 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 15:18:37.03 ID:E0GPqyxb.net]
- この公理系の対象領域を実数体Rに制限する
↑
馬鹿が考える「公理の追加」
wwwwwwwwwwww
wwwwwwwwwwww
腹いてぇwwwwwwwwwwww
- 985 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 15:23:49.27 ID:E0GPqyxb.net]
- >>935
公理系がwwwwww 自分自身でwwwwww
解釈と定義域をwwwwww を
wwwwwwwwwwww
定める、とwwwwwwwwwwww
wwwwwwwwwwww
腹いてぇwwwwww
- 986 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 15:36:50.53 ID:gNVjqBXq.net]
- 書けば書くほど己の無知・無恥・痴識を天下に広める天才ならぬ天災 ID:JNe/5TI
天災的痴識人 ID:JNe/5TI の華麗なレスの歴史（レス数958までの途中結果）
09/03 ID:QjzTPZOQ [5/5]・・・前半
09/03 ID:pW//3Bcc [12/12]・・・後半
09/04 ID:uD7gdHTl [20/20]
09/08 ID:t1QP12oT [7/7]
09/09 ID:NtXrnPwv [22/22]・・・前半
09/09 ID:1aR7KHUe [7/7]・・・後半
09/10 ID:MG9nU05d [55/55]
09/13 ID:RhNEBU+C [8/8]・・・前半
09/13 ID:LiNlJN9q [9/9]・・・後半
09/14 ID:62yXwHfn [23/23]
09/15 ID:T0IT8mdY [34/34]
09/18 ID:Fax2mcbH [9/9]
09/19 ID:/sxrDCjm [22/22]
09/20 ID:JNe/5TIk [99/99]・・・暫定
＞205 名前：１３２人目の素数さん[sage] 投稿日：2016/09/09(金) 21:25:09.48 ID:ldcXxrQT [8/8]
＞脳味噌可哀想な ID:1aR7KHUe のレス数は幾つまで伸びるだろうか。
あなたの�
- 987 名前：^問の途中結果は以上の通りだ
全958レスの時点で322レスを一人で書いてる [] - [ここ壊れてます]
- 988 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 15:39:48.41 ID:gNVjqBXq.net]
- 前レスの結果から判断するに次スレはワッチョイ付きにしたほうが良さそうだな
スレ立て者はこの点を考慮して立ててくれると助かる
- 989 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 15:40:08.28 ID:kpNKDZUG.net]
- 今100の大台に乗るのを恥らってるみたいだね
- 990 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 15:50:09.42 ID:jSe92bp3.net]
- ￥
- 991 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 16:07:20.37 ID:gNVjqBXq.net]
- >>959への訂正
(1) 冒頭の３行中に２回出現している 誤：「ID:JNe/5TI」 → 正：「ID:JNe/5TIk」
(2) 最後の行 誤：「322レス」 → 正：「332レス」
それにしても959の一覧表、IDの表示幅の違いを空白挟んで揃えたつもりだったのに
投稿したらぐちゃぐちゃの不揃いな形で表示されてガックリ
投稿ウィンドウではほぼ完全に整列されてるように見えたのになあ
- 992 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 16:15:33.71 ID:kpNKDZUG.net]
- >>963
半角スペースを連続させると一回分としてカウントされる仕様
- 993 名前：１３２人目の素数さん [2016/09/20(火) 16:24:27.38 ID:JNe/5TIk.net]
- >>958
>>934
https://www.sist.ac.jp/~suganuma/kougi/other_lecture/SE/math/logic/logic.htm
論理式と定義域
i.imgur.com/aeyDIm4.jpg
お前の妄想はソース無しw
- 994 名前：１３２人目の素数さん [2016/09/20(火) 16:25:34.51 ID:JNe/5TIk.net]
- >>958
つまり低知能低学歴だから「解釈」という言葉を見て
複数の解釈が可能だと感涙もの妄想したわけかwwwwww
低学歴ヤバすぎるwwwww
- 995 名前：１３２人目の素数さん [2016/09/20(火) 16:26:24.77 ID:JNe/5TIk.net]
- >>956,957
>>939
つまり低知能低学歴はこんな妄想を抱いているわけだ
「集合論を用いた論理学は集合論主義に毒された論理学に過ぎず真の論理学ではない！真の論理学では集合論は不要！」
とwwwwww
- 996 名前：１３２人目の素数さん [2016/09/20(火) 16:33:41.40 ID:JNe/5TIk.net]
- >>958
定義域は公理に明記されてんだよ
低知能低学歴クン？
- 997 名前：１３２人目の素数さん [2016/09/20(火) 16:34:42.01 ID:JNe/5TIk.net]
- 低知能低学歴は定義域が存在しない論理式が公理になれると妄想してんのかwwwww
文系バカは帰れよwwwwww
- 998 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 16:35:05.32 ID:jSe92bp3.net]
- ￥
- 999 名前：１３２人目の素数さん [2016/09/20(火) 16:38:07.55 ID:QAbVGptr.net]
- 基礎論や論理学は数学じゃねぇーだろｗ 何がモデル理論だよｗ
- 1000 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 16:46:24.63 ID:jSe92bp3.net]
- ￥
- 1001 名前：１３２人目の素数さん [2016/09/20(火) 16:46:41.67 ID:rqV1hckS.net]
- 流れが速いからたててやったぞ
数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
rio2016.2ch.net/test/read.cgi/math/1474357543/
- 1002 名前：１３２人目の素数さん [2016/09/20(火) 16:48:00.15 ID:PDmqYJn3.net]
- >>853
スレが荒れてる中答えてくれてありがとう。哲学者が書いた本だけど、完全性定理、不完全性定理の照明の導入、ブール代数までは載ってる。
やはりEndertonは定評あるみたいだね。Enderton→Shoenfieldって流れでも良いかな？
オススメしてくれた本、読んでみます。ありがとう。
- 1003 名前：１３２人目の素数さん [2016/09/20(火) 16:53:22.00 ID:JNe/5TIk.net]
- >>974
こいつ三平方の定理の証明も出来なさそう
文系は死ね
- 1004 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 16:53:41.91 ID:jSe92bp3.net]
- ￥
- 1005 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 17:00:27.69 ID:E0GPqyxb.net]
- >>966
複数の解釈wwwwww
ふくすうwwwwのwwww解釈wwww
私が>>966のバカなレスを追い出しますから、皆さんは的確な指摘で叩いてやって下さい。
はい、レーヴェンハイムさん早かった！
- 1006 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 17:01:37.18 ID:jSe92bp3.net]
- ￥
- 1007 名前：１３２人目の素数さん [2016/09/20(火) 17:03:15.98 ID:JNe/5TIk.net]
- >>977
解釈ってのは1つしかないんだよ？低学歴ガイジクン？
- 1008 名前：１３２人目の素数さん [2016/09/20(火) 17:03:37.21 ID:JNe/5TIk.net]
- >>977
低知能低学歴は定義域が存在しない論理式が公理になれると妄想してんのかwwwww
文系バカは帰れよwwwwww
- 1009 名前：１３２人目の素数さん [2016/09/20(火) 17:04:04.02 ID:JNe/5TIk.net]
- >>977
低学歴「ユークリッド幾何学には定義域が存在しない！」
- 1010 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 17:04:09.32 ID:jSe92bp3.net]
- ￥
- 1011 名前：１３２人目の素数さん [2016/09/20(火) 17:13:14.01 ID:PDmqYJn3.net]
- >>975
そりゃあんたに比べたら俺はアホかもしれんが、あんまイジメないでくれ。好学の士が下品な物言いをするのは良くないぞ。
- 1012 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:14:57.70 ID:jSe92bp3.net]
- ￥
- 1013 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:15:28.09 ID:jSe92bp3.net]
- ￥
- 1014 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:15:43.47 ID:jSe92bp3.net]
- ￥
- 1015 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:15:58.47 ID:jSe92bp3.net]
- ￥
- 1016 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:16:13.83 ID:jSe92bp3.net]
- ￥
- 1017 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:16:27.39 ID:jSe92bp3.net]
- ￥
- 1018 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:16:43.48 ID:jSe92bp3.net]
- ￥
- 1019 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:16:57.48 ID:jSe92bp3.net]
- ￥
- 1020 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:18:29.04 ID:jSe92bp3.net]
- ￥
- 1021 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:18:45.37 ID:jSe92bp3.net]
- ￥
- 1022 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:19:03.44 ID:jSe92bp3.net]
- ￥
- 1023 名前：１３２人目の素数さん [2016/09/20(火) 17:19:09.50 ID:JNe/5TIk.net]
- >>983
とりまセンター試験数学95%取れるまで書き込まなくていいよ
- 1024 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:19:20.70 ID:jSe92bp3.net]
- ￥
- 1025 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:19:36.96 ID:jSe92bp3.net]
- ￥
- 1026 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:19:53.58 ID:jSe92bp3.net]
- ￥
- 1027 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 17:20:10.42 ID:jSe92bp3.net]
- ￥
- 1028 名前：猫 ◆2VB8wsVUoo mailto:age [2016/09/20(火) 17:20:33.03 ID:jSe92bp3.net]
- 猫
- 1029 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
