星塚研究所

数学を主とした形式科学、自然科学、大学・大学院に関する2chと5chのまとめサイト

量子コンピュータは数学の証明に使えるか?

1: a4 ◆L1L.Ef50zuAv 2018/12/14(金) 23:25:31.55 ID:66oEO/Sc
量子コンピュータで2^1億通りの証明に自動定理検証をかけて、証明できているものを
引き出してくるというものです。Groverのアルゴリズムでは、2^5千万時間くらい
かかりますが、ナマズ地震予知特異点を用いると、O(1億)くらいの時間で
計算できるんじゃないかと。議論しましょう。

 

2: 132人目の素数さん 2018/12/14(金) 23:52:29.67 id:YXEnmdNE
スレタイはなんとなくわかるけど、本文がわからん
ナマズ地震予知特異点ってなんだYO

 


6: 132人目の素数さん 2018/12/15(土) 13:33:46.41 id:HXQtJKZ6
O(1億)で計算できるとか超高速だな


9: 132人目の素数さん 2018/12/15(土) 20:07:00.39 id:bXaPcJJp
O(1億)ってどういうこと?


10: a4 ◆L1L.Ef50zuAv 2018/12/15(土) 20:33:35.15 id:p7Au26jF
>>9
1億bitの証明なら、1億に比例する時間。
1兆bitの証明なら、1兆に比例する時間。

2^1億や2^1兆といった非現実的な時間ではないということです。

14: 132人目の素数さん 2018/12/21(金) 02:12:08.48 id:BLHf1/JU
>>10
それならO(n)だと思うのだが…


15: a4 ◆L1L.Ef50zuAv 2018/12/21(金) 14:47:14.95 id:HVMdS+Pi
>>14
わかりやすく書いたつもりです。

あと、罵声を書き込んでしまったのは、数学板に挑戦をしかけたんですよ。そうしたら、
そのとき、ageたのに、上がりませんでした。これで物理的な実験成功で、数学の
証明に量子コンピュータを使えると判断しています。真面目にやってる方々には
申し訳ございませんでした。


20: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 15:14:38.27 id:n8DIumUN
>>19
二重スリットの実験だったら、まだわかりますが、ブラウン管だと量子力学は使ってる
んでしょうけど、専門外ですね。少なくとも、計算量の多い問題は解いてません。


21: 132人目の素数さん 2018/12/22(土) 15:34:33.75 id:lwAytAjK
a4って数学嫌いの馬鹿?


22: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 15:49:30.15 id:n8DIumUN
>>21
数学は大好きなんですが、追っていったら量子コンピュータにぶち当たり残念な結果に
なりそうです…(泣)


23: 132人目の素数さん 2018/12/22(土) 16:33:54.86 id:lwAytAjK
>>22
いや、どうみても嫌いだろ
あまりにも数学知らなすぎるし学習する気もない
自分が数学嫌いだと気づけよ


24: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 16:44:57.36 id:n8DIumUN
>>23
数学の専門家ではありませんが、量子コンピュータの研究室には在籍していました。
このスレでは可能性について議論することにします。


25: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 17:39:21.19 id:n8DIumUN
数学板を動かすための量子最適文を考えたことがあります。

「ゼッイハヌ」
=(01は又(また)(俺らはハッキングから今晩のおかずまでを考える数学板|
(ひっくり返すと)言わぬぜっ(数学はバナッハタルスキーの逆理や不完全性定理から
得られる悟り、この密教は言ってはならない。))

未来はこんなものばっかになってしまうのではないかと。


26: 132人目の素数さん 2018/12/22(土) 17:53:52.53 id:lwAytAjK
>>25
統合失調症だろ
精神科で診てもらえ


28: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 17:59:16.95 id:n8DIumUN
>>26
でちゃいましたね、その情報。そうですよ。統合失調症です。26日に病院へ行って
どういう仕事ができるか?の紙を書いてもらい、就活します。稼いだお金で
量子コンピュータを20年位内に創ろうと思っています。

29: 132人目の素数さん 2018/12/22(土) 18:20:42.17 id:lwAytAjK
>>28
珍しく当たっちまった・・・○TL

そうか 薬のめば妄想もなくなるから
気長に治療に励めよ


30: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 18:44:21.97 id:n8DIumUN
>>29
はい。統合失調症には何か物理法則のあらのようなものが隠されているという妄想は
消えませんが、薬を飲み続ける意思はあります。気にしていただきありがとうござい
ます。


27: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 17:57:27.91 id:n8DIumUN
ホーキング博士がご健在の頃、メールを送ったんです。できるんですか?と。
すると、メールの返信は無かったのですが、BBC系列のニュース番組で、人工知能
が将来の雇用を奪うという話になり、ホーキング博士の意見がその番組から、

"I can't believe it's too stupid."
=
(私はその技術を信じない、その理論は愚かだ。|
私はその技術を死守する、それは人類に災いをもたらす愚かなものだ。|
私がその技術を信じれないということは、私が愚かということなのだ。|
私は生きることはできない、ITは愚かなものだったのだ。)

と返りました。


31: 学術 2018/12/22(土) 19:10:45.78 ID:2ylmckvD
面白いこと言うね。物理法則か。超弦理論は向きが同じだから笑ったよ。


32: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 19:31:58.16 id:n8DIumUN
>>31
超弦理論は詳しくないですが、統合失調症的テレパシーによると、String Theoryは
嘘だ、と聞いたことがあって、どこが?ということなんですが、
⊿n=(26-d)n/12+*1/n=0からd=26,a=1というのはおかしい
のでは?と言われました。整数じゃなくてもいいとかって。26次元じゃないって
ことです。どういうことなんでしょうね?答えられる方いるんでしょうか?


33: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 20:08:58.01 id:n8DIumUN
僕はテレパシーに従順になってるだけなんですよ。

a=-(d-2)/24となっているのに、d=26だとすると、a=-1じゃないか?と来ました。

どうなんでしょう?


34: 132人目の素数さん 2018/12/22(土) 20:34:59.37 id:lwAytAjK
>>32-33
薬を飲みましょう
5chには書き込まないほうがいいですね
寛解したときに後悔しますから


35: a4 ◆L1L.Ef50zuAv 2018/12/22(土) 21:12:31.51 id:n8DIumUN
>>34
薬を飲んで今から寝ます。

5chとはお別れなのかな。まだプログラム技術板のスレもあるんですよ。人工知能
作ってます。

就活が終われば、人間関係も変わるでしょう。5chでは物理の話はとりあえずしない
ことにします。僕はタイムマシン的に軍事が入って危ないからだと妄想してます
けどね。


36: 132人目の素数さん 2018/12/25(火) 20:06:45.10 id:N26450oV
四色問題」はコンピューターが解決したんだぞ。


42: 132人目の素数さん 2019/01/02(水) 06:10:53.49 id:LG41yxYx
>>36132人目の素数さん2018/12/25(火) 20:06:45.10ID:N26450oV
>「四色問題」はコンピューターが解決したんだぞ。

あんなの「証明」じゃあない。


43: 132人目の素数さん 2019/01/02(水) 07:11:28.34 id:AWZPWSYk
>>42
ていうか「4色問題なんて数学ではなかった」ということ。


41: 132人目の素数さん 2019/01/02(水) 06:04:52.88 id:LG41yxYx
量子コンピュターは無限を処理できないから、数学の定理を証明するのは無理だと思う。


参考文献

http://ai.2ch.sc/test/read.cgi/math/1544797531/

*1:d-26)/12+2(1-a