[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
Inter-universal geometry と ABC予想 否定派 http://rio2016.5ch.net/test/read.cgi/math/1587361264/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
202: ID:1lEWVa2s [sage] 2020/04/23(木) 09:51:08 ID:LjUIpMcw 馬鹿ぁ英語使うな。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/202
203: ID:1lEWVa2s [sage] 2020/04/23(木) 09:52:21 ID:LjUIpMcw 馬鹿英語使うなじゃなくて 馬鹿だ英語使っとるなって意味。 あめりかじんに犯されるぞ襲われるぞ。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/203
204: １３２人目の素数さん [sage] 2020/04/23(木) 09:53:12 ID:ROJTyYdQ …/◎◎\ (*..)… /◎◎\ ずっと◎◎見てると… ﾁﾞﾁﾞｨｯﾁｬﾏに洗脳されちゃぅ…!? (Д`゜)。゜*゜みちゃﾀﾞﾒだ〜?… http://rio2016.5ch.net/test/read.cgi/math/1587361264/204
205: １３２人目の素数さん [sage] 2020/04/23(木) 09:56:28 ID:ROJTyYdQ ?=3 ﾋﾟｭｯ! もっちー様 ｺﾞﾒﾝﾅｻ-ｨ! http://rio2016.5ch.net/test/read.cgi/math/1587361264/205
206: ID:1lEWVa2s [sage] 2020/04/23(木) 10:00:11 ID:j1YW93bg >>204 😳。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/206
207: １３２人目の素数さん [sage] 2020/04/23(木) 10:06:33 ID:ROJTyYdQ Ｏhaluくんにびっくりされたw http://rio2016.5ch.net/test/read.cgi/math/1587361264/207
208: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 10:10:28 ID:HZRVAVG+ https://rio2016.5ch.net/test/read.cgi/math/1586655469/253 ＞★「やあ、Cor3.12の証明どうだった？」 ＞☆「Cor3.12の証明を読んだ結果、だいたい＊＊だった。」 ＞注）＊＊は、「肯定的」 or 「否定的」 そもそも「IUTを守る会 会長」ｗの 「肯定的」「否定的」の判断記述が不明 もし、 ・否定的＝証明に矛盾（反例）が見つかった場合 ・肯定的＝証明に矛盾（反例）が見つからない場合 といってるなら、実に甘い基準 厳しい基準は以下の通り ・否定的＝「前提」及び「結論の否定」から矛盾が導かれない場合 ・肯定的＝「前提」及び「結論の否定」から矛盾が導かれる場合 つまり安易に肯定的と云ってはいけない http://rio2016.5ch.net/test/read.cgi/math/1587361264/208
209: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 10:14:47 ID:HZRVAVG+ >>208 の厳しい基準では 「「前提」及び「結論の否定」から矛盾が導かれるとしても 矛盾に至る証明がいまだ見出されていない状態」 は否定的となるが、それはむしろ当然である フェルマーの定理が、予想だった時代、 反例は見出されていなかったが、 反例が見いだされる可能性が否定できなかった だから定理と認められていなかった 当然だろう http://rio2016.5ch.net/test/read.cgi/math/1587361264/209
210: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 10:32:23 ID:HZRVAVG+ まあ、現実には恒に厳しい基準が適用されたわけでもないが ゲーデルの第二不完全性定理は、実際には算術化された証明手続きについての 実に面倒臭い取り扱いが必要となるが、ゲーデルの論文では詳細は省略された しかし、論理学者は誰もそこにつっこまなかった 「やればできるだろう」と皆が認めたから 実際にはコンピュータ技術が進んだ１９９０年代に ゲーデルの第二不完全性定理の形式的証明が書かれた （別に、第二不完全性定理に疑念があったからではなく 計算科学的に興味深いと考えられたから） http://rio2016.5ch.net/test/read.cgi/math/1587361264/210
211: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 11:06:50 ID:HZRVAVG+ http://rio2016.5ch.net/test/read.cgi/math/1586655469/255 ああ、「IUTを守る会 会長」は全然、数学ってもんが分かってないな そもそも ヴォイタ予想 https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A9%E3%82%A4%E3%82%BF%E4%BA%88%E6%83%B3 ABC予想 https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 スピロ予想 https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%94%E3%83%AD%E4%BA%88%E6%83%B3 の「数論幾何の三大予想」がIUTとやらで解決できてるのかどうかが大問題 解決できてないなら、別の方法で解決したヤツの成果となる 別証明でも悪くはないが、インパクトが全然違う だからギャップがあるならあると コミュニティ内でコンセンサスを得る 必要がある http://rio2016.5ch.net/test/read.cgi/math/1587361264/211
212: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 11:20:42 ID:HZRVAVG+ ちなみにポアンカレ予想の解決は多くのトポロジストを落胆させた 「まず、ポアンカレ予想を解かれたことに落胆し、 それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、 そして、その解の解説がまったく理解できないことに落胆した」 だからといって 「ペレルマンの証明なんて認めなぁぁぁぁぁい！」 と絶叫するトポロジストはいなかったようだが （そもそもトポロジストは３次元や４次元のトポロジーが 自分たちの従来の手法では手に負えない魔境であることを 薄々自覚していた） http://rio2016.5ch.net/test/read.cgi/math/1587361264/212
213: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 11:45:44 ID:HZRVAVG+ https://rio2016.5ch.net/test/read.cgi/math/1586655469/256-258 http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf Remark 3.1.4. Note that because the data involved in a species is given by abstract set-theoretic formulas, the mathematical notion constituted by the species is immune to, i.e., unaffected by, extensions of the universe - i.e., such as the ascending chain V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V that appears in the discussion preceding Definition 3.1 - in which one works. This is the sense in which we apply the term “inter-universal”. That is to say, “inter-universal geometry” allows one to relate the “geometries” that occur in distinct universes. 「グロタンディーク宇宙は只一ぉぉぉぉぉつ！！！」と絶叫してた IUTを守る会 会長 ◆e.a0E5TtKE は V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V につっこまないのか？ 貴様の主張に対する真っ向からの否定だろｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/213
214: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 11:49:09 ID:HZRVAVG+ https://rio2016.5ch.net/test/read.cgi/math/1586655469/256 ＞山下解説外している気がする 師匠のdangerousな脱線をさりげなく軌道修正する弟子 http://rio2016.5ch.net/test/read.cgi/math/1587361264/214
215: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 11:59:06 ID:HZRVAVG+ http://rio2016.5ch.net/test/read.cgi/math/1586655469/259 ＞数学分かってない人が、アンチスレで絶叫しているようだが 正規部分群の定義も間違えた「IUTを守る会 会長」が翼賛スレで絶叫してるな ＞アンチスレの研究できなかった人のタワゴトには、困るなぁ〜 翼賛スレの「一般教養の数学」で挫折した人のタワゴトに失笑ｗ 京都以外の数論幾何の研究者のコミュニティでは IUTは無かったものとして研究が進められるだろう つまり、誰かが別証明の論文を書けば、 それが最初の正当な証明と認められる どこぞの島の連中が何を喚こうが知ったこっちゃない 「またアンダマン諸島のセンチネル族が 船に向かって矢を放ってるぞ 届きゃしないのに」 http://rio2016.5ch.net/test/read.cgi/math/1587361264/215
216: y7fKJ8VsjMの保護者 [sage] 2020/04/23(木) 12:03:56 ID:SJ20ZnnX 平素よりお世話になっております 息子は数学に挫折したまま社会に出ることもできず家でネットばかりに張り付いております ひきこもりを許したわたしども親の責任ですがどうか社会にでることが できるまで暖かく見守ってください http://rio2016.5ch.net/test/read.cgi/math/1587361264/216
217: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 12:13:47 ID:HZRVAVG+ >>216 残念だが仕事はしてる もう３０年務めた 結婚しなかったおかげで 貯金は結構たまったよ（ニンマリ） http://rio2016.5ch.net/test/read.cgi/math/1587361264/217
218: １３２人目の素数さん [] 2020/04/23(木) 12:33:27 ID:pFvIaQaL >>191 素人でも分かる範囲なら数学者の嘘は見抜けるんだぞ http://rio2016.5ch.net/test/read.cgi/math/1587361264/218
219: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 13:03:33 ID:HZRVAVG+ >>218 ワケ ワカ ラン ∧＿∧ ∧＿∧ ∧＿∧ （ ・∀・） （ ・∀・） （ ・∀・） ⊂ ⊂ ） （ Ｕ つ ⊂__へ つ < < < ） ） ） （＿）| （＿（＿） （_＿）＿） 彡（_＿） http://rio2016.5ch.net/test/read.cgi/math/1587361264/219
220: １３２人目の素数さん [] 2020/04/23(木) 13:12:51 ID:pFvIaQaL >>219 全称命題を覆すには反例を一つ示せばいいだけだけど存在命題に同じ手を使ったら詐欺だろ どうせ馬鹿だから分からないと思って http://rio2016.5ch.net/test/read.cgi/math/1587361264/220
221: １３２人目の素数さん [] 2020/04/23(木) 13:14:51 ID:ROJTyYdQ (*“(>>217) ＞お金は貯まった ﾋｿｯ(そぅぃぅことは... 絶対 言っちゃダメ！) イッチャ、ダメ、ゼッタイ 今から災難を引き寄せる悪癖は改めましょぅ・・・ １人暮らしの老人が 「金が有る」と話してた為に 強盗殺人の犠牲者になる事件が多発してます・・ 更に・・独身の男性は 「筧ちさ子(かけい・ちさこ)」 の様な 「後妻業(ごさいぎょう)」 の女性に狙われて財産を根こそぎ奪われ保険金まで奪われる殺人の被害者になる事件が多発しています・・ 「明日は我が身」 常日頃から気を引き締めて、 災難を未然に防ぐ暮らしぶりを心掛け、平穏無事で幸せな老後を送りたいですね... http://rio2016.5ch.net/test/read.cgi/math/1587361264/221
222: １３２人目の素数さん [] 2020/04/23(木) 13:38:51 ID:pFvIaQaL 「全てのカラスは黒い」を否定するには白いカラスが一羽いればいいだけだけど 「黒くないカラスがいる」を否定するのに黒いカラスをいくら集めても意味ないだろ http://rio2016.5ch.net/test/read.cgi/math/1587361264/222
223: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 13:57:55 ID:HZRVAVG+ >>222 「全てのカラスは黒い」（任意のものはカラスでないか黒い）の特称化は 「カラスでないか黒いあるものが存在する」であって 「黒いカラスが存在する」ではないよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/223
224: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 14:00:02 ID:HZRVAVG+ >>221 ＞１人暮らし じゃないから 残念だったね http://rio2016.5ch.net/test/read.cgi/math/1587361264/224
225: １３２人目の素数さん [sage] 2020/04/23(木) 14:00:49 ID:ROJTyYdQ ♪。＊゜♪。＊゜♪。＊゜ 🎵ﾋﾟﾝﾎﾟﾝﾊﾟﾝﾎﾟ〜ﾝ🎶 。゜*゜。🎶。゜*゜。🎶 春の家計見直しプランお知らせで〜す。。。 ✨楽天銀行新規口座開設✨の 🍀お得な利率と併せてトータルでさらにお得なプランを見つけました。。。🍀*゜ ※楽天証券口座開設と併せて利用の場合 (口座開設費・維持費無料 証券買わなくてもＯＫです) 電気料金も楽天電気 (賃貸住宅でも利用可能) にすると楽天ポイントが貯まって、楽天市場でのお買い物時に利用出来ます。。。 📲通信も楽天モバイルのUNLIMITなら１年間無料 (２年目から月額利用料２,９８０円・中途解約可・解約金無し・縛り無し) 併せて上記全ての支払いに 💳クレジットカード💳の 信販会社を通す決済にすれば クレカのポイントも溜まります♪v(*^^*)v♪ お時間がお有りの時にご検討くださぃ。。。 楽天Unlimitはもうすぐキャンペーン終了、〆切です。。 ※楽天のステマバイトでは有りません。。。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/225
226: １３２人目の素数さん [] 2020/04/23(木) 14:02:30 ID:pFvIaQaL ましてや一羽だけもってきて「このカラスは黒いですね。黒くないカラスはいないんじゃないですかね」とか言って 聴いてる方が「わかる〜」とか言ってるの見たら、どっちも頭おかしいだろ！とツッコミいれたくなる で、とりあえず一万羽捕まえてみたらどんどん黒くなっていきそうってとこに今いる http://rio2016.5ch.net/test/read.cgi/math/1587361264/226
227: １３２人目の素数さん [sage] 2020/04/23(木) 14:03:01 ID:ROJTyYdQ >>224 ΣΣΣ((((´Д｀；))) http://rio2016.5ch.net/test/read.cgi/math/1587361264/227
228: １３２人目の素数さん [sage] 2020/04/23(木) 14:04:07 ID:ROJTyYdQ ○ ○ ○ http://rio2016.5ch.net/test/read.cgi/math/1587361264/228
229: １３２人目の素数さん [sage] 2020/04/23(木) 14:04:42 ID:ROJTyYdQ ※*Σو>ง٩ω*Д☆＼♯♭\／Σ：♪★ http://rio2016.5ch.net/test/read.cgi/math/1587361264/229
230: １３２人目の素数さん [] 2020/04/23(木) 14:05:40 ID:pFvIaQaL >>222 二つの命題に関連性はないよ ただ詐欺だと言いたいだけ こっちが気づかないのをいいことに…と思ったらまた腹が立ってきた http://rio2016.5ch.net/test/read.cgi/math/1587361264/230
231: １３２人目の素数さん [sage] 2020/04/23(木) 14:06:24 ID:ROJTyYdQ ヽ(((;゜゜; )))ｷﾞｬｧｧｧ※$＄#@&\*♪♡+★♪♯♭\☆；ゞ http://rio2016.5ch.net/test/read.cgi/math/1587361264/231
232: １３２人目の素数さん [sage] 2020/04/23(木) 14:08:37 ID:ROJTyYdQ (騙された。。。❔) ?ΣΣΣΣ(((((๑ºдº๑))))) http://rio2016.5ch.net/test/read.cgi/math/1587361264/232
233: １３２人目の素数さん [sage] 2020/04/23(木) 14:12:17 ID:ROJTyYdQ ▂▂┃┃┃▂▂ ((⚫))((⚫)) http://rio2016.5ch.net/test/read.cgi/math/1587361264/233
234: １３２人目の素数さん [sage] 2020/04/23(木) 14:18:15 ID:ROJTyYdQ ========ε=ε=ヾ(゜´Д`) ウゥｩﾜワアｱｧ━━━━━ｯ！ http://rio2016.5ch.net/test/read.cgi/math/1587361264/234
235: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 14:20:41 ID:HZRVAVG+ 兄弟で暮らしてますが何か？ https://ja.wikipedia.org/wiki/%E9%96%93%E5%AE%AE%E5%85%84%E5%BC%9F http://rio2016.5ch.net/test/read.cgi/math/1587361264/235
236: １３２人目の素数さん [sage] 2020/04/23(木) 14:21:31 ID:ROJTyYdQ ゜。☆゜＊。○゜。*゜＊゜。 。゜＊゜お幸せに。。。*゜＊。 *゜。○゜。☆。゜゜。☆ http://rio2016.5ch.net/test/read.cgi/math/1587361264/236
237: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 15:02:19 ID:HZRVAVG+ IUT論文におけるZFCGへの言及について テレンス・タオは「あれは燻製ニシンだろ」と指摘している （「燻製ニシンの虚偽」とは重要な事柄から受け手（聴き手、読み手、観客）の 注意を逸らそうとする修辞上、文学上の技法を指す慣用表現） ついでにいうと V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V は有限列だよな？ （無限列だとすると”∈V”の左の文字が明らかでない） http://rio2016.5ch.net/test/read.cgi/math/1587361264/237
238: １３２人目の素数さん [sage] 2020/04/23(木) 15:37:48 ID:onmAzHJf お立ち台はどうだった？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/238
239: １３２人目の素数さん [sage] 2020/04/23(木) 15:55:11 ID:ROJTyYdQ ﾁﾞﾁﾞｨｯﾁｬﾏ、岡江久美子さんがｺﾛﾅで亡くなっちゃったー！ http://rio2016.5ch.net/test/read.cgi/math/1587361264/239
240: １３２人目の素数さん [sage] 2020/04/23(木) 15:57:59 ID:ROJTyYdQ (ノД`。)゜ http://rio2016.5ch.net/test/read.cgi/math/1587361264/240
241: １３２人目の素数さん [sage] 2020/04/23(木) 16:01:36 ID:ROJTyYdQ ﾁﾞﾁﾞｨｯﾁｬﾏ気をつけてね… 。゜(ノД`)ノ⊂□⊃ マスクはちゃんとありますか？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/241
242: １３２人目の素数さん [sage] 2020/04/23(木) 16:04:22 ID:ROJTyYdQ ６３歳だったんですって… 。゜(ノД`)。ﾁﾞﾁﾞｨｯﾁｬﾏ… ﾀﾋなないでね… http://rio2016.5ch.net/test/read.cgi/math/1587361264/242
243: １３２人目の素数さん [sage] 2020/04/23(木) 16:06:50 ID:ROJTyYdQ 安達さまが危ない… ｴﾓちょっと行ってくるー！ ┃≡З=з³ http://rio2016.5ch.net/test/read.cgi/math/1587361264/243
244: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 16:38:36 ID:HZRVAVG+ https://rio2016.5ch.net/test/read.cgi/math/1586655469/277 >望月IUTが、何を証明するのか、実はよく知らないんだ IUTを守る会 会長 自分が守りたいものが何かも分かってなかったｗ なんだろうなこの馬鹿はｗ ABC予想 https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 あいつは引用のイロハも分かってない いきなりradとか書いて読者が分かるわけねぇだろ まずここから書けよ 「自然数 n に対して、 n の互いに異なる素因数の積 を n の根基 (radical) と呼び、rad n と書く。」 「自然数の組 (a, b, c) で、 a + b = c, a < b で、a と b は互いに素であるもの を abc-triple と呼ぶ。」 「大抵の場合は c < rad(abc) が成り立つが、 abc予想が主張するのはこれが成り立たない例 （例えば、a = 1, b = 8, c = 9 のとき rad(abc) = 6 である） の方である。 ただし、c > rad(abc) が成り立つ例も無限に存在するため、 rad(abc) を少しだけ大きくすることで 例を有限個にできないかどうかを考える。」 「すなわち、abc予想は任意の ε > 0 に対して、 次を満たすような自然数の組 (a, b, c) は 高々有限個しか存在しないであろうと述べている： c>rad (abc)^(1+ε)」 http://rio2016.5ch.net/test/read.cgi/math/1587361264/244
245: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 16:50:27 ID:HZRVAVG+ http://rio2016.5ch.net/test/read.cgi/math/1586655469/277 あの馬鹿は、３つの定式化が同値であることも理解できねぇ こんなん高卒レベルだろ あいつホントに大学受かったんか？ｗ 「abc-triple (a, b, c) に対して、質 q(a, b, c) を次のように定義する： q(a,b,c):=log c/log(rad (abc)) このときabc予想は、任意の ε > 0 に対して、 abc-triple (a, b, c) であって q(a, b, c) > 1 + ε を満たすものは 高々有限個しか存在しないということを主張している。」 log c/log(rad (abc))>1+ε →log c>log(rad (abc))*(1+ε) →log c>log(rad (abc)^(1+ε)) →c>rad (abc)^(1+ε) >q(a, b, c) > 1 + εのεの取り方で、 >q(a, b, c) > 1.6とかq(a, b, c) > 2 とか >まあ、いろいろあるみたい ばぁぁぁぁぁかｗ ε＞０は任意の値でいい ただε＝１の場合 １＋ε＝２となり q(a, b, c) > 2 となる場合は皆無 というのは、もっと強い予想 そのくらい読んで３分で分かれよ 大阪大ってマジで大東亜帝国以下のFランク大学か？ｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/245
246: １３２人目の素数さん [] 2020/04/23(木) 16:59:15 ID:XWvRD9DG 任意の値に具体的数値を入れている時点でゴミ http://rio2016.5ch.net/test/read.cgi/math/1587361264/246
247: １３２人目の素数さん [] 2020/04/23(木) 17:01:07 ID:XWvRD9DG まだすべてのカラスは黒い問題が理解できないようだね 全称命題に定数を入れられないのがわからない 田島一郎くん？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/247
248: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 17:08:25 ID:HZRVAVG+ >>246-247 ワケ ワカ ラン ∧＿∧ ∧＿∧ ∧＿∧ （ ・∀・） （ ・∀・） （ ・∀・） ⊂ ⊂ ） （ Ｕ つ ⊂__へ つ < < < ） ） ） （＿）| （＿（＿） （_＿）＿） 彡（_＿） http://rio2016.5ch.net/test/read.cgi/math/1587361264/248
249: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 17:13:23 ID:HZRVAVG+ XWvRD9DGのような誤解をする馬鹿へ 元々のABC予想 「c>rad (abc)^(1+ε)となる a,b,cの組は有限個」 から 「c>rad (abc)^2となる a,b,cの組は存在しない」 は出てこない http://rio2016.5ch.net/test/read.cgi/math/1587361264/249
250: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 17:18:39 ID:HZRVAVG+ 『無限のスーパーレッスン』のhyper-critique https://fuchino.ddo.jp/misc/superlesson.pdf これ読むと数学者といえども専門外の分野については 全くといっていいほど無知なうえに、 見当違いな誤解をしまくってることが よくわかる 「[選択公理] 超限帰納法を使ってよい (つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する) (無限のスーパーレッスン，p.164)」 なんじゃこりゃぁぁぁぁぁ！！！ http://rio2016.5ch.net/test/read.cgi/math/1587361264/250
251: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 17:21:42 ID:HZRVAVG+ >>250の続き 『無限のスーパーレッスン』のhyper-critique https://fuchino.ddo.jp/misc/superlesson.pdf 「1936 年に、ゲンツェンは整数論 (ただし選択公理なし) の数学体系が無矛盾であることを、 選択公理を使って (つまり整数論、選択公理つき、という体系で) 証明しています」 (無限のスーパーレッスン，p.185) これはヒドイ・・・ http://rio2016.5ch.net/test/read.cgi/math/1587361264/251
252: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 17:23:47 ID:HZRVAVG+ >>251の続き 『無限のスーパーレッスン』のhyper-critique https://fuchino.ddo.jp/misc/superlesson.pdf 「選択公理なしでは無限の大小が比べられなくなるので、 ベルンシュタインやカントルの対角線論法などが駄目になってしまいます。」 (無限のスーパーレッスン，p.201) マジでヒドイ・・・ヒド過ぎる http://rio2016.5ch.net/test/read.cgi/math/1587361264/252
253: １３２人目の素数さん [] 2020/04/23(木) 17:28:55 ID:XWvRD9DG たしかに 丹治信治の論理学入門では 全称命題から個体パラメータを導出している つまり すべてのカラスは黒い から 太郎くん(カラス)は黒い を導出できるという考え そのことが言いたかったんだね たしかにこれは存在命題とは異なる 俺が言っているのは全称命題から存在命題は導出できない というのは すべてのカラスは黒い から ある(黒い)カラスが居る は導出できないと言っている http://rio2016.5ch.net/test/read.cgi/math/1587361264/253
254: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 17:36:07 ID:HZRVAVG+ 加藤文元とかいう人のIUT本が 「無限のスーパーレッスン」より 数学的にはマシな本であることを期待したい （読んでないし読むつもりもないが） http://rio2016.5ch.net/test/read.cgi/math/1587361264/254
255: １３２人目の素数さん [sage] 2020/04/23(木) 17:37:44 ID:onmAzHJf >すべてのカラスは黒い >あるカラスが居る ←これが居ることの担保がない >ゆえに >そのカラスは黒い 時刻 t(s) におけるカラスの数は実関数 f(t) で表せ、f(t) は定数関数ではない。 変数tを固定すると、f(t) も固定されるから、すべてのカラスは黒いという仮定は意味を持つ。 変数tを固定しないと、f(t) が定数とはいい切れず、すべてのカラスは黒いという仮定が正しい保証はどこにもない。 このように、すべてのカラスは黒いという仮定が正しい保証はない。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/255
256: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 17:44:51 ID:HZRVAVG+ >>253 そりゃそうでしょ 丹治さんの本って タブロー法について説明してるから （ま、LKでもNKでも同じだけどね） ＞つまり ＞すべてのカラスは黒い ＞から ＞太郎くん(カラス)は黒い ＞を導出できるという考え いやそれは駄目でしょ というのはスズメはいてもカラスが全く存在しない場合があるから ＞俺が言っているのは全称命題から存在命題は導出できない ＞というのは ＞すべてのカラスは黒い ＞から ＞ある(黒い)カラスが居る ＞は導出できないと言っている 後半の４行は正しい でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが 「ある(黒い)カラスが居る」だとおもってるならそれは誤り 正しい置き換えは 「あるものが存在し、それがカラスならば黒い」 これはスズメしか存在しない世界でも正しい 要するになんかしら存在すればいいし、 述語論理ではそういう前提で考えてるってこと そうでなければ全称例化なんて認められないから http://rio2016.5ch.net/test/read.cgi/math/1587361264/256
257: １３２人目の素数さん [] 2020/04/23(木) 17:52:34 ID:XWvRD9DG >>255 集合から任意の元を選べばそれは固定される たとえば カラスの集合から任意のカラスを選ぶ これをf(a)とする このときf(a)は動かない しかしこの動かないことを以て カラスが居る ということは言えない これも太郎くん問題だよ カラスの集合から任意にカラスを選ぶ その中に太郎くんがいたから これを黒いカラスと呼ぶ こういう問題と混同している 俺は全称命題から存在命題は導出できないと言っている http://rio2016.5ch.net/test/read.cgi/math/1587361264/257
258: １３２人目の素数さん [] 2020/04/23(木) 17:56:37 ID:XWvRD9DG >>256 >でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが >「ある(黒い)カラスが居る」だとおもってるならそれは誤り そんなことは一言も言ってない 貴方が勝手にそう言っていただけのこと http://rio2016.5ch.net/test/read.cgi/math/1587361264/258
259: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 18:00:16 ID:HZRVAVG+ ＞俺は全称命題から存在命題は導出できないと言っている それ述語論理としては誤りだから なぜかといえば、述語論理の対象領域には必ず個体が存在するから そうでなければ、全称例化の推論は出来ないから 「カラスは黒い」というのは 「任意のｘについてｘがカラスならば黒い」という意味であって それを特称化した場合 「あるｘが存在してｘがカラスならば黒い」となる ｘがカラスである必要はない スズメでもヒバリでもウグイスでもなんでもいい しかし何にもいない、ということはそもそもあり得ない そういうこと http://rio2016.5ch.net/test/read.cgi/math/1587361264/259
260: １３２人目の素数さん [] 2020/04/23(木) 18:00:52 ID:XWvRD9DG >>256 a：個体パラメータ とする (1) (∀x)Fx (2) Fa (1) この導出に異論はあるか？ 俺はない これが認められないなら全称命題の意味がない http://rio2016.5ch.net/test/read.cgi/math/1587361264/260
261: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 18:03:03 ID:HZRVAVG+ >>258 ＞そんなことは一言も言ってない 云ってないだろうが、∀ｘPx と∃ｘPxの関係を誤解してるのが明確なので指摘した 自分の間違いを指摘されて不愉快なのは分かるがここ乗り越えないと馬鹿のまま死ぬぞ 誤りを認めるのは恥ずかしくない 誤りを認めないことこそ恥ずかしいんだ http://rio2016.5ch.net/test/read.cgi/math/1587361264/261
262: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 18:05:38 ID:HZRVAVG+ >>260 (1) Fa (2) (∃x)Fx (1) この導出に異論はあるか？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/262
263: １３２人目の素数さん [] 2020/04/23(木) 18:06:19 ID:XWvRD9DG >>262 あるに決まってんだろｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/263
264: １３２人目の素数さん [sage] 2020/04/23(木) 18:07:44 ID:onmAzHJf >>255 >すべてのカラスは黒い >あるカラスが居る ←これが居ることの担保がない >ゆえに >そのカラスは黒い これを単純に論理的問題で捉えると、カラス全体の(有限)集合Aの存在性が一段目で保証されているから、 二段目の或るカラスの存在性(居ること)もAの点の形で保証される。 >>255はカラスを物理的に解釈して考えたときの話。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/264
265: １３２人目の素数さん [sage] 2020/04/23(木) 18:11:22 ID:onmAzHJf >>257 >>264は、>>255ではなく、>>257へのレス。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/265
266: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 18:36:19 ID:HZRVAVG+ http://rio2016.5ch.net/test/read.cgi/math/1586655469/289 >戦線とか言う時点で共産党員 共産党員ではないな アナーキストだからｗ >日本が憎くて仕方がない！ 日本政府は要らないと思ってる ま、日本に限らないけど 憎しみはない >日本人の自尊心は敵 他国民と比較して上とかいう 異常な精神は害悪だと思ってる そういうのは本来の「自尊心」ではない >望月許すまじ 望月の態度には誠意がないと思ってるし PRIMS掲載で不当な圧力をかけたなら トンデモないと思うが 改心しろよ そしたら許してやる >日本人はバカでなくてはならない いや、賢くなってほしいね やれ韓国人ガー、中国人ガーという 馬鹿丸出しな態度から脱却してほしい 心からそう思ってるよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/266
267: １３２人目の素数さん [] 2020/04/23(木) 20:10:37 ID:zY/+UvEc >>141 1、P0∧∀x(Px→Psx)→∀xPx ・・・数学的帰納法 2、P0∧∃x¬Px ・・・仮定 3、∀x(Px→Psx) ・・・仮定 4、P0 ・・・2より∧除去 5、P0∧∀x(Px→Psx) ・・・4と3より∧導入 6、∀xPx ・・・1と5より→除去 7、Pa ・・・6より全称例示仮 8、∃xPx ・・・7より存在汎化 9、∃x¬Px ・・・2より∧除去 10、矛盾 ・・・8と9より矛盾導入 11、¬∀x(Px→Psx) ・・・3より¬導入 12、¬∃x(Px∧¬Psx) ・・・仮定 13、Pa∧¬Psa ・・・仮定 14、∃x(Px∧¬Psx) ・・・13より存在汎化 15、矛盾 ・・・12と14より矛盾導入 16、¬(Pa∧¬Psa) ・・・15と13より¬導入 17、Pa→Psa ・・・16より 18、∀x(Px→Psx) ・・・17より全称汎化 19、矛盾 ・・・17と11より 20、∃x(Px∧¬Psx) ・・・12と19より¬導入と二重否定除去 21、(P0∧∃x¬Px)→∃x(Px∧¬Psx) ・・・2と20より→導入 22、{P0∧∀x(Px→Psx)→∀xPx}→{(P0∧∃x¬Px)→∃x(Px∧¬Psx)} 1と21より 逆も同様に示せるので↔が示せる http://rio2016.5ch.net/test/read.cgi/math/1587361264/267
268: １３２人目の素数さん [] 2020/04/23(木) 20:15:52 ID:zY/+UvEc (A∧B→C)↔(A∧¬C→¬B)において、 AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ http://rio2016.5ch.net/test/read.cgi/math/1587361264/268
269: １３２人目の素数さん [] 2020/04/23(木) 20:32:03 ID:zY/+UvEc >>185 命題論理に直すのは簡単だよ >∀x(Fx→Gx)から∃x(Fx→Gx)は導ける は、Fx→GxをHxと書くと、 1、∀xHx ・・・仮定 2、Ha ・・・1より全称例示化 3、∃xHx ・・・2より存在汎化 4、∀xHx→∃xHx ・・・1と3より→導入 で楽勝だが、もし論議領域としてD={a,b,c}を考える場合、 ∀xHxはHa∧Hb∧Hc、∃xHxはHa∨Hb∨Hcとなって命題論理になるので、 1、Ha∧Hb∧Hc ・・・仮定 2、Ha ・・・1より∧除去 3、Ha∨Hb∨Hc ・・・2より∨導入 4、(Ha∧Hb∧Hc)→(Ha∨Hb∨Hc) ・・・1と3より→導入 となるのでDとして空集合さえ考えなければ成り立つ http://rio2016.5ch.net/test/read.cgi/math/1587361264/269
270: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 20:50:03 ID:HZRVAVG+ >>268 その通りですね http://rio2016.5ch.net/test/read.cgi/math/1587361264/270
271: １３２人目の素数さん [] 2020/04/23(木) 20:53:19 ID:XWvRD9DG 存在汎化か…… 怪しいやつもってきたなｗ 「少なくとも1つあれば」に該当するとも言えるが これを認めるのは難しそう まっこれから研究してみますわ http://rio2016.5ch.net/test/read.cgi/math/1587361264/271
272: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 20:54:26 ID:HZRVAVG+ >>269 ＞命題論理に直すのは簡単だよ ＞もし論議領域としてD={a,b,c}を考える場合 D={a,b}、いや、D={a} でもいいかもｗ ∀xHxはHa、∃xHxもHa Ha→Ha ！ 端的にいえばそういうことだよね http://rio2016.5ch.net/test/read.cgi/math/1587361264/272
273: １３２人目の素数さん [] 2020/04/23(木) 21:18:40 ID:hmqDQuFG 論理学の話してて草 http://rio2016.5ch.net/test/read.cgi/math/1587361264/273
274: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 21:22:47 ID:HZRVAVG+ 爆弾製造の代わりに各自、論証訓練を行ってますｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/274
275: １３２人目の素数さん [sage] 2020/04/23(木) 22:12:16 ID:ROJTyYdQ ある成人は孤児である 親も兄弟もいない ある成人は兄弟と同居している この「ある成人」なる両者が同一人物であることは真か？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/275
276: １３２人目の素数さん [sage] 2020/04/23(木) 22:22:46 ID:ROJTyYdQ スレに嘘つきがでます！ http://rio2016.5ch.net/test/read.cgi/math/1587361264/276
277: １３２人目の素数さん [sage] 2020/04/23(木) 22:36:56 ID:ROJTyYdQ (。´Д`(>>230) 病的なうそつきみたぃなんです…!? 気をつけて… 言ってることほぼほぼｳｿだと思ぅ〜! 信じちゃﾀﾞﾒ〜!? http://rio2016.5ch.net/test/read.cgi/math/1587361264/277
278: １３２人目の素数さん [sage] 2020/04/23(木) 22:41:04 ID:ROJTyYdQ う"そ"つ"き"を"ち"さ"ん" ★事★態★宣★言★発★動★ http://rio2016.5ch.net/test/read.cgi/math/1587361264/278
279: １３２人目の素数さん [] 2020/04/23(木) 22:43:02 ID:XWvRD9DG >>275 孤児は親兄弟がいないとし F：成人 G：孤児 とする このとき(∃x)Fx∧Gxの真理値を考える： (1) 偽 (∃x)Fx∧Gx (2) 偽 (∃x)Fx (1) (3) 偽 (∃x)Gx (1) (4) 真 (∀x)Fx (2) (5) 真 (∀x)Gx (3) (6) 真 Fa (4) (7) 真 Ga (5) これ難しいな まだ勉強不足だからわからないｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/279
280: １３２人目の素数さん [sage] 2020/04/23(木) 23:04:25 ID:ROJTyYdQ >>279 真ナコトナイ(∃ 偽ﾆキマッテル(∃ それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・ HN 5ch反IUT論装戦線 論理狼中年の自分語り⇒偽 って決まってるから... http://rio2016.5ch.net/test/read.cgi/math/1587361264/280
281: １３２人目の素数さん [sage] 2020/04/23(木) 23:04:27 ID:ROJTyYdQ >>279 真ナコトナイ(∃ 偽ﾆキマッテル(∃ それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・ HN 5ch反IUT論装戦線 論理狼中年の自分語り⇒偽 って決まってるから... http://rio2016.5ch.net/test/read.cgi/math/1587361264/281
282: １３２人目の素数さん [sage] 2020/04/23(木) 23:11:57 ID:ROJTyYdQ ここに棲み憑いてる狼中年のヲ"チ"さ"ん"が言う事は・・・ あらゆる可能性をできるだけ想定して、矛盾が無いか徹底的にチェックしないと・・・ 騙"さ"れ"ち"ゃ"う"か"ら" ね・・・ http://rio2016.5ch.net/test/read.cgi/math/1587361264/282
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 720 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.019s