[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
15: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)06:59 ID:gQCe02i1(1/80) AAS
フハハハハハハ
第六天魔王 Mara Papiyasだ
今度 上記のHNで活動する
久しぶりに「コンピュータは数学者になれるのか」（照井一成）を読んだら
フィールズメダリストのヴォエヴォドスキーの言葉を発見したので紹介する
16(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)07:02 ID:gQCe02i1(2/80) AAS
ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」
(the devil is in the detail)
18: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)07:05 ID:gQCe02i1(3/80) AAS
ヴォエヴォドスキーが、コンピュータによる証明検証を推進した動機は、
自身が過去に犯した間違いの経験と思われる。
彼亡き後、ホモトピー型理論はどうなったんだろうか？
20: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)07:10 ID:gQCe02i1(4/80) AAS
>>19
その通りだ
そして望月のとりまきは、望月の理論の詳細までチェックしたとは思えない
望月への信頼が、仇になっている可能性が大なのだ
新しい理論の検証に対して、義理人情は邪魔である
21: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)07:14 ID:gQCe02i1(5/80) AAS
2chｽﾚ:math
向こうにも●木Ｇがいるのか・・・
23: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)07:52 ID:gQCe02i1(6/80) AAS
>>22
なるほど・・・Woitもなかなかタイヘンだねえ
24: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)07:58 ID:gQCe02i1(7/80) AAS
さて、今日も恒例のinter-thread talking battle やらかすか
2chｽﾚ:math
＞今度は玉川先生が論争に行くことにしたら？
玉川が分かってるなら初めから論争してるって
論争してない時点で分かってない、って悟れよ
＞星先生を助太刀にして
星は望月とショルツ＆スティクスの議論の際
省2
25: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)08:01 ID:gQCe02i1(8/80) AAS
2chｽﾚ:math
＞ＩＵＴ自身が分かり難い
＞遠アーベル以外の数学者（できればＭ１クラス）
＞に分かる教科書（ＳＧＡにたいするハーツホーン）
順序が逆
そもそも専門家に理解された上で
学生向けの教科書が書かれる
省3
26: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)08:05 ID:gQCe02i1(9/80) AAS
2chｽﾚ:math
＞ＩＵＴ理論への納得性
＞過去に、物理学などでは、革命的な理論が出たとき、
＞周辺の人の理解がおいつかないことがあった
＞数学でも似た例があるが、分からせる努力を怠ってはいけない
＞（物理学だと、相対性理論とか量子力学など）
喩えが悪いな
省3
27(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)08:11 ID:gQCe02i1(10/80) AAS
2chｽﾚ:math
＞IUTが何か知らないけど応援しています
なぜ？理由は？
何か知らないなら、応援するのはマチガッテル
応援したいなら、まず知れよ！知れよ！！知れよ！！！
正直、IUTが成功だろうが失敗だろうが知ったこっちゃないが
専門家が理解できないといってる論文を、
省4
28: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)08:18 ID:gQCe02i1(11/80) AAS
2chｽﾚ:math
＞そういうことは言わないの
＞弘法も筆の誤り
貴様は弘法じゃないだろう
正規部分群の定義を間違えるとか
数学科なら即転科を薦められるレベル
＞正直でいい
省5
30: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)08:36 ID:gQCe02i1(12/80) AAS
>>29
多分、探せばもっといろいろ見つかるんじゃないですかね
いっときますが、
・望月が人を欺くつもりでＩＵＴ論文を書いたとは思ってない
・しかし、PRIMS掲載をめぐる一連の行動は疑惑を持たれても仕方ない
・レフェリーすら正当性を説明できない論文をアクセプトするべきではなかった
そういうこと
省1
31(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)08:58 ID:gQCe02i1(13/80) AAS
AA省
32: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)09:11 ID:gQCe02i1(14/80) AAS
AA省
33: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)09:22 ID:gQCe02i1(15/80) AAS
AA省
34: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)09:35 ID:gQCe02i1(16/80) AAS
AA省
35: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)10:11 ID:gQCe02i1(17/80) AAS
掛け算の交換法則の話もしとくか
算数の実施は、ロビンソン算術の公理系で十分である
一方、ロビンソン算術では
自然数全般に関する結合法則及び交換法則
は証明できない
なぜならロビンソン算術には数学的帰納法がないからである
そもそも
省3
36: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)11:14 ID:gQCe02i1(18/80) AAS
2chｽﾚ:math
「ポジティブ」とかいってるけど◆e.a0E5TtKEは
「世界に冠たるIUT！！！」
っていいたいだけのファシストだから
「ネガティブ」？いやいやこっちがpositivist（実証主義者）だから
論理的根拠なしに翼賛する向こうがnegativist（反実証主義者）でしょ
37: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)11:15 ID:gQCe02i1(19/80) AAS
2chｽﾚ:math
・IUT論文審査は不十分
・IUT論文は証明として全く十分でない
・以前の国際会議でも理解されなかったのに
今度の国際会議で理解されると思うのはアサハカ
柏原は只の神輿 玉川は完全に腰が引けてる
日本数学会はIUTとは無関係 支持する理由がない
省3
38: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)11:20 ID:gQCe02i1(20/80) AAS
2chｽﾚ:math
こちらは◆e.a0E5TtKEが（HNつきでも匿名でも）書き込まない限り
本スレこと51スレに書きこまない
ま、本スレにはまだ粋蕎 ◆C2UdlLHDRIが書き込んでるが
あいつは絶対中立と云うしか能がない馬鹿だから
放置しといても問題あるまい
39: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)11:26 ID:gQCe02i1(21/80) AAS
2chｽﾚ:math
＞本体スレでは、「IUTって数学的にはなんなの？」って話をしてほしい
そんな話、群論の初歩も理解できない工学部卒の◆e.a0E5TtKEには
逆立ちしても理解できまい
「RIMSがサギだ」というのは、
「疑惑などない」と言い張るRIMS礼賛馬鹿
に対するカウンターパンチ
省2
41: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)11:42 ID:gQCe02i1(22/80) AAS
誰が正直かは明らか
43: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)12:05 ID:gQCe02i1(23/80) AAS
「ない」とはいわないが
今の望月の態度から見て
限りなく小さい
44: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)12:26 ID:gQCe02i1(24/80) AAS
2chｽﾚ:math
＞一般的に「査読を通過した」ことは、
＞普通、論文が掲載される前に、
＞公にされるべきものなのでしょうか？
否
今回の「発表」は望月の要請によるものと思われる
要するに「”理解者”によって正しいと認められた」と云いたがってる
省7
48(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)12:40 ID:gQCe02i1(25/80) AAS
>>45
望月が正しいと思ってるのは確か
一方で、他人からの指摘に対して
真摯に向き合ってるとは思えないのも確か
どこか自己防衛のバリアが張り巡らされてる印象
>>46
「誤った」推論というより
省5
49: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)12:43 ID:gQCe02i1(26/80) AAS
>>47
君は「仲間」のところに戻ったほうがいいな
数学知らない素人なんだろ？
56: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)15:28 ID:gQCe02i1(27/80) AAS
>>52
喩えが悪いね
望月らIUT一派：ボリシェヴィキбольшевики
反IUT論装戦線：マフノフシチナМахновщина
5つの指針
すべての政党の停止
すべての独裁の排除
省3
58: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)15:34 ID:gQCe02i1(28/80) AAS
>>54
君はまず「食うために働く」という考えが、
資本主義に飼いならされたイヌのものだと気づけ
外部ﾘﾝｸ:ja.wikipedia.org
無政府共産主義（英: anarchist communism）は、無政府主義（アナキズム）の潮流の一つ。
人の自由と自律を尊び、不当な支配階級や経済格差の無い社会を目指し、
「能力に応じて働き、必要に応じて受け取る」という原理を唱える。
省13
61: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)15:38 ID:gQCe02i1(29/80) AAS
Анархія
動画ﾘﾝｸ[ﾆｺﾆｺ動画]
65: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)15:47 ID:gQCe02i1(30/80) AAS
mg08g5qs は 絵文字ＢＢＡ
本スレでも素人ぶり全開のカキコ
Woitが超弦理論の何を批判してるのかは知らないが
（おそらく、物理学的な証拠がないという点だと思われるが）
高次元だからマチガッテル、といってるわけじゃないだろ
66(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)15:50 ID:gQCe02i1(31/80) AAS
>>62
＞人間社会(なんか)に夢見過ぎ
そうやって資本主義に屈服するから
人類は破滅に向かって驀進するわけだ
67: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)15:56 ID:gQCe02i1(32/80) AAS
mg08g5qs は結局💩スレに亡命したらしいｗ
あそこはボリシェビキというより、帝政ロシアの悪名高い
黒百人組Чёрная сотня だな
外部ﾘﾝｸ:ja.wikipedia.org
69: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:02 ID:gQCe02i1(33/80) AAS
>>68
カルダノの件とは全然違うと思うが
ショルツがABC予想の証明論文書いたとしても
望月とは違う方法だからやっぱり違うな
71(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:07 ID:gQCe02i1(34/80) AAS
2chｽﾚ:math
＞３０年後に「このゴタゴタは何だったんだろう」と総括するときがくる。
総括だけならもっと全然早い
＞数学の担い手が、数学者からAIに移行する兆しの事件
これを機に、計算機による検証の研究が進むだろう
人間に対する不信が極まってるから
73(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:11 ID:gQCe02i1(35/80) AAS
2chｽﾚ:math
＞IUT 数学の革新性：なにがどう革新的なのか？
＞IUT数学とは何か？
いきなりK2登山とか無理だからｗ
まず、ファン・デル・ヴェルデンでも読んで
群論の革新性を理解しろｗ
話はそれからだ
76: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:17 ID:gQCe02i1(36/80) AAS
2chｽﾚ:math
＞１分以内で説明してください
もし学生が時間を切って説明しろといったら
教授はこういうだろう
「君、数学やめたほうがいいよ」
＞長い話はいらない。１分で300字くらいしゃべれるよ
＞まあ、絵や図を書いて、３分間にしてもいいけどね
省4
79(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:21 ID:gQCe02i1(37/80) AAS
>>74
機械が理論家になる必要はない
機械が行なうのは検証であって創造ではない
そもそも、理論家にロマンを感じすぎｗ
まだギフとか夢みてんのか？BBA
83: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:26 ID:gQCe02i1(38/80) AAS
2chｽﾚ:math
＞プロレスで言えば、
＞ヒーローは最初はやられるのです
＞ぼこぼこに
＞ヒーロー危うしとなったその瞬間
＞逆転劇が始まるのです
ないない
省1
85(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:28 ID:gQCe02i1(39/80) AAS
>>81-82
な、
なんか知らんけどまだいるんだよ
おまえにやるよ
肉体労働者だから・・・大きいんだろ？（何が？）
86: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:32 ID:gQCe02i1(40/80) AAS
BBAは直接民主制を只の投票制度と誤解する
あさはかな思考力しか持ち合わせてないようだ
88(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:38 ID:gQCe02i1(41/80) AAS
2chｽﾚ:math
＞「5ch反IUT論装戦線」というネーミングは”新左翼”風
ま、ネタですがね
個人的にはここに着目してます
ウォール街を占拠せよ
外部ﾘﾝｸ:ja.wikipedia.org
「2007年において、
省3
89(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:41 ID:gQCe02i1(42/80) AAS
BBA失せろよ
おめえ自分が賢いとかイタイ勘違いしてねぇか
94: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:47 ID:gQCe02i1(43/80) AAS
2chｽﾚ:math
そもそも投票するだけの「奴隷」が「政治志向」とかいうだけ無駄
議会制は、実は民主主義でもなんでもない
自民党がクソなのは明らかだが、立民がマシというのも実は欺瞞
乃木坂・欅坂・日向坂程度の違いしかないｗ
省1
96(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:55 ID:gQCe02i1(44/80) AAS
>>92
アメリカのおもしろいところは、金持ちも革新政治家もユダヤ人が多いという点
バーニー・サンダース
外部ﾘﾝｸ:ja.wikipedia.org
そういや、デヴィッド・グレーバーもユダヤ人
外部ﾘﾝｸ:en.wikipedia.org
98: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)16:59 ID:gQCe02i1(45/80) AAS
>>95
＞国力(軍事力)差有り過ぎ
BBAにしてはいい指摘 （池上彰かｗ）
誰のため何のための軍事力なんですかね？
軍隊とか警察って結局国民を支配するための道具なんだよね
貨幣もそうだけど
そういうものはね・・・全部要らないんだよ
省1
99: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:03 ID:gQCe02i1(46/80) AAS
アメリカほどではないね
外部ﾘﾝｸ[html]:honkawa2.sakura.ne.jp
もともとユダヤ人はポーランド（白ロシア・ウクライナを含む）に多かったが
ナチスが勃興してから半分は国外に脱出、半分はナチスに虐殺された
イスラエルやアメリカのユダヤ人の多くはポーランド系
101: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:09 ID:gQCe02i1(47/80) AAS
2chｽﾚ:math
結局、玉川は傀儡で、編集委員会の実態は望月に支配されてるんだろ
102: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:12 ID:gQCe02i1(48/80) AAS
>>100
ロシアは共産党政権じゃないがね
ま、旧ソ連にしても中国にしても共産党政権は全然共産主義じゃないがね
彼らはcommuneの意味を知らんのだろう
外部ﾘﾝｸ:ejje.weblio.jp
共産主義は共同体主義と翻訳されるべきだったか
104: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:15 ID:gQCe02i1(49/80) AAS
ああ、そうそう
一つ言い忘れたことがある
このスレッドが終わったら、本スレッドに戻るよ・・・もちろん匿名で
私はスレッドを立てられないのでね
106: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:19 ID:gQCe02i1(50/80) AAS
>>103
じゃ、BBAは銀河帝国皇帝役ね
動画ﾘﾝｸ[YouTube]
おれ？もちろんジェダイのルーク役だよ 決まってんじゃんｗ
動画ﾘﾝｸ[YouTube]
108(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:29 ID:gQCe02i1(51/80) AAS
>>107
今度は計画経済を共産主義と誤解する馬鹿現る
日本の学校は嘘ばっか教えてきたことがよくわかるなｗ
21世紀こそ「トロツキーの夢」が実現する時だろうな
・・・世界革命の夢がｗ
109: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:33 ID:gQCe02i1(52/80) AAS
そもそも金ありきで考えるから、権力に丸め込まれる
貨幣経済はどう転んだって金持ちに金があつまるようになってる
対数正規分布で、分散が大きくなればなるほど、
金持ちに金が集まるようになってるのは確率論の常識
対数正規分布
外部ﾘﾝｸ:ja.wikipedia.org
経済学が資産分布について全く述べないなら、根本的欠陥があるんだよ
110: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:39 ID:gQCe02i1(53/80) AAS
トマ・ピケティの提案する富裕税は所詮対症療法に過ぎず、根本的な解決策ではない
根本的な解決策？もちろん貨幣制度に代わる制度の実現
もちろんこれは容易なことではないし、スマートな理論が即出るわけでもない
試行錯誤でやっていくしかない 世の中は数学とは違うんだよ
114: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:57 ID:gQCe02i1(54/80) AAS
2chｽﾚ:math
＞証明自体は合ってるけど論文の体裁が気に入らない
そんな「穏健派」なんているのか？ｗ
主流派：証明にはギャップがある（というかそもそも証明の体を成してない）
過激派：そもそも証明矛盾してね？
ショルツは過激派的な物言いがあったのは確かだが根本は主流派
そもそもあの不透明な論文から矛盾を見つけるのも難しい
115: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)17:59 ID:gQCe02i1(55/80) AAS
>>113
つーか、俺が織田信長🤥
117: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:00 ID:gQCe02i1(56/80) AAS
大体なんでここはBBAとか粋蕎とか変態の巣になってんだ😎←満更でもない
121: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:07 ID:gQCe02i1(57/80) AAS
2chｽﾚ:math
＞ネットアンチ収容所
これからBLACKXのことをハイドリヒと呼ばせていただくｗ
124(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:11 ID:gQCe02i1(58/80) AAS
変態性欲
外部ﾘﾝｸ:ja.wikipedia.org
「抗精神病薬であるエビリファイの服薬により、
新しい性的指向の開発や、異常性欲などの
行動障害を発症することがある。」
ま、関係ないけど（だったら書くなｗ）
127: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:18 ID:gQCe02i1(59/80) AAS
2chｽﾚ:math
＞私は中立だよ。
誤 中立
正 無定見
賛否を問うアンケートに対して「どちらともいえない」と答える煮え切らないヤツｗ
128: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:20 ID:gQCe02i1(60/80) AAS
>>126
いやいや、酒もクスリも飲んでないって
・・・いかん、BBAにJJIと呼ばれて返事してしもた・・・OTL
132: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)18:37 ID:gQCe02i1(61/80) AAS
個人的にそそられたプレスリリース
外部ﾘﾝｸ:www.s.u-tokyo.ac.jp
余談ですが・・・ボクは系統１です（以前調べた）
136: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)19:40 ID:gQCe02i1(62/80) AAS
2chｽﾚ:math
>猿芝居をやりだしたら、数学はもう終わり。
もともと数学やりたがるのは変態ｗ
>AI, 宇宙、核融合、生命科学に人材がながれるよ。
やっぱ生命科学かなぁ
AIは・・・いうほど面白くない
141(3): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:19 ID:gQCe02i1(63/80) AAS
諸君らに問題
数学的帰納法は以下の命題と同じであることを示せ
P0 かつ ∃x¬Px ならば ∃x(Px∧¬Psx)
(sxはxの後続者)
144(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:32 ID:gQCe02i1(64/80) AAS
>>142
P0：数0は性質Pを満たす
∃x¬Px:ある数xが存在し、xは性質Pを満たさない
さあ、もう分からないとはいわせない
146(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:35 ID:gQCe02i1(65/80) AAS
>>141の論理式を日本語でかくとこうなる
0は性質Pを満たし、ある数xが存在してxはPを満たさないとする
そのとき、ある数yが存在して、yは性質Pを満たすが、
その後続者sy(=y+1)は性質Pを満たさない
156: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:57 ID:gQCe02i1(66/80) AAS
>>154
＞誰か答えてあげて…
いや、おまえが答えろよｗ
158(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:59 ID:gQCe02i1(67/80) AAS
>>155
おまえ相変わらずワケワカランこといって頭悪いな マジで高卒だろ
おまえみたいな馬鹿が入れる大学があるなら名前教えてくれ
159: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)20:59 ID:gQCe02i1(68/80) AAS
>>157
ねるなぁぁぁぁぁｗ
161: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)21:05 ID:gQCe02i1(69/80) AAS
また俺をそのβとかいうやつと混同しとるな・・・この妄想狂が
「三項目、蛇足入れよったな。」は意味わからん
おまえが理解できないことを蛇足だと妄想してるだけだろ
この馬鹿タレが！！！
163(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:32 ID:gQCe02i1(70/80) AAS
2chｽﾚ:math
>結局、3.12の指摘も空振りな状況
望月がそう思いたがってるだけ
164: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:46 ID:gQCe02i1(71/80) AAS
外部ﾘﾝｸ:en.wikipedia.org
IUT論文の中間的な定理もしくは補題に反例が見つかれば×がつく
IUT論文の証明にギャップがあると判定されれば？がつく
ギャップが埋められれば✓がつく
そういうこと
166(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:49 ID:gQCe02i1(72/80) AAS
>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう
169: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)22:54 ID:gQCe02i1(73/80) AAS
酔っぱらってる？
172(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:14 ID:gQCe02i1(74/80) AAS
>>171
＞すべてのカラスは黒い
＞あるカラスが居る ←これが居ることの担保がない
＞ゆえに
＞そのカラスは黒い
＞この問題を回避するにはどういう公理が必要なの？
上記を論理式で表す
省6
174(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:22 ID:gQCe02i1(75/80) AAS
AA省
175: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:27 ID:gQCe02i1(76/80) AAS
>>173
＞3は2と同じことを言っている
否
２ ∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する）
２の否定
５．∀ｘ．カラス（ｘ）→¬黒（ｘ） すべてのカラスは黒くない
省3
178(2): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:35 ID:gQCe02i1(77/80) AAS
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）→¬黒（ｘ） ５ ２の否定
カラス（ａ）→黒（ａ） １の全称例化
カラス（ａ）→¬黒（ａ） ５の全称例化
¬カラス（ａ） 黒（ａ）
¬カラス（ａ）¬黒（ａ）¬カラス（ａ） ¬黒（ａ）
×
省1
179: 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:40 ID:gQCe02i1(78/80) AAS
>>176
∀x(Fx→Gx) の特称化は
∃x(Fx→Gx) であって
∃x(Fx∧Gx) ではない
∃x(Fx→Gx) と ∃x(Fx∧Gx) は異なる
∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
∀x(Fx→Gx)から∃x(Fx∧Gx)は導けない
181(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:49 ID:gQCe02i1(79/80) AAS
>>180
君がずらしている
論理式を見ろ
それで君が誤ってると分かる
分からないのは君が式を理解できないから
式を理解しろ
182(1): 5ch反IUT論装戦線 ◆y7fKJ8VsjM 2020/04/22(水)23:53 ID:gQCe02i1(80/80) AAS
>>174 >>178 はタブロー法
簡単にいえば背理法
結論の否定から矛盾を導く
これ覚えると役に立つ
●流私大の文学部でも教えてる
個人的には高校でも教えればいい
そのくらい簡単
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.060s