数学基礎論・数理論理学　その17

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/ 830 名前：１３２人目の素数さん [2016/09/20(火) 02:10:37.77 ID:JNe/5TIk.net] >>803-804 要するに、低学歴のガイジってのは 「位相幾何学に位相って文字が入ってるし位相幾何学は位相を使う『から』位相幾何学⊂位相」 とか言えてしまうレベルの猿なわけでしょ？ 831 名前：１３２人目の素数さん [2016/09/20(火) 02:11:49.23 ID:JNe/5TIk.net] 日本語を論理式に直すことすら出来ない猿が基礎論だってよwwwwww 論理学の前に知能テスト受けてこいよ要支援学級収容者がよwwwww 832 名前：１３２人目の素数さん [2016/09/20(火) 03:25:41.18 ID:YkboklIM.net] 言葉尻を機械的にあげつらって無理やり「無関係」と言い張っても無駄だよガイジ君 ttps://ja.wikipedia.org/wiki/モデル理論 ＞ゲーデルの完全性定理は、ある理論が無矛盾である、すなわちその理論によって矛盾が生じない場合だけ、 ＞その理論はモデルを持つこと述べている。これはモデル理論の核心であり、モデルを見ることで ＞理論についての疑問に答えることができ、逆も同様である。 ttps://en.wikipedia.org/wiki/Model_theory ＞Godel's completeness theorem (not to be confused with his incompleteness theorems) says that ＞a theory has a model if and only if it is consistent, i.e. no contradiction is proved by the theory. ＞This is the heart of model theory as it lets us answer questions about theories by looking at models ＞and vice 833 名前：versa. がっつり無矛盾性と対応してるｗ 無矛盾ならモデルが存在し、モデルが存在するなら無矛盾であるｗｗ どこが無関係なんだガイジ君ｗ だいたい、数理論理学をかじってて「モデル」という言葉すら 聞いたことがなかった時点でオワッテル なーにが造語だよｗ [] [ここ壊れてます] 834 名前：１３２人目の素数さん [2016/09/20(火) 03:26:20.11 ID:JNe/5TIk.net] >>811 >>803-804 要するに、低学歴のガイジってのは 「位相幾何学に位相って文字が入ってるし位相幾何学は位相を使う『から』位相幾何学⊂位相」 とか言えてしまうレベルの猿なわけでしょ？ 835 名前：１３２人目の素数さん [2016/09/20(火) 03:28:25.40 ID:YkboklIM.net] >>812 ねえねえ、モデル理論は がっつり無矛盾性と対応してるよ？ どこが無関係なんだねガイジ君？ どうして数理論理学をかじってて「モデル」という言葉すら知らなかったの？ なにが造語なの？れっきとした数学用語だよ？バカなの？ 836 名前：１３２人目の素数さん [2016/09/20(火) 03:30:35.47 ID:JNe/5TIk.net] >>813 全く対応してないぞ低学歴ガイジ 対応の意味すら理解出来ないのは猿である証拠 人間の脳のレベルに達してない それを低学歴と呼ぶ 837 名前：１３２人目の素数さん [2016/09/20(火) 03:31:40.41 ID:YkboklIM.net] >>814 モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する。 がっつり対応してるじゃん。 この程度の話すら理解できないバカなの？ 838 名前：１３２人目の素数さん [2016/09/20(火) 03:34:16.04 ID:JNe/5TIk.net] >>815 低知能低学歴は「AならばB」をAとBの対応とか言い出せてしまう猿脳だもんなあwww 位相幾何学も位相と対応してる、だから位相には必ず幾何が必要とか言い出せてしまえるのは猿脳にしか不可能 人間の神経回路では無理な演繹 839 名前：１３２人目の素数さん [2016/09/20(火) 03:36:43.59 ID:JNe/5TIk.net] 位相の話してるところに 「位相と位相幾何学は完全に対応している！ホモロジー群が存在しないならば位相は成立しない！」 とか猿脳全開バカ発言だもんなあwww これ、「私は無料で無限回殴れるサンドバッグです」と宣言してるのと同じなのになwwwww 840 名前：１３２人目の素数さん [2016/09/20(火) 03:39:02.45 ID:JNe/5TIk.net] 「位相が存在するならば位相幾何学を考えられる」 ということは 「位相幾何学が無ければ位相を考えられない」 ということを意味してないんだよ、論理的思考力0の脳障害低学歴クン？ 841 名前：１３２人目の素数さん [2016/09/20(火) 03:42:53.06 ID:YkboklIM.net] >>816 なるほど、 「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」 という事実のことを、普通の人間なら「対応している」と表現するわけだが、 ガイジ君の言葉の使い方では「対応している」とは言わないわけか くだらないね そうやって言葉尻を機械的に捉えて、 無理やり「無関係」と言い張っても無駄なんだよガイジ君 「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」 この事実が全て。ガイジ君がどんなに難癖をつけようとも、 この事実がある時点で全て消し飛ぶわけよ ガイジ君はこの事実を見て「無関係である」と言い張りたいようだけど、 普通の人間は「関係ありまくり」と思うわけｗ 842 名前：１３２人目の素数さん [2016/09/20(火) 03:44:27.93 ID:JNe/5TIk.net] >>819 そもそも論理学に「対応している」などという概念は存在しない 自然言語と論理式の変換すら不可能なガチの脳障害低学歴wwwww 843 名前：１３２人目の素数さん [2016/09/20(火) 03:45:24.22 ID:JNe/5TIk.net] >>819 要するに低知能低学歴だから必要条件と十分条件の区別も出来ないわけでしょ？ 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 話を歪曲するな ユークリッド幾何学の定義域は何か

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef