不可计算问题

lkPark · 发表于 2018-8-6 20:30

本帖最后由 lkPark 于 2019-6-14 13:52 编辑

不可计算之量不可被用于与无限相关的计算和证明体系，比如P和π（N）就不能参与与N相关的计算和证明，因为N有无限个。哥猜、孪猜、黎曼猜想、费马有解与无解方程、四色定理等难题都属于不可计算问题，它们都不能被由等号建立的量逻辑体系加以证实。王军著

lkPark · 发表于 2018-8-7 08:30

天下舍我其谁能做此事？

柳林 · 发表于 2018-8-7 10:10

这些都是可以计算的。

虽然不可用由等号建立的量逻辑体系加以证实，但是用π（N）≧N*π（1-1/p)+1这个下界公式，还是可以证实的。比如：当N=15n^2时：

序数区间上界密度近似值实际值误差率
n N Mn N*Mn
50
1 15 33.33333333 6.00 6 0.0000
2 60 26.66666667 17.00 17 0.0000
3 135 22.85714286 31.86 32 -0.4464
4 240 20.77922078 50.87 52 -2.1728
5 375 19.18081918 72.93 74 -1.4486
6 540 18.0525357 98.48 99 -0.5215
7 735 17.10240224 126.70 130 -2.5364
8 960 16.35881954 158.04 162 -2.4416
9 1215 15.79472231 192.91 198 -2.5728
10 1500 15.28521514 230.28 239 -3.6493
11 1815 14.87210122 270.93 280 -3.2398
12 2160 14.50936704 314.40 325 -3.2608
13 2535 14.1719399 360.26 370 -2.6328
14 2940 13.87040926 408.79 424 -3.5873
15 3375 13.60870343 460.29 476 -3.2996
16 3840 13.37804744 514.72 532 -3.2487
17 4335 13.15873519 571.43 591 -3.3111
18 4860 12.96233615 630.97 650 -2.9278
19 5415 12.77976804 693.02 714 -2.9378
20 6000 12.60470272 757.28 783 -3.2845
21 6615 12.44514952 824.25 854 -3.4840
22 7260 12.29520796 893.63 928 -3.7034
23 7935 12.15705956 965.66 1002 -3.6265
24 8640 12.03172905 1040.54 1075 -3.2055
25 9375 11.91260302 1117.81 1159 -3.5542

柳林 · 发表于 2018-8-7 10:12

序数区间上界密度近似值实际值误差率
n N Mn N*Mn

26 10140 11.79694668 1197.21 1244 -3.7612
27 10935 11.68669484 1278.94 1327 -3.6217
28 11760 11.57947746 1362.75 1409 -3.2827
29 12615 11.4770042 1448.82 1507 -3.8604
30 13500 11.38663409 1538.20 1600 -3.8628
31 14415 11.29971322 1629.85 1689 -3.5019
32 15360 11.21723356 1723.97 1794 -3.9037
33 16335 11.13653404 1820.15 1894 -3.8990
34 17340 11.0617922 1919.11 1993 -3.7072
35 18375 10.9885353 2020.14 2105 -4.0312
36 19440 10.91854463 2123.57 2203 -3.6058
37 20535 10.85155969 2229.37 2317 -3.7821
38 21660 10.78658029 2337.37 2431 -3.8514
39 22815 10.72423012 2447.73 2549 -3.9728
40 24000 10.66431822 2560.44 2668 -4.0316
41 25215 10.60539933 2675.15 2781 -3.8061
42 26460 10.54987368 2792.50 2907 -3.9389
43 27735 10.49521112 2911.85 3023 -3.6769
44 29040 10.44193594 3033.34 3159 -3.9779
45 30375 10.3894639 3156.80 3282 -3.8148
46 31740 10.34022473 3282.99 3413 -3.8093
47 33135 10.29385601 3411.87 3551 -3.9181
48 34560 10.24850863 3542.88 3692 -4.0389
49 36015 10.20375532 3675.88 3827 -3.9487
50 37500 10.15996238 3810.99 3968 -3.9570
51 39015 10.11745207 3948.32 4107 -3.8636
52 40560 10.07547094 4087.61 4252 -3.8662
53 42135 10.03532963 4229.39 4404 -3.9649
54 43740 9.996281651 4373.37 4555 -3.9874
55 45375 9.958272976 4519.57 4707 -3.9820
56 47040 9.921253373 4667.96 4852 -3.7931
57 48735 9.884643582 4818.28 5010 -3.8267
58 50460 9.848958948 4970.78 5177 -3.9833
59 52215 9.813909273 5125.33 5338 -3.9840
60 54000 9.779231148 5281.78 5500 -3.9675
61 55815 9.745854932 5440.65 5663 -3.9264
62 57660 9.714109477 5602.16 5840 -4.0727
63 59535 9.682874398 5765.70 6018 -4.1924
64 61440 9.651938697 5931.15 6179 -4.0111
65 63375 9.621490941 6098.62 6350 -3.9587
66 65340 9.592422992 6268.69 6526 -3.9429
67 67335 9.563958829 6440.89 6706 -3.9533
68 69360 9.536396988 6615.44 6884 -3.9011
69 71415 9.509072068 6791.90 7073 -3.9742
70 73500 9.482134187 6970.37 7257 -3.9497
71 75615 9.455721557 7150.94 7448 -3.9884
72 77760 9.429956648 7333.73 7643 -4.0464
73 79935 9.404675263 7518.63 7829 -3.9644
74 82140 9.379860817 7705.62 8030 -4.0396
75 84375 9.355370318 7894.59 8222 -3.9821
76 86640 9.331320523 8085.66 8423 -4.0050
77 88935 9.307815937 8278.91 8614 -3.8901
78 91260 9.284604426 8474.13 8826 -3.9867
79 93615 9.261903682 8671.53 9040 -4.0760
80 96000 9.2397989 8871.21 9252 -4.1158
81 98415 9.217851634 9072.75 9450 -3.9921
82 100860 9.196464507 9276.55 9663 -3.9992
83 103335 9.175225559 9482.22 9877 -3.9970
84 105840 9.154325273 9689.94 10092 -3.9840
85 108375 9.133660882 9899.60 10308 -3.9619
86 110940 9.113318653 10111.32 10531 -3.9852
87 113535 9.093377037 10325.17 10752 -3.9698
88 116160 9.073651707 10540.95 10976 -3.9636
89 118815 9.054054187 10758.57 11199 -3.9327
90 121500 9.034666491 10978.12 11434 -3.9871
91 124215 9.015804974 11199.98 11668 -4.0111
92 126960 8.997292028 11423.96 11898 -3.9842
93 129735 8.978967604 11649.86 12140 -4.0374
94 132540 8.960973681 11877.87 12372 -3.9939
95 135375 8.943158624 12107.80 12609 -3.9749
96 138240 8.925588568 12339.73 12861 -4.0531
97 141135 8.90845692 12573.95 13107 -4.0669
98 144060 8.891423541 12809.98 13346 -4.0163
99 147015 8.874988378 13048.56 13592 -3.9982
100 150000 8.858763536 13289.15 13848 -4.0356

柳林 · 发表于 2018-8-7 10:14

这里永远都是负误差率。证明也很简单。

lkPark · 发表于 2018-8-8 16:59

这是数学基础的基础。

任在深 · 发表于 2018-8-9 18:30

不懂结构数学的臭词乱调！

lkPark · 发表于 2018-9-3 23:55

论啊！

lkPark · 发表于 2018-9-4 00:01

随机无限数列、有限不可穷举随机数列、无限无通项公式数列等都是不可计算量。

lkPark · 发表于 2018-9-26 16:55

真理即权威！

		自动登录	找回密码
密码			注册

不可计算问题

点评