[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
Inter-universal geometry と ABC予想 否定派 http://rio2016.5ch.net/test/read.cgi/math/1587361264/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
166: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 22:49:58 ID:gQCe02i1 >>162 全称例化を正しい推論とする論理体系では 変数の定義域は空でないから 全称命題から全称例化を行い そこから存在量化を行うことで 特称命題が導けてしまう http://rio2016.5ch.net/test/read.cgi/math/1587361264/166
167: １３２人目の素数さん [sage] 2020/04/22(水) 22:51:05 ID:tTF2a26B ?我が名は第七😘kiss魔王 ?=3 ｷｬﾊﾊﾊﾊﾊﾊﾊｯ! http://rio2016.5ch.net/test/read.cgi/math/1587361264/167
168: １３２人目の素数さん [sage] 2020/04/22(水) 22:52:44 ID:tTF2a26B ?“)ﾉ⌒☆｡.:＊・.｡🌙 ｵﾔｽﾐﾅｻ〜ｨ…<3 http://rio2016.5ch.net/test/read.cgi/math/1587361264/168
169: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 22:54:19 ID:gQCe02i1 酔っぱらってる？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/169
170: １３２人目の素数さん [sage] 2020/04/22(水) 22:56:14 ID:tTF2a26B Ｕ're ＩＣＥ! http://rio2016.5ch.net/test/read.cgi/math/1587361264/170
171: １３２人目の素数さん [] 2020/04/22(水) 23:04:36 ID:LxI+KLOb >>166 また一つ公理が増えたな まあ勝手に構成してろ 人間は動物だ ソクラテスは人間だ ゆえに ソクラテスは動物だ しかし すべてのカラスは黒い あるカラスが居る ←これが居ることの担保がない ゆえに そのカラスは黒い この問題を回避するにはどういう公理が必要なの？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/171
172: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:14:56 ID:gQCe02i1 >>171 ＞すべてのカラスは黒い ＞あるカラスが居る ←これが居ることの担保がない ＞ゆえに ＞そのカラスは黒い ＞この問題を回避するにはどういう公理が必要なの？ 上記を論理式で表す １．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い ２．∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する） よく見ればわかるが、２は１の特称化ではない １の特称化は以下の通り ３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い １から３は導けるが、２は導けない http://rio2016.5ch.net/test/read.cgi/math/1587361264/172
173: １３２人目の素数さん [] 2020/04/22(水) 23:21:25 ID:LxI+KLOb >>172 >あるものが存在し これが全称命題からは言えない つまり3は2と同じことを言っている 全称命題に存在性はないと思うがどうか？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/173
174: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:22:47 ID:gQCe02i1 >>172 １．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い ３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い ３の否定 ４．∀ｘ．カラス（ｘ）∧¬黒（ｘ） すべてのものは黒くないカラスである ∀ｘ．カラス（ｘ）→黒（ｘ） １ ∀ｘ．カラス（ｘ）∧¬黒（ｘ） ４ ３の否定 カラス（ａ） ４の全称例化 ¬黒（ａ） ４の全称例化 カラス（ａ）→黒（ａ） １の全称例化 ¬カラス（ａ） 黒（ａ） × × したがって１から３は導ける http://rio2016.5ch.net/test/read.cgi/math/1587361264/174
175: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:27:47 ID:gQCe02i1 >>173 ＞3は2と同じことを言っている 否 ２ ∃ｘ．カラス（ｘ）∧黒（ｘ） そのカラスは黒い（黒いカラスが存在する） ２の否定 ５．∀ｘ．カラス（ｘ）→¬黒（ｘ） すべてのカラスは黒くない >>174の４ではカラス以外のものは存在しない 一方５ではカラス以外のものも存在してよい したがって２と３は意味が異なる http://rio2016.5ch.net/test/read.cgi/math/1587361264/175
176: １３２人目の素数さん [] 2020/04/22(水) 23:29:58 ID:LxI+KLOb すべてのカラスは黒くない ∀x(Fx→Gx) 等値 ∀x(¬Fx∨Gx) その否定 ∃x(Fx∧¬Gx) あるカラスは黒くない つまり黒くないカラスの存在は何処かで言うことが可能だが ここの黒いカラスの存在は言えない 全称命題の否定から存在性を言うことはできないし またカラスが居ることと関係がない http://rio2016.5ch.net/test/read.cgi/math/1587361264/176
177: １３２人目の素数さん [] 2020/04/22(水) 23:34:26 ID:LxI+KLOb >>176 訂正 すべてのカラスは黒い http://rio2016.5ch.net/test/read.cgi/math/1587361264/177
178: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:35:04 ID:gQCe02i1 ∀ｘ．カラス（ｘ）→黒（ｘ） １ ∀ｘ．カラス（ｘ）→¬黒（ｘ） ５ ２の否定 カラス（ａ）→黒（ａ） １の全称例化 カラス（ａ）→¬黒（ａ） ５の全称例化 ¬カラス（ａ） 黒（ａ） ¬カラス（ａ）¬黒（ａ）¬カラス（ａ） ¬黒（ａ） × ×がつかない枝かあるので １から２は導けない http://rio2016.5ch.net/test/read.cgi/math/1587361264/178
179: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:40:41 ID:gQCe02i1 >>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)は導けない http://rio2016.5ch.net/test/read.cgi/math/1587361264/179
180: １３２人目の素数さん [] 2020/04/22(水) 23:44:39 ID:LxI+KLOb >>178 議論がずれているんだが カラスの色の問題ではなくて カラスが居るかどうかを 全称命題では保証できないと言っている 否定形で存在を保証するという考えはできない カラスは居る/居ない これが全称命題から導出できない http://rio2016.5ch.net/test/read.cgi/math/1587361264/180
181: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:49:41 ID:gQCe02i1 >>180 君がずらしている 論理式を見ろ それで君が誤ってると分かる 分からないのは君が式を理解できないから 式を理解しろ http://rio2016.5ch.net/test/read.cgi/math/1587361264/181
182: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:53:37 ID:gQCe02i1 >>174 >>178 はタブロー法 簡単にいえば背理法 結論の否定から矛盾を導く これ覚えると役に立つ ●流私大の文学部でも教えてる 個人的には高校でも教えればいい そのくらい簡単 http://rio2016.5ch.net/test/read.cgi/math/1587361264/182
183: １３２人目の素数さん [] 2020/04/22(水) 23:55:27 ID:LxI+KLOb >>181 >∀x(Fx→Gx)から∃x(Fx→Gx)は導ける それって公理から導出できるってだけの話だよね(全称例化) 俺はその公理体系に属さないから議論しても無駄だわ 公理が存在の担保って群レベルのゴミだな http://rio2016.5ch.net/test/read.cgi/math/1587361264/183
184: １３２人目の素数さん [] 2020/04/22(水) 23:57:37 ID:LxI+KLOb >>182 ああだから全然違う議論をしていたんだね 君が豆知識を披露することに拘泥していて 話になってなかったわ じゃあな虫けら http://rio2016.5ch.net/test/read.cgi/math/1587361264/184
185: １３２人目の素数さん [] 2020/04/22(水) 23:59:15 ID:LxI+KLOb 命題論理のタブローならわかるから 書き直してみろよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/185
186: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 08:04:34 ID:HZRVAVG+ >>185 ＞命題論理のタブローならわかるから 述語論理のタブローを理解しろ ＞書き直してみろよ 述語論理は命題論理より記述力が上 述語論理 勉強しろよ じゃあなバイ菌ｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/186
187: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 08:11:21 ID:HZRVAVG+ http://rio2016.5ch.net/test/read.cgi/math/1586655469/249 >その議論は、私の数学レベルを遙かに超えているのですが IUTに関するどの議論も、◆e.a0E5TtKEの数学レベルを遥かに超えてるだろｗ そもそも、タイヒミュラー理論、分かってんのか？ｗ https://en.wikipedia.org/wiki/Teichm%C3%BCller_space http://rio2016.5ch.net/test/read.cgi/math/1587361264/187
188: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 08:21:42 ID:HZRVAVG+ http://rio2016.5ch.net/test/read.cgi/math/1587468367/91-92 >なんでacceptだけで記者会見したかって？ >そーっとaccept、出版したら叩かれる >望月はブログで勝手にaccept発表するだろうし、そこで混乱するの目に見えてる そもそもレフェリーが正当性を説明できない論文を acceptする行為が叩かれてるんだが RIMS（というか玉川）はいつまで現実から目を背けるつもりだ？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/188
189: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 08:25:41 ID:HZRVAVG+ http://rio2016.5ch.net/test/read.cgi/math/1587468367/93 >・PRIMS編集者名簿及び投稿規定 >・他編集会議規定文書 >・PRIMS特別号編集者名簿及び投稿規定 >・他編集会議規定文書 >・2/5PRIMS編集会議の議事録。 >・依頼予告書 >・accept通知書 >・京大広報と打ち合わ文書 >・事前報告書 >以上 >文書の公開を求めます まず査読者と査読報告書を公開しろ どんなヤツがどんなコメントつけて受理したか明らかにしろ 嗤ってやるからｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/189
190: ID:1lEWVa2s [sage] 2020/04/23(木) 08:28:52 ID:r9wP+5Oj おはよう。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/190
191: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 08:33:38 ID:HZRVAVG+ 蛇足 http://rio2016.5ch.net/test/read.cgi/math/1587468367/82 >何でよりによって素人がIUT目指すんだろうか ステートメントの意味が素人でも分かるからだろ フェルマーと同じだよ もちろん「初等的な」証明が不可能、とはいえない ただ、それを素人の試行錯誤で見つけ出せるかといえば 限りなく可能性は小さいね 素数定理の「初等的な」証明を見つけたのもセルバーグ http://rio2016.5ch.net/test/read.cgi/math/1587361264/191
192: ID:1lEWVa2s [sage] 2020/04/23(木) 08:41:37 ID:rdBcJgIA もぅこんなんなっちゃってるじゃん。 あのさぁ時渡り一度もせずどうぶつの森やってぴょんたろうおきあがりこぶしもよっつ手に入れたんだわ。 ころさんといてくれる。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/192
193: １３２人目の素数さん [sage] 2020/04/23(木) 08:46:52 ID:ROJTyYdQ >>190 お早うＯhaluくん😸🎶 http://rio2016.5ch.net/test/read.cgi/math/1587361264/193
194: ID:1lEWVa2s [sage] 2020/04/23(木) 08:51:11 ID:kfSGmOV6 ニュース速報+は馬鹿の集まり。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/194
195: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 08:54:37 ID:HZRVAVG+ 今日は敵の名称を考えることにしよう 「IUT会議」とか「IUTを守る会」とか呼ぶのは如何か？ スローガンは「美しいIUTの建設と誇りある日本数学づくり」 ・・・ああ、バカバカしいｗ https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E4%BC%9A%E8%AD%B0 http://rio2016.5ch.net/test/read.cgi/math/1587361264/195
196: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 09:07:47 ID:HZRVAVG+ 「現代数学の系譜 雑談」とかいう意味不明なHNをつけてる ◆e.a0E5TtKEは、別のHNをつけたほうがいいだろう 「IUTを守る会 会長」とかｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/196
197: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 09:20:42 ID:HZRVAVG+ Peter Woit says >double down on unethical behavior, claiming “there is an argument but we have to keep it secret” 「「議論はあるが、それは秘密にしておかなければならない」と主張し、非倫理的な行動を倍加する。」 もしRIMSがこんな言い訳をするなら 日本人、いや数学者として最も恥ずべき破廉恥なふるまい だと知れ！！！ http://rio2016.5ch.net/test/read.cgi/math/1587361264/197
198: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 09:37:08 ID:HZRVAVG+ Ｍブログ曰く 「理論の正しさを検証する活動と、（他者による）理論に対する誤解を発見し処理する活動は根本的に「業務内容」が違うということです。 前者の方は、上でも説明した通り、7年半前から多くの関係者によって精力的に行なわれていて、 理論の正しさは既に何十回、何百回と確認されていて、これ以上行なおうとしても、理論の検証すべき箇所が見当たらず空転するのみである、 つまり、別の言い方をすれば、既に（というよりだいぶ前から）「飽和状態」にあるということです。 一方、「誤解学」と呼んでいる後者の方の活動ですが、 相手の誤解という肝心な「入力データ」＝「誤解学の研究対象」 がないと始まらない活動になります。」 http://rio2016.5ch.net/test/read.cgi/math/1587361264/198
199: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 09:46:31 ID:HZRVAVG+ >>198 Ｍは肝心な点を見逃している 「理論の正しさを検証する活動」とは 「（他者による）理論の誤りを発見し処理する活動」である つまり理論が正しいと思って読んではいけない もし専門家がみなそのような予見をもって読むならば 理論の誤りなど簡単に看過される Ｓは論文という「入力データ」から相手（Ｍ）の誤解を見つけ出した 査読者はいったい何をやっていたのか？ Ｍのいうことなら100％正しいと甘え切っていたのか？ もしそうなら怠慢の誹りを免れない http://rio2016.5ch.net/test/read.cgi/math/1587361264/199
200: 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM [] 2020/04/23(木) 09:48:54 ID:HZRVAVG+ 今一度、>>16を再掲する ヴォエヴォドスキー曰く 「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、 既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。 そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」 (the devil is in the detail) http://rio2016.5ch.net/test/read.cgi/math/1587361264/200
201: ID:1lEWVa2s [sage] 2020/04/23(木) 09:50:59 ID:LjUIpMcw 馬鹿英語使うな。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/201
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 756 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s