[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)

Inter-universal geometry と ABC予想 否定派 http://rio2016.5ch.net/test/read.cgi/math/1587361264/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

547: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 07:22:05 ID:lYMvbA3z 演習 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x(ｘ * 0)=0 ∀x（x * sy)=[(x * y) + x] ならば 　∀x(0 * x)=0 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x(ｘ * 0)=0 　∀x（x * sy)=[(x * y) + x] 　∃x¬((0 * x)=0) 　¬((0 * a) = 0) (0 * 0) = 0 (0 * b) = 0 ¬((0 * sb) = 0) 　(0 * sb)=[(0 * b) + 0] [(0 * b) + 0]=(0 * b) (0 * sb)=0 × 　QED http://rio2016.5ch.net/test/read.cgi/math/1587361264/547

548: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 08:09:57 ID:lYMvbA3z >>547　一部修正 演習 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x(ｘ * 0)=0 ∀x∀ｙ（x * sy)=[(x * y) + x] ならば 　∀x(0 * x)=0 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x(ｘ * 0)=0 　∀x∀ｙ（x * sy)=[(x * y) + x] ✓∃x¬((0 * x)=0) 　¬((0 * a) = 0) 　(0 * 0) = 0 　(0 * b) = 0 　¬((0 * sb) = 0) 　(0 * sb)=[(0 * b) + 0] 　[(0 * b) + 0]=(0 * b) 　(0 * sb)=0 　× 　QED http://rio2016.5ch.net/test/read.cgi/math/1587361264/548

549: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 08:12:59 ID:lYMvbA3z 演習 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x∀y∀z[x + (y + z)]=[(x + y) + z] 　∀x∀y(x + y)=(y + x)　　 　∀x(x * 0)=0 ∀x(0 * x)=0　 　∀x∀y（x * sy)=[(x * y) + x] ならば 　∀x∀y（sx * y)=[(x * y) + y] 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x∀y∀z[x + (y + z)]=[(x + y) + z] 　∀x∀y(x + y)=(y + x)　　 　∀x(x * 0)=0 　∀x(0 * x)=0　 　∀x∀y（x * sy)=[(x * y) + x] ✓∃x∃y¬（（sx * y)=[(x * y) + y]) 　¬（（sa * b)=[(a * b) + b]) 　sa * 0 = 0 * sa 　0 * sa = [(0 * a) + 0] 　[(0 * a) + 0]=[(a * 0) + 0] 　sa * 0 = [(a * 0) + 0] 　sa * c = [(a * c) + c] 　¬(sa * sc = [(a * sc) + sc]) 　sa * sc = [(sa * c) + sa] 　[(sa * c) + a]=[[(a * c) + c] + sa] 　[(a * sc) + sc]=[[(a * c) + a] + sc] 　[[(a * c) + c] + sa]=s([[(a * c) + c] + a]) 　[[(a * c) + a] + sc]=s([[(a * c) + a] + c]) 　s([[(a * c) + c] + a])=s([(a * c) + (c + a)]) 　s([[(a * c) + a] + c])=s([(a * c) + (a + c)]) 　s([(a * c) + (c + a)])=s([(a * c) + (a + c)]) 　sa * sc = [(a * sc) + sc] 　× 　QED http://rio2016.5ch.net/test/read.cgi/math/1587361264/549

550: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 08:39:32 ID:lYMvbA3z 演習 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x∀y(x + y)=(y + x)　　 　∀x(x * 0)=0 ∀x(0 * x)=0　 　∀x∀y（x * sy)=[(x * y) + x] 　∀x∀y（sx * y)=[(x * y) + y] ならば 　∀x∀y(x * y)=(y * x) 　∀x(x + 0)=x　 　∀x∀y(x + sy)=s(x + y)　 　∀x∀y(x + y)=(y + x)　　 　∀x(x * 0)=0 　∀x(0 * x)=0　 　∀x∀y（x * sy)=[(x * y) + x] 　∀x∀y（sx * y)=[(x * y) + y] ✓∃x∃y¬((x * y)=(y * x)) 　¬((a * b)=(b * a)) 　(a * 0)=(0 * a) 　(a * c)=(c * a) 　¬((a * sc)=(sc * a)) 　(a * sc)=[(a * c) + a] 　(sc * a)=[(c * a) + a] 　[(a * c) + a]=[(c * a) + a] 　(a * sc)=(sc * a) 　× 　QED http://rio2016.5ch.net/test/read.cgi/math/1587361264/550

551: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 08:53:21 ID:lYMvbA3z >>544 法は要らないから、法治などない 混沌も道に沿うから、互助の精神が生まれる 自由、自然こそが大事 ま、工業高校卒の極道にはわからんか？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/551

552: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 09:04:08 ID:lYMvbA3z 工業高校、工業高等専門学校、工学部の連中にとって 数学とはつまるところ計算方法である 彼らは理論には興味がない 実数や連続性の定義など知らなくても微積分の公式がわかればいい 線形空間・線形写像など知らなくても行列の計算ができればいい 計算方法が分れば何も考えず只々計算する 工学部の連中にガロア理論が理解できないのは ガロア理論が「計算方法」ではないから 逆に言えば論理も「計算方法」としてなら理解できる タブロー法でも教えてやれば、サルのセンズリのごとく 嬉々として計算するだろうｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/552

554: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 09:14:54 ID:lYMvbA3z 六道は三段階に分けるのが良さげ 天道　　自然自由主義 人道　　自然互助主義 ------ 修羅道　法治強制主義 畜生道　法治盲従主義 ------ 餓鬼道　混沌強欲主義 地獄道　混沌破滅主義 http://rio2016.5ch.net/test/read.cgi/math/1587361264/554

556: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 09:31:04 ID:lYMvbA3z ちっ、ゾロ目取られたｗ これ書き込もうと思ったのに https://www.youtube.com/watch?v=k8Bl9Pw0Wnw http://rio2016.5ch.net/test/read.cgi/math/1587361264/556

557: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 09:47:06 ID:lYMvbA3z 算術基礎論（足し算の結合法則・交換法則、掛け算の交換法則の証明！）も おわっちまったなあｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/557

559: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 10:03:36 ID:lYMvbA3z >>558 その計算はここでは収まらない（マジ） http://rio2016.5ch.net/test/read.cgi/math/1587361264/559

564: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 10:12:20 ID:lYMvbA3z 0,s0,ss0,…というのは単項(unary)記法だから 小さい数でもすぐ長い表記になってしまい収拾がつかない ああ、バイナリ記法での加法乗法の計算が 単項記法の計算と一致していることを 証明する必要があるって？ いい指摘だな http://rio2016.5ch.net/test/read.cgi/math/1587361264/564

565: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 10:15:13 ID:lYMvbA3z >>563 ああ、こいつ何もわかってないな １０進数表現での乗算の方法が、 ロビンソン算術の単項記法の定義と 合致してることは証明したか？ ま、お前には逆立ちしても無理だろｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/565

589: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 11:35:05 ID:lYMvbA3z アメリカは悪の極致 http://karapaia.com/archives/52175845.html 世界同時革命は必須 アメリカ・西ヨーロッパ・日本 悪の三大根拠地で革命を起こせ！！！！！！！ http://rio2016.5ch.net/test/read.cgi/math/1587361264/589

593: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 11:41:00 ID:lYMvbA3z 資本主義体制を壊せ！ 貨幣経済システムを壊せ！ 国家を壊せ！ http://rio2016.5ch.net/test/read.cgi/math/1587361264/593

603: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 11:47:05 ID:lYMvbA3z >>595 国家があるから貨幣も警察も軍隊もある　悪は国家から始まる http://rio2016.5ch.net/test/read.cgi/math/1587361264/603

607: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 11:56:32 ID:lYMvbA3z >>604 革命は徹底的に行う必要がある 中途半端では敵に巻き返される http://rio2016.5ch.net/test/read.cgi/math/1587361264/607

610: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 16:02:35 ID:lYMvbA3z 新ドラマ 「IUTT　異常なし」 第１回 株式会社　Inter-Unversal Telecommunication Technology(宇宙間通信技術）の chief executive officer セタは、イラついていた ヘッドハンティングで入社させたエリート技術者モチヅキ君の考案した 宇宙間通信ＩＵＴのカラクリがちっとも理解できなかったからだ セタＣＥＯ 「モチヅキ君、細けぇこたぁ、どうでもいいんだよ 　君が考えたＩＵＴがどうしてうまくいくのか 　ＰＰＴ一枚で説明してほしいといってるんだ！」 モチヅキ社員 「ＣＥＯ、お言葉ですが、私の発明はそんな簡単なものではありません！」 セタＣＥＯ 「君、誰に向かって口きいとると思っとるんだ！」 タマカワ課長 「まあまあ、モチヅキ君・・・彼は、優秀なんですが、どうも説明下手で」 セタＣＥＯ 「じゃ、タマカワ君、君、代わりに説明してくれたまえ」 タマカワ課長 「え？私が？・・・それがその・・・何分難しくて」 セタＣＥＯ 「君、それでも彼の上司かね？とにかく、ＰＰＴ１枚での説明を頼むよ！ 　私だけじゃない。これじゃ株主にも理解してもらえんよ。 　開発費用を支出してもらう必要があるんだ。 　君らだって給料がもらえなくなったら困るだろう！ 　じゃあ、さっさと仕事にとりかかってくれたまえ！」 そういうが早いか、ＣＥＯは二人を部屋から叩き出した （続く） http://rio2016.5ch.net/test/read.cgi/math/1587361264/610

611: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 16:14:33 ID:lYMvbA3z 新ドラマ 「IUTT　異常なし」 第２回 一方　ドイツに本拠地を置く、ライバルのPerfectoid社もIUTTの動向を注視していた Faltings CEO 「IUTTが画期的な宇宙間通信技術を考案したというニュースがあるが」 Scholtze 社員 「Mochizukiが発表した論文を読んでみましたが・・・ 　肝心な箇所で動作しないことが判明しました」 Faltings CEO 「それは本当かね？」 Scholtze 社員 「私の考えに間違いがなければ」 Faltings CEO 「では、さっそくその内容を説明した文書を作成して関係各所に流すんだ 　IUTTにこの業界に参入されては我々の儲けが減る 　いまのうちに徹底的に叩き潰すんだ！」 Scholtze社員 「Mochizukiは、かつてボスの部下だったと聞いてますが」 Faltings CEO 「その通りだが、今は違う。Scholtze君、この世界に私情は禁物だよ（ニヤリ）」 Scholtze社員 「わかりました・・・ボス（ニヤリ）」 http://rio2016.5ch.net/test/read.cgi/math/1587361264/611

617: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 17:28:39 ID:lYMvbA3z >>613　>>615 その辺はいずれ語ります >>614 ん？きみ、ひとみっていうの？ このコ↓とおんなじだなｗ https://www.youtube.com/watch?v=65zo9WX_lu4 http://rio2016.5ch.net/test/read.cgi/math/1587361264/617

618: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 17:29:42 ID:lYMvbA3z >>616 残念ながら・・・ボツ！ｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/618

621: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 17:39:23 ID:lYMvbA3z 新ドラマ 「IUTT　異常なし」 第３回 また一方　IUTT　CEO　セタの動向に注目する一人の男 フリージャーナリストの大神だ 大神 「ガロア・グループ、ツェルメロ・オーディナルと 　会社を設立してはことごとく潰してきたセタが 　性懲りもなくまた新しい会社を設立したか。 　・・・おや？」 大神はIUTTの新技術説明文書のある個所に目をとめた そこはかつてセタがツェルメロ・オーディナル社で 新商品と銘打って販売したオメガの致命的欠点と まったく同様の記述があったのだ 大神 「これは・・・いけるな」 そうつぶやくとさっそくペンを走らせた それがIUTTの欠点暴露のスクープ記事だった （続く） http://rio2016.5ch.net/test/read.cgi/math/1587361264/621

624: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 17:51:17 ID:lYMvbA3z 新ドラマ 「IUTT　異常なし」 第４回 大神の記事はIUTTにとっては決定的ダメージとはならなかったものの IUTTに関する疑念が注がれるようになった セタCEO 「説明書IVの§3は余計だったな」 モチヅキ社員 「そうは思いません　大神の記事は明らかなミスリーディングです」 セタCEO 「んなこたぁわかってる！ 　しかし∈ループは実現不能といいつつ、 　∈ループを模擬するという説明が如何わしいのだ 　ただのループではいかんのか？え？どうなんだ？」 モチヅキ社員 「そこはIUTTの売りではありません 　御心配には及びません」 セタCEO 「売りでないなら、なぜ書いた？ 　君が出した変な色気のせいで、IUTT自体の疑念が広まっているのだよ 　現にPerfectoid社が・・・」 モチヅキ社員 「あいつらになにがわかるっていうんです！！！」 セタCEO 「・・・君、何ムキになっとるんだ 　とにかくPerfectold社がうちの技術のアラを見つけようとしてるのは明らかだ 　君も彼らにつけこまれたくないなら、新技術の信頼性を示してくれ！！！」 モチヅキ社員 「（心の中で）・・・やれやれCEOは技術のことは全く理解しないから困る 　もともと営業出身だから仕方ないが」 （続く） http://rio2016.5ch.net/test/read.cgi/math/1587361264/624

625: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 17:53:18 ID:lYMvbA3z >>623 ボクは弟には全然アタマが上がりません 家のことは全部弟がやってくれてるんで ありがとう！弟（マジ） http://rio2016.5ch.net/test/read.cgi/math/1587361264/625

630: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 18:09:45 ID:lYMvbA3z >>627 あんたのいう仏道は、天道のうちの色界、無色界 というのは、そもそも六道は仏教の用語だし 六道のうち天道＝欲界の六欲天の 最終ステージ「他化自在天」にいるのが 第六天魔王だから つまりラスボスを倒さないと色界、無色界には入れない https://ja.wikipedia.org/wiki/%E5%A4%A9_(%E4%BB%8F%E6%95%99) http://rio2016.5ch.net/test/read.cgi/math/1587361264/630

636: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 18:34:39 ID:lYMvbA3z >>633 俺、仏教徒じゃないから、どうでもええわｗ No Passion No Life http://rio2016.5ch.net/test/read.cgi/math/1587361264/636

637: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 18:44:33 ID:lYMvbA3z 本スレもヤベェ奴がいるな・・・ http://rio2016.5ch.net/test/read.cgi/math/1587468367/239 >死刑執行するバイトとか募集してないの？ http://rio2016.5ch.net/test/read.cgi/math/1587468367/242 >リンチと死刑執行は違う その昔、中国や朝鮮には、凌遅刑ってのがあった https://ja.wikipedia.org/wiki/%E5%87%8C%E9%81%85%E5%88%91 凌遅刑（りょうちけい）とは、清の時代までの中国や 李氏朝鮮の時代までの朝鮮半島で処された処刑の方法のひとつ。 存命中の人間の肉体を少しずつ切り落とし、 長時間にわたり激しい苦痛を与えて 死に至らす処刑方法である。 https://chkai.info/ryochikei http://rio2016.5ch.net/test/read.cgi/math/1587361264/637

638: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 18:47:51 ID:lYMvbA3z いっときますが、私は死刑廃止論者です https://ja.wikipedia.org/wiki/%E6%AD%BB%E5%88%91%E5%AD%98%E5%BB%83%E5%95%8F%E9%A1%8C http://rio2016.5ch.net/test/read.cgi/math/1587361264/638

639: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 18:52:45 ID:lYMvbA3z ついでにいうと、貨幣経済があるからセックスの売買があるのであって 貨幣経済がなければただの野合であるｗ https://ja.wikipedia.org/wiki/%E5%A3%B2%E6%98%A5 http://rio2016.5ch.net/test/read.cgi/math/1587361264/639

652: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 20:38:53 ID:lYMvbA3z >>648 なんか残念な親に育てられたんだね　工員君 ボクの父親も母親もいいひとでしたよ 別に何も干渉せんかったし ということでとってもフリーダムな大人に育ちましたｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/652

653: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 20:55:41 ID:lYMvbA3z >>652 ＞いいひとでしたよ つい過去形で書いちゃいましたが・・・バリバリ生きてます てゆーか　いまだに一緒に生活してます http://rio2016.5ch.net/test/read.cgi/math/1587361264/653

656: 論理狼 ◆y7fKJ8VsjM [] 2020/04/26(日) 21:14:05 ID:lYMvbA3z >>655 苦労はしてないと思いますよ 勤めに出てますから おかげで貯金が（ニンマリ） え？貨幣制度批判はどうしたって？ そうですね　本当は私もなんか技能を身につけたかったんですけどね スポーツもダメ、楽器の演奏もダメ、ときちゃあね http://rio2016.5ch.net/test/read.cgi/math/1587361264/656

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.514s*