巨大数探索スレッド12

巨大数探索スレッド12at MATH

巨大数探索スレッド12 - 暇つぶし2ch■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト

150:１３２人目の素数さん
 17/02/28 03:29:52.07 FdIiiodv.net
証明ができるＡＩはいつできるだろうか 
量子コンピュータのあとかな

151:１３２人目の素数さん
 17/02/28 03:40:17.89 Fa0mMD6F.net
>>149 
証明と量子コンピュータは恐らく全く無関係ですよ 
自明でない公理系での定理の証明は定理の言明（を表す論理式）のサイズに関してNP完全かNP困難 
ところが量子コンピュータ（より正確な呼び名は量子デジタルコンピュータ）は 
NP完全問題を高速に解けないというのが計算量理論の専門家の間でほぼ全員一致で予想され認識されていること 
（量子コンピュータが通常のデジタルコンピュータとは違って迅速に解けることが判明した問題の一つである 
素因数分解問題はNP問題ではあるがNP完全ではないと計算量理論やアルゴリズム論のコミュニティで予想されている）

152:１３２人目の素数さん
 17/03/01 16:16:38.95 oiUclQMH.net
BBは、ビジービーバー関数 
zは、0個以上の0以上の整数 
xは、0個以上の0または1 
a:bは、b個のa 
a,b,n,mは、0以上の整数 
f_0()=BB(10↑^(10)10) 
f_0(0)=BB(f_0()) 
f_0(a+1)=BB(f_0(a)) 
f_0(0:(n+1),0)=f_0(f_0():(n+1)) 
f_0(0:(n+1),a+1)=f_0(f_0(0:(n+1),a+1):(n+1)) 
f_0(z,b+1,0:n,0)=f_0(z,b,f_0():(n+1)) 
f_0(z,b+1,0:n,a+1)=f_0(z,b,f_0(z,b+1,0:n,a):(n+1)) 
f_1()=f_0(f_0():f_0()) 
f_1(0:n+1)=f_0(f_1(0:n):f_1(0:n)) 
f_1(1:(m+1))=f_1(0:f_1(),(1,0:f_1()):m) 
f_1(x,0,1:(m+1))=f_1(x,(1,0:f_1()):(m+1)) 
f_1(x,0,1:(m+1),0:(n+1))=f_1(x,(1,0:f_1(x,0,1:(m+1),0:n)):(m+1)) 
f_1(2)=f_1(0:f_1(),(1,0:f_1()):f_1())

次ページ