Inter-universal geometry と ABC予想否定派

**BLACKX** ◆SvoRwjQrNc · 2020/04/20(月) 14:41:04.26

IU幾何やABC予想に関する否定派の会話のサロンとして使って下さい。
荒らしはご遠慮願います。
擁護派出入り自由ですが◆e.a0E5TtKEは立ち入り禁止で

前スレ
Inter-universal geometry と ABC予想 49
https://rio2016.5ch.net/test/read.cgi/math/1586650355/

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 08:11:21.89

http://rio2016.5ch.net/test/read.cgi/math/1586655469/249
>その議論は、私の数学レベルを遙かに超えているのですが

IUTに関するどの議論も、◆e.a0E5TtKEの数学レベルを遥かに超えてるだろｗ

そもそも、タイヒミュラー理論、分かってんのか？ｗ

https://en.wikipedia.org/wiki/Teichm%C3%BCller_space

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 08:21:42.12

http://rio2016.5ch.net/test/read.cgi/math/1587468367/91-92
>なんでacceptだけで記者会見したかって？
>そーっとaccept、出版したら叩かれる
>望月はブログで勝手にaccept発表するだろうし、そこで混乱するの目に見えてる

そもそもレフェリーが正当性を説明できない論文を
acceptする行為が叩かれてるんだが

RIMS（というか玉川）はいつまで現実から目を背けるつもりだ？

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 08:25:41.70

http://rio2016.5ch.net/test/read.cgi/math/1587468367/93
>・PRIMS編集者名簿及び投稿規定
>・他編集会議規定文書
>・PRIMS特別号編集者名簿及び投稿規定
>・他編集会議規定文書
>・2/5PRIMS編集会議の議事録。
>・依頼予告書
>・accept通知書
>・京大広報と打ち合わ文書
>・事前報告書
>以上
>文書の公開を求めます

まず査読者と査読報告書を公開しろ

どんなヤツがどんなコメントつけて受理したか明らかにしろ

嗤ってやるからｗ

**ID:1lEWVa2s** · 2020/04/23(木) 08:28:52.68

おはよう。

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 08:33:38.21

蛇足

http://rio2016.5ch.net/test/read.cgi/math/1587468367/82
>何でよりによって素人がIUT目指すんだろうか

ステートメントの意味が素人でも分かるからだろ

フェルマーと同じだよ

もちろん「初等的な」証明が不可能、とはいえない

ただ、それを素人の試行錯誤で見つけ出せるかといえば
限りなく可能性は小さいね

素数定理の「初等的な」証明を見つけたのもセルバーグ

**ID:1lEWVa2s** · 2020/04/23(木) 08:41:37.80

もぅこんなんなっちゃってるじゃん。
あのさぁ時渡り一度もせずどうぶつの森やってぴょんたろうおきあがりこぶしもよっつ手に入れたんだわ。
ころさんといてくれる。

**１３２人目の素数さん** · 2020/04/23(木) 08:46:52.78

>>190
お早うＯhaluくん😸🎶

**ID:1lEWVa2s** · 2020/04/23(木) 08:51:11.57

ニュース速報+は馬鹿の集まり。

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 08:54:37.02

今日は敵の名称を考えることにしよう

「IUT会議」とか「IUTを守る会」とか呼ぶのは如何か？
スローガンは「美しいIUTの建設と誇りある日本数学づくり」

・・・ああ、バカバカしいｗ

https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E4%BC%9A%E8%AD%B0

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 09:07:47.38

「現代数学の系譜雑談」とかいう意味不明なHNをつけてる
◆e.a0E5TtKEは、別のHNをつけたほうがいいだろう

「IUTを守る会　会長」とかｗ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 09:20:42.68

Peter Woit says

>double down on unethical behavior, claiming “there is an argument but we have to keep it secret”

「「議論はあるが、それは秘密にしておかなければならない」と主張し、非倫理的な行動を倍加する。」

もしRIMSがこんな言い訳をするなら
日本人、いや数学者として最も恥ずべき破廉恥なふるまい
だと知れ！！！

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 09:37:08.04

Ｍブログ曰く

「理論の正しさを検証する活動と、（他者による）理論に対する誤解を発見し処理する活動は根本的に「業務内容」が違うということです。
　前者の方は、上でも説明した通り、7年半前から多くの関係者によって精力的に行なわれていて、
　理論の正しさは既に何十回、何百回と確認されていて、これ以上行なおうとしても、理論の検証すべき箇所が見当たらず空転するのみである、
　つまり、別の言い方をすれば、既に（というよりだいぶ前から）「飽和状態」にあるということです。
　一方、「誤解学」と呼んでいる後者の方の活動ですが、
　　相手の誤解という肝心な「入力データ」＝「誤解学の研究対象」
　がないと始まらない活動になります。」

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 09:46:31.59

>>198
Ｍは肝心な点を見逃している

「理論の正しさを検証する活動」とは
「（他者による）理論の誤りを発見し処理する活動」である

つまり理論が正しいと思って読んではいけない
もし専門家がみなそのような予見をもって読むならば
理論の誤りなど簡単に看過される

Ｓは論文という「入力データ」から相手（Ｍ）の誤解を見つけ出した
査読者はいったい何をやっていたのか？
Ｍのいうことなら100％正しいと甘え切っていたのか？
もしそうなら怠慢の誹りを免れない

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 09:48:54.52

今一度、>>16を再掲する

ヴォエヴォドスキー曰く
「信頼できる著者によるテクニカルな議論は、チェックするのが大変であり、
　既知の正しい理論と似ているときには、ほとんどの場合詳細まではチェックされない。
　そしてチェックされない詳細にこそ、えてして間違いは生じるのである。」
(the devil is in the detail)

**ID:1lEWVa2s** · 2020/04/23(木) 09:50:59.16

馬鹿英語使うな。

**ID:1lEWVa2s** · 2020/04/23(木) 09:51:08.58

馬鹿ぁ英語使うな。

**ID:1lEWVa2s** · 2020/04/23(木) 09:52:21.65

馬鹿英語使うなじゃなくて
馬鹿だ英語使っとるなって意味。
あめりかじんに犯されるぞ襲われるぞ。

**１３２人目の素数さん** · 2020/04/23(木) 09:53:12.49

…/◎◎\

(*..)…
/◎◎\

ずっと◎◎見てると…

ﾁﾞﾁﾞｨｯﾁｬﾏに洗脳されちゃぅ…!?

(Д`゜)。゜*゜みちゃﾀﾞﾒだ～?…

**１３２人目の素数さん** · 2020/04/23(木) 09:56:28.13

Ⅰ=3 ﾋﾟｭｯ!
もっちー様ｺﾞﾒﾝﾅｻ-ｨ!

**ID:1lEWVa2s** · 2020/04/23(木) 10:00:11.96

>>204
😳。

**１３２人目の素数さん** · 2020/04/23(木) 10:06:33.52

Ｏhaluくんにびっくりされたw

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 10:10:28.16

https://rio2016.5ch.net/test/read.cgi/math/1586655469/253

＞★「やあ、Cor3.12の証明どうだった？」
＞☆「Cor3.12の証明を読んだ結果、だいたい＊＊だった。」

＞注）＊＊は、「肯定的」 or 「否定的」

そもそも「IUTを守る会　会長」ｗの
「肯定的」「否定的」の判断記述が不明

もし、
・否定的＝証明に矛盾（反例）が見つかった場合
・肯定的＝証明に矛盾（反例）が見つからない場合
といってるなら、実に甘い基準

厳しい基準は以下の通り
・否定的＝「前提」及び「結論の否定」から矛盾が導かれない場合
・肯定的＝「前提」及び「結論の否定」から矛盾が導かれる場合

つまり安易に肯定的と云ってはいけない

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 10:14:47.68

>>208　の厳しい基準では

「「前提」及び「結論の否定」から矛盾が導かれるとしても
　矛盾に至る証明がいまだ見出されていない状態」

は否定的となるが、それはむしろ当然である

フェルマーの定理が、予想だった時代、
反例は見出されていなかったが、
反例が見いだされる可能性が否定できなかった

だから定理と認められていなかった　当然だろう

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 10:32:23.95

まあ、現実には恒に厳しい基準が適用されたわけでもないが

ゲーデルの第二不完全性定理は、実際には算術化された証明手続きについての
実に面倒臭い取り扱いが必要となるが、ゲーデルの論文では詳細は省略された

しかし、論理学者は誰もそこにつっこまなかった

「やればできるだろう」と皆が認めたから

実際にはコンピュータ技術が進んだ１９９０年代に
ゲーデルの第二不完全性定理の形式的証明が書かれた
（別に、第二不完全性定理に疑念があったからではなく
　計算科学的に興味深いと考えられたから）

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 11:06:50.88

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とやらで解決できてるのかどうかが大問題

解決できてないなら、別の方法で解決したヤツの成果となる

別証明でも悪くはないが、インパクトが全然違う

だからギャップがあるならあると
コミュニティ内でコンセンサスを得る
必要がある

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 11:20:42.53

ちなみにポアンカレ予想の解決は多くのトポロジストを落胆させた

「まず、ポアンカレ予想を解かれたことに落胆し、
　それがトポロジーではなく微分幾何学を使って解かれたことに落胆し、
　そして、その解の解説がまったく理解できないことに落胆した」

だからといって
「ペレルマンの証明なんて認めなぁぁぁぁぁい！」
と絶叫するトポロジストはいなかったようだが

（そもそもトポロジストは３次元や４次元のトポロジーが
　自分たちの従来の手法では手に負えない魔境であることを
　薄々自覚していた）

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 11:45:44.15

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

につっこまないのか？

貴様の主張に対する真っ向からの否定だろｗｗｗ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 11:49:09.77

https://rio2016.5ch.net/test/read.cgi/math/1586655469/256
＞山下解説外している気がする

師匠のdangerousな脱線をさりげなく軌道修正する弟子

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 11:59:06.67

http://rio2016.5ch.net/test/read.cgi/math/1586655469/259
＞数学分かってない人が、アンチスレで絶叫しているようだが

正規部分群の定義も間違えた「IUTを守る会　会長」が翼賛スレで絶叫してるな

＞アンチスレの研究できなかった人のタワゴトには、困るなぁ～

翼賛スレの「一般教養の数学」で挫折した人のタワゴトに失笑ｗ

京都以外の数論幾何の研究者のコミュニティでは
IUTは無かったものとして研究が進められるだろう
つまり、誰かが別証明の論文を書けば、
それが最初の正当な証明と認められる

どこぞの島の連中が何を喚こうが知ったこっちゃない

「またアンダマン諸島のセンチネル族が
　船に向かって矢を放ってるぞ
　届きゃしないのに」

**y7fKJ8VsjMの保護者** · 2020/04/23(木) 12:03:56.10

平素よりお世話になっております
息子は数学に挫折したまま社会に出ることもできず家でネットばかりに張り付いております
ひきこもりを許したわたしども親の責任ですがどうか社会にでることが
できるまで暖かく見守ってください

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 12:13:47.21

>>216
残念だが仕事はしてる　もう３０年務めた
結婚しなかったおかげで　貯金は結構たまったよ（ニンマリ）

**１３２人目の素数さん** · 2020/04/23(木) 12:33:27.16

>>191
素人でも分かる範囲なら数学者の嘘は見抜けるんだぞ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 13:03:33.93

>>218

　　ワケ　　　　　ワカ　　　　　ラン
　 ∧＿∧　　　∧＿∧　　　　∧＿∧
　（　・∀・）　　（　・∀・）　　　（　・∀・）
⊂　⊂　）　　（　Ｕ　　つ　　⊂__へ　つ
　<　<　<　　　　）　）　）　　　　　（＿）|
　（＿（＿）　　（_＿）＿）　　　彡（_＿）

**１３２人目の素数さん** · 2020/04/23(木) 13:12:51.03

>>219
全称命題を覆すには反例を一つ示せばいいだけだけど存在命題に同じ手を使ったら詐欺だろ
どうせ馬鹿だから分からないと思って

**１３２人目の素数さん** · 2020/04/23(木) 13:14:51.30

(*“(>>217)
＞お金は貯まった

ﾋｿｯ(そぅぃぅことは...
絶対言っちゃダメ！)

イッチャ、ダメ、ゼッタイ

今から災難を引き寄せる悪癖は改めましょぅ・・・

１人暮らしの老人が
「金が有る」と話してた為に
強盗殺人の犠牲者になる事件が多発してます・・

更に・・独身の男性は
「筧ちさ子(かけい・ちさこ)」
の様な
「後妻業(ごさいぎょう)」
の女性に狙われて財産を根こそぎ奪われ保険金まで奪われる殺人の被害者になる事件が多発しています・・

「明日は我が身」
常日頃から気を引き締めて、
災難を未然に防ぐ暮らしぶりを心掛け、平穏無事で幸せな老後を送りたいですね...

**１３２人目の素数さん** · 2020/04/23(木) 13:38:51.05

「全てのカラスは黒い」を否定するには白いカラスが一羽いればいいだけだけど
「黒くないカラスがいる」を否定するのに黒いカラスをいくら集めても意味ないだろ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 13:57:55.28

>>222
「全てのカラスは黒い」（任意のものはカラスでないか黒い）の特称化は
「カラスでないか黒いあるものが存在する」であって
「黒いカラスが存在する」ではないよ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 14:00:02.87

>>221
＞１人暮らし
じゃないから　

残念だったね

**１３２人目の素数さん** · 2020/04/23(木) 14:00:49.09

♪。＊゜♪。＊゜♪。＊゜
🎵ﾋﾟﾝﾎﾟﾝﾊﾟﾝﾎﾟ～ﾝ🎶
。゜*゜。🎶。゜*゜。🎶

春の家計見直しプランお知らせで～す。。。

✨楽天銀行新規口座開設✨の
🍀お得な利率と併せてトータルでさらにお得なプランを見つけました。。。🍀*゜
※楽天証券口座開設と併せて利用の場合
(口座開設費・維持費無料
証券買わなくてもＯＫです)

電気料金も楽天電気
(賃貸住宅でも利用可能)
にすると楽天ポイントが貯まって、楽天市場でのお買い物時に利用出来ます。。。

📲通信も楽天モバイルのUNLIMITなら１年間無料
(２年目から月額利用料２,９８０円・中途解約可・解約金無し・縛り無し)

併せて上記全ての支払いに
💳クレジットカード💳の
信販会社を通す決済にすれば
クレカのポイントも溜まります♪v(*^^*)v♪

お時間がお有りの時にご検討くださぃ。。。

楽天Unlimitはもうすぐキャンペーン終了、〆切です。。

※楽天のステマバイトでは有りません。。。

**１３２人目の素数さん** · 2020/04/23(木) 14:02:30.17

ましてや一羽だけもってきて「このカラスは黒いですね。黒くないカラスはいないんじゃないですかね」とか言って
聴いてる方が「わかる～」とか言ってるの見たら、どっちも頭おかしいだろ！とツッコミいれたくなる

で、とりあえず一万羽捕まえてみたらどんどん黒くなっていきそうってとこに今いる

**１３２人目の素数さん** · 2020/04/23(木) 14:03:01.16

>>224

ΣΣΣ((((´Д｀；)))

**１３２人目の素数さん** · 2020/04/23(木) 14:04:07.04

○ ○ ○

**１３２人目の素数さん** · 2020/04/23(木) 14:04:42.40

※*Σو>ง٩ω*Д☆＼♯♭\／Σ：♪★

**１３２人目の素数さん** · 2020/04/23(木) 14:05:40.53

>>222
二つの命題に関連性はないよ
ただ詐欺だと言いたいだけ
こっちが気づかないのをいいことに…と思ったらまた腹が立ってきた

**１３２人目の素数さん** · 2020/04/23(木) 14:06:24.14

ヽ(((;゜゜; )))ｷﾞｬｧｧｧ※$＄#@&\*♪♡+★♪♯♭\☆；ゞ

**１３２人目の素数さん** · 2020/04/23(木) 14:08:37.61

(騙された。。。❔)

買ｰΣΣΣ(((((๑ºдº๑)))))

**１３２人目の素数さん** · 2020/04/23(木) 14:12:17.14

▂▂┃┃┃▂▂

((⚫))((⚫))

**１３２人目の素数さん** · 2020/04/23(木) 14:18:15.55

========ε=ε=ヾ(゜´Д`)
ウゥｩﾜワアｱｧ━━━━━ｯ！

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 14:20:41.67

兄弟で暮らしてますが何か？

https://ja.wikipedia.org/wiki/%E9%96%93%E5%AE%AE%E5%85%84%E5%BC%9F

**１３２人目の素数さん** · 2020/04/23(木) 14:21:31.95

゜。☆゜＊。○゜。*゜＊゜。
。゜＊゜お幸せに。。。*゜＊。
*゜。○゜。☆。゜゜。☆

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 15:02:19.32

IUT論文におけるZFCGへの言及について
テレンス・タオは「あれは燻製ニシンだろ」と指摘している
（「燻製ニシンの虚偽」とは重要な事柄から受け手（聴き手、読み手、観客）の
　注意を逸らそうとする修辞上、文学上の技法を指す慣用表現）

ついでにいうと
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
は有限列だよな？
（無限列だとすると”∈V”の左の文字が明らかでない）

**１３２人目の素数さん** · 2020/04/23(木) 15:37:48.84

お立ち台はどうだった？

**１３２人目の素数さん** · 2020/04/23(木) 15:55:11.40

ﾁﾞﾁﾞｨｯﾁｬﾏ、岡江久美子さんがｺﾛﾅで亡くなっちゃったー！

**１３２人目の素数さん** · 2020/04/23(木) 15:57:59.19

(ノД`。)゜

**１３２人目の素数さん** · 2020/04/23(木) 16:01:36.17

ﾁﾞﾁﾞｨｯﾁｬﾏ気をつけてね…
。゜(ノД`)ノ⊂□⊃
マスクはちゃんとありますか？

**１３２人目の素数さん** · 2020/04/23(木) 16:04:22.83

６３歳だったんですって…

。゜(ノД`)。ﾁﾞﾁﾞｨｯﾁｬﾏ…
ﾀﾋなないでね…

**１３２人目の素数さん** · 2020/04/23(木) 16:06:50.99

安達さまが危ない…
ｴﾓちょっと行ってくるー！
┃≡З=з³

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 16:38:36.57

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+ε)」

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 16:50:27.51

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ランク大学か？ｗ

**１３２人目の素数さん** · 2020/04/23(木) 16:59:15.81

任意の値に具体的数値を入れている時点でゴミ

**１３２人目の素数さん** · 2020/04/23(木) 17:01:07.18

まだすべてのカラスは黒い問題が理解できないようだね
全称命題に定数を入れられないのがわからない
田島一郎くん？

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 17:08:25.69

>>246-247

　　ワケ　　　　　ワカ　　　　　ラン
　 ∧＿∧　　　∧＿∧　　　　∧＿∧
　（　・∀・）　　（　・∀・）　　　（　・∀・）
⊂　⊂　）　　（　Ｕ　　つ　　⊂__へ　つ
　<　<　<　　　　）　）　）　　　　　（＿）|
　（＿（＿）　　（_＿）＿）　　　彡（_＿）

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 17:13:23.09

XWvRD9DGのような誤解をする馬鹿へ

元々のABC予想
「c>rad (abc)^(1+ε)となる　a,b,cの組は有限個」
から
「c>rad (abc)^2となる　a,b,cの組は存在しない」
は出てこない

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 17:18:39.04

『無限のスーパーレッスン』のhyper-critique
https://fuchino.ddo.jp/misc/superlesson.pdf

これ読むと数学者といえども専門外の分野については
全くといっていいほど無知なうえに、
見当違いな誤解をしまくってることが
よくわかる

「[選択公理] 超限帰納法を使ってよい
　(つまり、ある集合が超限帰納法によって作れるならば、その集合が存在する)
　(無限のスーパーレッスン，p.164)」

なんじゃこりゃぁぁぁぁぁ！！！

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 17:21:42.23

>>250の続き
『無限のスーパーレッスン』のhyper-critique
https://fuchino.ddo.jp/misc/superlesson.pdf

「1936 年に、ゲンツェンは整数論 (ただし選択公理なし) の数学体系が無矛盾であることを、
　選択公理を使って (つまり整数論、選択公理つき、という体系で) 証明しています」
　(無限のスーパーレッスン，p.185)

これはヒドイ・・・

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 17:23:47.59

>>251の続き
『無限のスーパーレッスン』のhyper-critique
https://fuchino.ddo.jp/misc/superlesson.pdf

「選択公理なしでは無限の大小が比べられなくなるので、
　ベルンシュタインやカントルの対角線論法などが駄目になってしまいます。」
　(無限のスーパーレッスン，p.201)

マジでヒドイ・・・ヒド過ぎる

**１３２人目の素数さん** · 2020/04/23(木) 17:28:55.64

たしかに
丹治信治の論理学入門では
全称命題から個体パラメータを導出している
つまり

すべてのカラスは黒い
から
太郎くん(カラス)は黒い

を導出できるという考え

そのことが言いたかったんだね
たしかにこれは存在命題とは異なる
俺が言っているのは全称命題から存在命題は導出できない
というのは

すべてのカラスは黒い
から
ある(黒い)カラスが居る
は導出できないと言っている

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 17:36:07.05

加藤文元とかいう人のIUT本が
「無限のスーパーレッスン」より
数学的にはマシな本であることを期待したい
（読んでないし読むつもりもないが）

**１３２人目の素数さん** · 2020/04/23(木) 17:37:44.75

>すべてのカラスは黒い
>あるカラスが居る　←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
時刻 t(s) におけるカラスの数は実関数 f(t) で表せ、f(t) は定数関数ではない。
変数tを固定すると、f(t) も固定されるから、すべてのカラスは黒いという仮定は意味を持つ。
変数tを固定しないと、f(t) が定数とはいい切れず、すべてのカラスは黒いという仮定が正しい保証はどこにもない。
このように、すべてのカラスは黒いという仮定が正しい保証はない。

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 17:44:51.84

>>253
そりゃそうでしょ　丹治さんの本って
タブロー法について説明してるから
（ま、LKでもNKでも同じだけどね）

＞つまり
＞すべてのカラスは黒い
＞から
＞太郎くん(カラス)は黒い
＞を導出できるという考え

いやそれは駄目でしょ
というのはスズメはいてもカラスが全く存在しない場合があるから

＞俺が言っているのは全称命題から存在命題は導出できない
＞というのは
＞すべてのカラスは黒い
＞から
＞ある(黒い)カラスが居る
＞は導出できないと言っている

後半の４行は正しい

でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
「ある(黒い)カラスが居る」だとおもってるならそれは誤り

正しい置き換えは
「あるものが存在し、それがカラスならば黒い」

これはスズメしか存在しない世界でも正しい
要するになんかしら存在すればいいし、
述語論理ではそういう前提で考えてるってこと
そうでなければ全称例化なんて認められないから

**１３２人目の素数さん** · 2020/04/23(木) 17:52:34.48

>>255
集合から任意の元を選べばそれは固定される
たとえば
カラスの集合から任意のカラスを選ぶ
これをf(a)とする
このときf(a)は動かない
しかしこの動かないことを以て
カラスが居る
ということは言えない

これも太郎くん問題だよ

カラスの集合から任意にカラスを選ぶ
その中に太郎くんがいたから
これを黒いカラスと呼ぶ

こういう問題と混同している
俺は全称命題から存在命題は導出できないと言っている

**１３２人目の素数さん** · 2020/04/23(木) 17:56:37.37

>>256
>でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
>「ある(黒い)カラスが居る」だとおもってるならそれは誤り

そんなことは一言も言ってない
貴方が勝手にそう言っていただけのこと

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 18:00:16.25

＞俺は全称命題から存在命題は導出できないと言っている

それ述語論理としては誤りだから

なぜかといえば、述語論理の対象領域には必ず個体が存在するから

そうでなければ、全称例化の推論は出来ないから

「カラスは黒い」というのは
「任意のｘについてｘがカラスならば黒い」という意味であって
それを特称化した場合
「あるｘが存在してｘがカラスならば黒い」となる

ｘがカラスである必要はない　スズメでもヒバリでもウグイスでもなんでもいい
しかし何にもいない、ということはそもそもあり得ない　そういうこと

**１３２人目の素数さん** · 2020/04/23(木) 18:00:52.71

>>256
a：個体パラメータ
とする

(1)　(∀x)Fx
(2)　Fa　　　　(1)

この導出に異論はあるか？
俺はない
これが認められないなら全称命題の意味がない

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 18:03:03.41

>>258
＞そんなことは一言も言ってない

云ってないだろうが、∀ｘPx　と∃ｘPxの関係を誤解してるのが明確なので指摘した
自分の間違いを指摘されて不愉快なのは分かるがここ乗り越えないと馬鹿のまま死ぬぞ

誤りを認めるのは恥ずかしくない
誤りを認めないことこそ恥ずかしいんだ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 18:05:38.22

>>260
(1)　Fa
(2)　(∃x)Fx　(1)

この導出に異論はあるか？

**１３２人目の素数さん** · 2020/04/23(木) 18:06:19.63

>>262
あるに決まってんだろｗ

**１３２人目の素数さん** · 2020/04/23(木) 18:07:44.48

>>255
>すべてのカラスは黒い
>あるカラスが居る　←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
これを単純に論理的問題で捉えると、カラス全体の(有限)集合Aの存在性が一段目で保証されているから、
二段目の或るカラスの存在性(居ること)もAの点の形で保証される。

>>255はカラスを物理的に解釈して考えたときの話。

**１３２人目の素数さん** · 2020/04/23(木) 18:11:22.35

>>257

>>264は、>>255ではなく、>>257へのレス。

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 18:36:19.30

http://rio2016.5ch.net/test/read.cgi/math/1586655469/289
>戦線とか言う時点で共産党員

共産党員ではないな
アナーキストだからｗ

>日本が憎くて仕方がない！

日本政府は要らないと思ってる
ま、日本に限らないけど

憎しみはない

>日本人の自尊心は敵

他国民と比較して上とかいう
異常な精神は害悪だと思ってる
そういうのは本来の「自尊心」ではない

>望月許すまじ

望月の態度には誠意がないと思ってるし
PRIMS掲載で不当な圧力をかけたなら
トンデモないと思うが

改心しろよ　そしたら許してやる

>日本人はバカでなくてはならない

いや、賢くなってほしいね
やれ韓国人ガー、中国人ガーという
馬鹿丸出しな態度から脱却してほしい

心からそう思ってるよ

**１３２人目の素数さん** · 2020/04/23(木) 20:10:37.70

>>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より

逆も同様に示せるので↔が示せる

**１３２人目の素数さん** · 2020/04/23(木) 20:15:52.62

(A∧B→C)↔(A∧￢C→￢B)において、
AとしてP0を、Bとして∀x(Px→Psx)を、Cとして∀xPxを考えたものと同じ

**１３２人目の素数さん** · 2020/04/23(木) 20:32:03.55

>>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として空集合さえ考えなければ成り立つ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 20:50:03.49

>>268
その通りですね

**１３２人目の素数さん** · 2020/04/23(木) 20:53:19.32

存在汎化か……
怪しいやつもってきたなｗ

「少なくとも1つあれば」に該当するとも言えるが
これを認めるのは難しそう
まっこれから研究してみますわ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 20:54:26.53

>>269
＞命題論理に直すのは簡単だよ
＞もし論議領域としてD={a,b,c}を考える場合
D={a,b}、いや、D={a}　でもいいかもｗ
∀xHxはHa、∃xHxもHa　
Ha→Ha　！
端的にいえばそういうことだよね

**１３２人目の素数さん** · 2020/04/23(木) 21:18:40.57

論理学の話してて草

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 21:22:47.38

爆弾製造の代わりに各自、論証訓練を行ってますｗ

**１３２人目の素数さん** · 2020/04/23(木) 22:12:16.79

ある成人は孤児である
親も兄弟もいない

ある成人は兄弟と同居している

この「ある成人」なる両者が同一人物であることは真か？

**１３２人目の素数さん** · 2020/04/23(木) 22:22:46.02

スレに嘘つきがでます！

**１３２人目の素数さん** · 2020/04/23(木) 22:36:56.91

(。´Д`(>>230)
病的なうそつきみたぃなんです…!?
気をつけて…
言ってることほぼほぼｳｿだと思ぅ～!
信じちゃﾀﾞﾒ～!?

**１３２人目の素数さん** · 2020/04/23(木) 22:41:04.75

う"そ"つ"き"を"ち"さ"ん"
★事★態★宣★言★発★動★

**１３２人目の素数さん** · 2020/04/23(木) 22:43:02.85

>>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)

これ難しいな
まだ勉強不足だからわからないｗ

　

**１３２人目の素数さん** · 2020/04/23(木) 23:04:25.74

>>279

真ナコトナイ(∃

偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・

HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽

って決まってるから...

**１３２人目の素数さん** · 2020/04/23(木) 23:04:27.06

>>279

真ナコトナイ(∃

偽ﾆキマッテル(∃
それ、全部・・・う"そ"つ"き"ヲ"チ"サ"ン"の自分語りだから・・・

HN
5ch反IUT論装戦線
論理狼中年の自分語り⇒偽

って決まってるから...

**１３２人目の素数さん** · 2020/04/23(木) 23:11:57.84

ここに棲み憑いてる狼中年のヲ"チ"さ"ん"が言う事は・・・

あらゆる可能性をできるだけ想定して、矛盾が無いか徹底的にチェックしないと・・・

騙"さ"れ"ち"ゃ"う"か"ら"
ね・・・

**１３２人目の素数さん** · 2020/04/23(木) 23:14:00.20

ﾋﾟﾉｷｵ爺の呪いで同ﾚｽ2投になっちゃってる…?

**１３２人目の素数さん** · 2020/04/23(木) 23:18:00.21

なるほどね

**１３２人目の素数さん** · 2020/04/23(木) 23:19:19.04

゜。○゜ *。゜(ノД`)。
＊゜いっつも…うそばっかり。。。

**１３２人目の素数さん** · 2020/04/23(木) 23:20:12.60

＊゜。○*゜。゜

Inter-universal geometry と ABC予想 否定派

Inter-universal geometry と ABC予想否定派