X



【数学】数学の超難問・ABC予想を「証明」した望月教授の論文がPRIMSに掲載決定
■ このスレッドは過去ログ倉庫に格納されています
0001虫くん ★
垢版 |
2017/12/16(土) 04:15:15.20ID:CAP_USER?PLT(12345)

数学の超難問・ABC予想を「証明」 望月京大教授


2017年12月16日3時1分

長年にわたって世界中の研究者を悩ませてきた数学の超難問「ABC予想」を証明したとする論文が、国際的な数学の専門誌に掲載される見通しになった。
執筆者は、京都大数理解析研究所の望月新一教授(48)。今世紀の数学史上、最大級の業績とされ、論文が掲載されることで、その内容の正しさが正式に認められることになる。

望月さんは2012年8月、論文を自身のホームページ上で公開。数理研が発行する数学誌「PRIMS」が、外部の複数の数学者に依頼し、間違いがないか確かめる「査読」を続けてきた。
同誌は研究者の間で一流の国際数学誌と評価されており、早ければ来年1月にも掲載が決まる。

http://www.asahi.com/sp/articles/ASKDD5Q6MKDDPLBJ007.html

論文:ホームページより
Inter-universal Teichmuller Theory
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-english.html
0290名無しのひみつ
垢版 |
2017/12/19(火) 11:14:08.01ID:Sm4AWDHx
つか、数学なんて超頭の良い人が趣味的にやれば良いのよ。
それが自然科学にどう応用されるかを考えるのは、もうちょっと出来の悪い人の仕事。
そして実際に応用して社会に役立てるのは、のっと頭の悪い人の仕事。

それ以下の一般人は、知らぬ間に恩恵にあずかっている事に、なんとなく感謝して
同じ人類としての誇りを感じていればよいのよ。

無意味とか、掲示板で騒ぐ、中途半端に利口なタイプが一番たちが悪い。
0294名無しのひみつ
垢版 |
2017/12/19(火) 12:04:20.23ID:4GmNzERe
>>293
結構、整数倍とかあるんだよね。
宇宙際タイヒミュラー理論はまったくわからないけど、
まったく未知の空間の概念を感じる。
数学の世界は摩訶不思議なことが多い、オイラーの公式だって、綺麗すぎる。
物理と異なり、実験装置に金がかからない。
そうそう、リーマン幾何学で作られた一般相対性理論は現在のGPSに応用されてます。
LEDだって量子力学の産物。時間はかかるけど、数学がなければ新しい技術も生まれない。
0295名無しのひみつ
垢版 |
2017/12/19(火) 12:49:25.94ID:HQbalsDA
>>287
だから、もう何度も出てるようにモンゴメリ・オドリズコ予想があるでしょ
>>293 も言ってるようにゼータ関数の零点分布が原子核のエネルギー順位の分布と一致するんだよね
わからん奴だ、wiki引いてみな
0296名無しのひみつ
垢版 |
2017/12/19(火) 13:05:33.42ID:ZmPyzmUb
天才って凄いよね、ABC問題とかよくわからんからあれどけど、こっちよりビットコインを開発したことの方が凄いと思うよ。
何でSatoshi Nakamotoって偽名使ったんだろ。
0297名無しのひみつ
垢版 |
2017/12/19(火) 13:21:09.43ID:MYp7KdOu
>>293
面白い話だな。数論研究者も驚いたらしい

・ttp://www.geocities.jp/ikuro_kotaro/koramu/4490_j9.htm

・wikipedia モンゴメリー・オドリズコ予想
0299名無しのひみつ
垢版 |
2017/12/19(火) 13:33:55.99ID:MYp7KdOu
>>293 >>297
こういうのは数学者、物理学者にとっても見つけにくい。
未発見の鉱山があるのは確実で、たくさんあってもおかしくはない。
0300名無しのひみつ
垢版 |
2017/12/19(火) 14:12:10.03ID:ybGLz694
宇宙際対比ミューラー理論は
アインシュタインの相対論なみのインパクトがある発想だな
凄い
0301名無しのひみつ
垢版 |
2017/12/19(火) 14:25:35.83ID:GcfCNvJB
>>296
ポケモンのサトシ由来なのかな
ポケモンのせいで世界で有名な日本人の男性の名前の一つでしょう
0303名無しのひみつ
垢版 |
2017/12/19(火) 14:39:03.75ID:mrO9KeEm
>>298
こんなのとっくの昔に否定されてるだろ。与太話を貼るなよ。
0305名無しのひみつ
垢版 |
2017/12/19(火) 15:06:53.00ID:IbKRX96o
>>10
昭和か
0306名無しのひみつ
垢版 |
2017/12/19(火) 15:20:56.08ID:Wp27YZpR
今までの数学は古典数学になるな
これからはIUTeichが数学の基礎理論になる
0307名無しのひみつ
垢版 |
2017/12/19(火) 15:32:44.81ID:LgpNL2KJ
>>306
「絶対遠アーベル幾何」
「エタール・テータ関数の剛性性質」
「Hodge-Arakelov 理論」

これらへの深い理解を前提とする数学の基礎理論とは…
0308名無しのひみつ
垢版 |
2017/12/19(火) 15:53:36.05ID:KEa4rnly
ABC予想って証明されると出世魚みたいに名前変わるのかな
0310増健
垢版 |
2017/12/19(火) 17:57:33.42ID:HCB8B3II
>>308
まず「予想」から「定理」なってだな・・・
0311名無しのひみつ
垢版 |
2017/12/19(火) 18:34:03.51ID:ndBMaPJE
>>296
ビットコインは南米だかオーストラリアのヒトらしいよ
望月氏は騒動に巻き込まれただけで関係ない
0312名無しのひみつ
垢版 |
2017/12/19(火) 19:11:27.54ID:aF0Z5Uef
>>258
バカは黙ってろ
0313名無しのひみつ
垢版 |
2017/12/19(火) 19:21:21.13ID:2pO1Gw6O
数学と物理は役に立つ
金儲けにも使える!

儲かる物理
技術評論社
アマゾン 物理一般書第1位獲得!

第5章 神はサイコロを振らない!?
(カジノ必勝法)
第6章 物理と金融工学
(株価が上がっても下がっても儲かる)
第7章 エントロピーと会話力
(ジャパネット高田社長登場!」
第8章 自由度と働くリスク・リターン
(OLの水商売は有効)
第9章 物理現象と不動産投資
(六本木ヒルズを1,000万円台で買う方法)
0314名無しのひみつ
垢版 |
2017/12/19(火) 20:12:41.88ID:Dvl1zglR
こっちの望月はいい望月
0315名無しのひみつ
垢版 |
2017/12/19(火) 20:21:13.17ID:PTEo+Qmp
>>220
いまでも微積に関係ない発明なんていくらでもあるだろ...
0316名無しのひみつ
垢版 |
2017/12/19(火) 20:24:53.74ID:I/TCBzm6
>>258
貝殻とかフィボナッチ数列でできてることも知らんのか
0317名無しのひみつ
垢版 |
2017/12/19(火) 20:25:18.11ID:4GmNzERe
>>315
実用思案レベルならそうだが、特許レベルになると、科学的な検証も必要になる。
微積で検証も必要になろう。無駄に特許を書いてもしょうがない。
0318名無しのひみつ
垢版 |
2017/12/19(火) 21:05:28.19ID:iq1hM+TS
>>316
フィボナッチは整数関係なくね?
0320名無しのひみつ
垢版 |
2017/12/19(火) 21:16:44.69ID:4dqw/7s7
>>318
整数しか出てこないのに?
0321名無しのひみつ
垢版 |
2017/12/19(火) 21:48:49.84ID:3fozA6qR
まあ凄いよな 俺はABC予想という問題自体が理解できない
さすが天才は違うね
0322名無しのひみつ
垢版 |
2017/12/19(火) 22:29:30.44ID:Q/onTBUc
世界初のダンス振り付け動画で証明というチャンスなのに
怖いのかククク
0324名無しのひみつ
垢版 |
2017/12/20(水) 02:37:13.23ID:UqquXhZr
発明の進歩性の審査基準の話してるのか?
0325名無しのひみつ
垢版 |
2017/12/20(水) 03:06:13.98ID:pxnPPFzc
>>207
彼らが大人の競争に向いてるとは限らない、と言うのには同意見。お金を稼いだり、みんなと何かを作り上げるのは、受験勉強とは別だしな。

君も理二かもしれんが、理三の奴らのおっとりしたことと言ったら。全く才気が感じられない。トップの点数取れる奴らは頑張った奴らじゃなくて、勉強が全く苦じゃなかった奴らなんだと思ったわ
0326名無しのひみつ
垢版 |
2017/12/20(水) 06:56:43.37ID:Oabj11l2
>>324
いいや、全ての特許に微積が必要とか言うアホをからかってるだけ
0327名無しのひみつ
垢版 |
2017/12/20(水) 07:58:01.83ID:zDlRqKA1
>>326
すべてなんて言ってないだろ!
そう言う内容もあるんだよ、忖度しろよ、馬鹿野郎。
0328名無しのひみつ
垢版 |
2017/12/20(水) 08:03:27.19ID:6WnPTizY
>>26
>ABCまで行ったけど
>Douteiですねん
E気持ち
FxxK
Gすぽ

I❤
0329名無しのひみつ
垢版 |
2017/12/20(水) 08:14:59.05ID:6WnPTizY
>>1
そう言われても、宇宙際堆肥三浦くらいにしか変換できないよおw
0330名無しのひみつ
垢版 |
2017/12/20(水) 08:47:21.24ID:Oabj11l2
>>327
だったら
> いまでも微積に関係ない発明なんていくらでもあるだろ...
にレスしてんじゃねーよ、ボケ
0332名無しのひみつ
垢版 |
2017/12/20(水) 11:22:30.60ID:zj3XU+ko
>>126
トロフィーワイフという言葉もあるからな
欅坂の中からそういう人が出る可能性ががが
0333名無しのひみつ
垢版 |
2017/12/20(水) 11:45:33.65ID:ntY2189c
みかん5つくらいで説明してくれよ
0336名無しのひみつ
垢版 |
2017/12/20(水) 12:33:26.01ID:/Of8m116
>>332
よく意味調べてから書こうね
いやあなたにはトロフィーなので他の観点は無理か
失敬した
0337名無しのひみつ
垢版 |
2017/12/20(水) 13:10:20.46ID:E703pXVk
>>259
RSA暗号で、整数論と素数は、完全に産業の対象となった。

ただ美しいからと研究してた人達の先見の明と言ったら。
0338名無しのひみつ
垢版 |
2017/12/20(水) 13:20:46.54ID:zj3XU+ko
RSA発明時に暗号が必要になる社会を予見していたかはわからないが、
今ではすでに前例があるだけに暗号やら符号化方面での展開を期待してしまうね。
0339名無しのひみつ
垢版 |
2017/12/20(水) 18:13:38.60ID:zDlRqKA1
>>338
量子コンピュータが数秒で解読しちゃう。
量子力学も現象を認めて、応用が始まってるけど、いまだ理論的に明解ではない。
数学的な存在である。
0340名無しのひみつ
垢版 |
2017/12/20(水) 18:17:44.71ID:zDlRqKA1
量子力学のスタートはプランクが光の研究を進めてる時、
電子の軌道が整数であることから始まった。
整数をなめてはいけない。
0341名無しのひみつ
垢版 |
2017/12/20(水) 18:43:36.60ID:Jut1DxPv
物理で原理から法則を導いたりする時に
特に仮定してない量が自動的に整数しか許されなくなったりすることはある
0342名無しのひみつ
垢版 |
2017/12/20(水) 19:35:47.46ID:QHoDGx1B
>>335
タイヒミュラーは人名なので、漢字に翻訳するのは難しい。
オズヴァルト(オズワルド)・タイヒミュラーは、30歳で戦死している。
0343名無しのひみつ
垢版 |
2017/12/20(水) 20:46:18.93ID:zDlRqKA1
>>341
それが不思議なんです。
ミクロからマクロまで様々に整数が存在する。
望月氏の理論は、たんなる数学の世界に留まるとは思えないのです。
0344名無しのひみつ
垢版 |
2017/12/20(水) 22:15:34.64ID:ody+NiJK
タイヒミュラーさんてそこそこ昔の人なんだね
タイヒミュラー空間論て今回のニュースで初めて知ったけど、
今まではあまり研究されてなかったのかな?
0345名無しのひみつ
垢版 |
2017/12/20(水) 22:26:27.44ID:kguFftwB
>>341
そういうの平易に書いてる本読みたいわー
0346名無しのひみつ
垢版 |
2017/12/21(木) 00:00:33.86ID:iJIgvvhK
前衛的過ぎて全く分からん
0347名無しのひみつ
垢版 |
2017/12/21(木) 04:49:19.95ID:wJ3XWVhs
>>1
よくわかんないけどさ、
この望月教授って、IQはどれくらい?
0348名無しのひみつ
垢版 |
2017/12/21(木) 08:26:35.12ID:2PZSkP34
>>345
物理の入門書は色々あるけど、どこから入るかです。
まったく初心者なら、大衆向けに書かれた物理の歴史を読むと面白い。
そこから、関心のあるところが見つかったら、その入門書を読む。
この方法は数学にも当てはまる。数学の歴史を読むと、体系的に理解が深まり、
高度な部分も理解しやすい。
0349348
垢版 |
2017/12/21(木) 09:21:47.50ID:2PZSkP34
私は物理が好きで、最近は量子力学にはまってる。しかし、数学が嫌いだから、困ったものです。
量子論は数学的にしか理解不可能な分野。そこで、ニュートンの別冊「数学の世界」をながめ始めた。
忘れたことや理解していなかった点を歴史的に手順を踏むと、これは面白い。数学好きになったよ。
望月先生の理論は、数学と言うより、物理学的に興味がある。いずれ分かり易い、初心者向けの空間論が登場すると期待したい。
超ひも理論にも繋がるかもしれないし、多次元世界などと繋がると面白い。
0351名無しのひみつ
垢版 |
2017/12/21(木) 19:44:27.22ID:KthXM8iX
おぉー、初の日本人ノーベル数学章か?
0352名無しのひみつ
垢版 |
2017/12/21(木) 19:55:33.03ID:Xx9m3SKs
たかだか有限個という事が分かった
実際に全て数えることは可能?不可能?
0354名無しのひみつ
垢版 |
2017/12/21(木) 21:36:02.31ID:TaSsTPQd
>>352
たかだか有限だがとてつもなく大量にあるらしいので一人の人間には不可能だろう。
0355名無しのひみつ
垢版 |
2017/12/21(木) 21:51:15.49ID:fvXKHSF1
>>2
ジジイ死んどけな。
0356名無しのひみつ
垢版 |
2017/12/21(木) 21:51:34.03ID:jmePAXg3
【2018】世界教師マイトLーヤ「株式市場は日本から崩壊、放射能はダークマター、異星人から発表」
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46

「航空力学の限界を超えた性能を持つ飛行体(つまりUFO)が、
原子力艦船や原発の周辺でしばしば目撃され、報告されている」
http://onuma.cocolog-nifty.com/blog1/2017/12/post-71f3.html#more


【怠惰な者】世界教師マイトLーヤ「アメリカの債務は限界に達した、もうすぐ多くの者がわたしを見る」
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46
【黒田総裁】世界教師マイトLーヤ「株価は虚構、世界の3分の2の貧困に、目をつぶるのをやめなさい」
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46
【安倍首相】世界教師マイトLーヤ「ミサイルは後回し、まず排除アートを撤去し、国民を解放しなさい」
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46
【榊原会長】世界教師マイトLーヤ「TPP、民営化、成長戦略、働き方改革、五輪、競争をやめなさい」
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46
【清水社長】世界教師マイトLーヤ「放射能はダークマター、人々は無駄に死んでいる、嘘をやめなさい」
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46
【テレパシー】世界教師マイトLーヤの演説『大宣言』は、14歳以上、3つの体験、14名の覚者を紹介
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46
【テレパシー】元国連職員「いきなり声が…『聞こえないフリ、分からぬフリをするな、照れをなくせ』」
https://egg.5ch.net/test/read.cgi/wildplus/1504867501/46
0357名無しのひみつ
垢版 |
2017/12/21(木) 22:11:05.56ID:E3pFyXbI
素数と整数にとりつかれた底辺数学屋が
どうしても物理学や実学に関連付けたくて必死なのが笑える。

素数論と整数論は
自然科学に関係のない、実社会でも一切役に立たない人間だけの脳内ルールだと
認められない認めたくない底辺数学屋は実に哀れだ。
0358名無しのひみつ
垢版 |
2017/12/21(木) 22:30:09.93ID:aswTjYZk
>>357
おまえ笑、、素数に親でも殺されたんか?
0359名無しのひみつ
垢版 |
2017/12/21(木) 22:56:25.11ID:I3X0rtEo
リーマンゼータ関数と重い原子核のエネルギー準位の話は素人の俺でも知ってるのにな
0360名無しのひみつ
垢版 |
2017/12/22(金) 04:35:02.12ID:Wq/q3eYC
どうして整数論に取り組んでる者と決めつけるんだろうな。
思いっきり外野でついでに在野なんだけど

一歩と言わず、何歩も引いた立ち位置なんだけど、そういう立場であっても
それは違うだろと言いたくなることはある。ところが、外野でもそうする
ということを全く理解不能な人というのが時々いて、話がかみ合わない
0362名無しのひみつ
垢版 |
2017/12/22(金) 17:32:40.88ID:spvYSbtE
>>351
ノーベル賞に数学は無いでそw

何故無いのか、はこのスレのどこかで書かれてたと思う
0365名無しのひみつ
垢版 |
2017/12/22(金) 18:44:51.61ID:4CuAVjTX
それは一億円出る問題でしょ?関係あったらもっと騒がしいよ
0366名無しのひみつ
垢版 |
2017/12/23(土) 07:20:48.78ID:YIBycqO/
つまりアガサ・クリスティの殺人事件の犯人の推理方法だな
0367名無しのひみつ
垢版 |
2017/12/23(土) 15:15:41.49ID:UnBdZvy7
>>347
5ちゃんの風物詩、IQ厨
0368名無しのひみつ
垢版 |
2017/12/23(土) 22:06:01.56ID:6GsyzwB/
日本ハジマタ
0369名無しのひみつ
垢版 |
2017/12/24(日) 17:29:55.78ID:K+vEpoeQ
そもそもABC予想というものを最初に考えついた人は
どういう理由とか動機で、そんな命題を思いついたの
だろうか、それが知りたいね。
 ほぼあるいは確実に正しいだろうと思われる命題を
自動的に機械的にいくらでも生成する方法が見つかれば、
それはまたすばらしいとはおもわないかね。
正しいと思われる命題を証明するのと、どちらが
価値のある行為なんだろうか?
0370名無しのひみつ
垢版 |
2017/12/24(日) 19:08:00.10ID:bsblGiRy
これ数学者なら理解できるの?
0371名無しのひみつ
垢版 |
2017/12/24(日) 19:25:55.62ID:/I1+KMsi
>>369
Mason–Stothers theoremの拡張版。
数学では、証明された予想を拡張して新たな予想を思いつくことがよくある。
フェルマーの最終定理もフェルマー=カタラン予想っていう未解決問題に拡張されてる。
もっとも、abc予想が真なら、この予想も真だから
定理と呼ばれ始める日も近いかもね。
0372よっちゃん
垢版 |
2017/12/24(日) 19:43:13.10ID:MqptlYsc
再生核研究所声明353(2017.2.2) ゼロ除算 記念日


再生核研究所声明 148(2014.2.12): 100/0=0, 0/0=0 − 割り算の考えを自然に拡張すると ― 神の意志
ドキュメンタリー 2017: 神の数式 第2回 宇宙はなぜ生まれたのか
https://www.youtube.com/watch?v=iQld9cnDli4

〔NHKスペシャル〕神の数式 完全版 第3回 宇宙はなぜ始まったのか
https://www.youtube.com/watch?v=DvyAB8yTSjs&;t=3318s

NHKスペシャル〕神の数式 完全版 第1回 この世は何からできているのか
https://www.youtube.com/watch?v=KjvFdzhn7Dc

1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12263708422.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12272721615.html

ソクラテス・プラトン・アリストテレス その他
https://ameblo.jp/syoshinoris/entry-12328488611.html

再生核研究所声明371(2017.6.27)ゼロ除算の講演― 国際会議
http://blog.livedoor.jp/saiseikaku/archives/8897511.html

割り算のできる人には、どんなことも難しくない

世の中には多くのむずかしいものがあるが、加減乗除の四則演算ほどむずかしいものはほかにない。

ベーダ・ヴェネラビリス(アイルランドの神学者)

数学名言集:ヴィルチェンコ編:松野武 山崎昇 訳大竹出版1989年
P199より

ゼロ除算の証明・図|ysaitoh|note(ノート) https://note.mu/ysaitoh/n/n2e5fef564997
0373名無しのひみつ
垢版 |
2017/12/26(火) 02:15:17.21ID:VJ1bnx2k
マイクロ波とかの電磁波を最初に発見したヘルツさんは、これは何にもならないとか言ってたが100年経ったら携帯電話よ
0374名無しのひみつ
垢版 |
2017/12/26(火) 05:38:14.61ID:yXPSQgT/
役に立つかどうかという点だけでなく、理論的に予想した人の方が
それを確かめただけの自分よりも優れた業績という考えもあったんだろうな
0375名無しのひみつ
垢版 |
2017/12/26(火) 12:38:05.44ID:RSyxHyv/
この理論を使って、他の人が数学の難問を次々に解いていけば認められるよね
0376名無しのひみつ
垢版 |
2017/12/27(水) 12:56:13.62ID:YhG9Sbyy
俺を含めてまだ10人ぐらいしか理解できてない
0377名無しのひみつ
垢版 |
2017/12/28(木) 00:58:45.53ID:rw4aamRe
>>30
頭のネジを何本か外し奥の奥に入って行きそこで長い事思考する。
当然代償はある。
0378名無しのひみつ
垢版 |
2017/12/28(木) 01:03:54.02ID:6hInQIEw
>>377
望月 拓郎(もちづき たくろう、1972年 - )は、日本の数学者。
京都大学数理解析研究所教授。専門は代数幾何学、微分幾何学。長野県長野市出身
0380名無しのひみつ
垢版 |
2017/12/28(木) 12:02:45.12ID:xTVVUOW4
これからはAIがこういう問題を次から次へと証明する時代になるよ?
0382名無しのひみつ
垢版 |
2017/12/28(木) 14:57:04.71ID:4BxFjseI
数学を極めていくと、哲学になるけど
この理論から新しい哲学は生まれてくるの?
0383名無しのひみつ
垢版 |
2017/12/28(木) 15:42:43.33ID:LgUy0fH+
プリウスに搭載
に見えた
0384名無しのひみつ
垢版 |
2017/12/28(木) 17:38:50.94ID:wLRv1UG8
>>382
単なる証明とか予想ではなくて
新しい数論の開拓、どうやら数理哲学みたいな面もあるらしいぞ
でないと論文が600ページにはならない
なにしろ正しければ数百の公式が成立
0385名無しのひみつ
垢版 |
2017/12/28(木) 19:07:45.28ID:IUXtnCxJ
そのAIのシステムが膨大なソフトウェアだとして、人間には
そのAIのシステムが正しいことを証明できないし、人間の証明
は信用がならないと思って、そのAIのシステムが正しいことを
そのAIを使って証明しようとしたなら、自己矛盾に陥る気が
するがなぁ。
0386名無しのひみつ
垢版 |
2017/12/28(木) 20:34:08.79ID:wLRv1UG8
>>380
>これからはAIがこういう問題を次から次へと証明する時代になるよ?
それには今のAIの延長線上では困難
今のAIの機械学習(ディープラーニング)とビッグデータは統計学と確率論の世界
四色問題のような量的な処理での検証はともかく
アプローチ方法も全く未知の分野について今のAIでは無理
もう何段階かのプレークスルーが必要
まあ、そのうちAIがその方法を見つけ出すかもシランがw
0387名無しのひみつ
垢版 |
2017/12/28(木) 20:41:01.47ID:bPnj6Q7h
定理の自動証明はガチで研究されてるらしいけどな。
フィールズ賞受賞者でこの前急逝したひとも研究してた
0388名無しのひみつ
垢版 |
2017/12/29(金) 11:56:18.42ID:C0HX/+Mn
>>357
バカは早く死になさいね。
0389名無しのひみつ
垢版 |
2017/12/30(土) 10:05:00.00ID:JHPrfa+8
チンパンジーには人間の高度で抽象的なレベルの論理思考はまずできないように、
人間よりももう一段上の知性が登場、到来、出現、生成、できたなら、
もう人間はそれらの知性を有するものから見れば、ただのサルも同然だろうな。
それが全能の神であるなどとまでは言わないけれども。

どこかの星から人間のレベルをはるかに超えた知性をもった宇宙人あるいは
機械がやってきて、人間の上に君臨というか、向こうから見たら我々は
ネズミかアリンコとしてしか認識されていない存在になったら、面白
半分に殺虫剤を巻かれて皆殺しにされたり、見世物に持ち帰られたり
するんだろうな。
0390名無しのひみつ
垢版 |
2017/12/30(土) 11:34:54.78ID:/QWYrQ+m
地球外の存在との戦いになるが、相手が敵だと認識しているのは実は
地球のコンピューターで人間ではなかったというSFがあるな
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況