A true, unprovable and simple statement

  • Thread starter lockecole
  • Start date
In summary: If something is unprovable, how can we be sure if it is true or not? Well, in this case, Dyson is using probability and statistics to argue that the statement is true but unprovable. And since there is no counterexample found so far, it is reasonable to believe that the statement is true. However, without a proof, we cannot be 100% certain. This is the essence of Gödel's incompleteness theorems - there will always be true statements that cannot be proven within a given system. And this statement about the reverse of powers of two and five happens to be one of those true but unprovable statements.
  • #36
Though 2^78, 2^88, 2^98 don't begin with a 5. Maybe you used a calculator that is rounding at some point.

ouch...good point. yeah...the 5 becomes 6 due to the 24 units. I used the start/applications one. I figured since it slowly goes up in the 5s it will hit 6 so I'll lower one power. I wasn't thinking. I didn't hit "=" 100 times...I just checked up to 59 or so...

Even so, that actually consolidates the point. The powers of 2 that begin with 5 actually stretch apart as numbers increase.

The way I see it, it's not that it can't be proven, it just can't be...put in a form that makes everyone happy. It can't be put in a nice deffinition or justified by formulas and other calculations but by...logic.
 
Mathematics news on Phys.org
  • #37
Robokapp said:
ouch...good point. yeah...the 5 becomes 6 due to the 24 units. I used the start/applications one. I figured since it slowly goes up in the 5s it will hit 6 so I'll lower one power. I wasn't thinking. I didn't hit "=" 100 times...I just checked up to 59 or so...

Even so, that actually consolidates the point. The powers of 2 that begin with 5 actually stretch apart as numbers increase.

The way I see it, it's not that it can't be proven, it just can't be...put in a form that makes everyone happy. It can't be put in a nice deffinition or justified by formulas and other calculations but by...logic.

Here's the list of exponents to 5000, for reference. This took 359 ms with PARI/GP.
9 19 29 39 49 59 69 102 112 122 132 142 152 162 172 195 205 215 225 235 245 255 265 298 308 318 328 338 348 358 391 401 411 421 431 441 451 461 494 504 514 524 534 544 554 587 597 607 617 627 637 647 657 680 690 700 710 720 730 740 750 783 793 803 813 823 833 843 876 886 896 906 916 926 936 946 979 989 999 1009 1019 1029 1039 1072 1082 1092 1102 1112 1122 1132 1142 1165 1175 1185 1195 1205 1215 1225 1235 1268 1278 1288 1298 1308 1318 1328 1338 1361 1371 1381 1391 1401 1411 1421 1431 1464 1474 1484 1494 1504 1514 1524 1557 1567 1577 1587 1597 1607 1617 1627 1650 1660 1670 1680 1690 1700 1710 1720 1753 1763 1773 1783 1793 1803 1813 1823 1846 1856 1866 1876 1886 1896 1906 1916 1949 1959 1969 1979 1989 1999 2009 2042 2052 2062 2072 2082 2092 2102 2112 2135 2145 2155 2165 2175 2185 2195 2205 2238 2248 2258 2268 2278 2288 2298 2308 2331 2341 2351 2361 2371 2381 2391 2401 2434 2444 2454 2464 2474 2484 2494 2527 2537 2547 2557 2567 2577 2587 2597 2630 2640 2650 2660 2670 2680 2690 2723 2733 2743 2753 2763 2773 2783 2793 2816 2826 2836 2846 2856 2866 2876 2886 2919 2929 2939 2949 2959 2969 2979 3012 3022 3032 3042 3052 3062 3072 3082 3115 3125 3135 3145 3155 3165 3175 3208 3218 3228 3238 3248 3258 3268 3278 3301 3311 3321 3331 3341 3351 3361 3371 3404 3414 3424 3434 3444 3454 3464 3497 3507 3517 3527 3537 3547 3557 3567 3600 3610 3620 3630 3640 3650 3660 3693 3703 3713 3723 3733 3743 3753 3763 3786 3796 3806 3816 3826 3836 3846 3856 3889 3899 3909 3919 3929 3939 3949 3959 3982 3992 4002 4012 4022 4032 4042 4052 4085 4095 4105 4115 4125 4135 4145 4178 4188 4198 4208 4218 4228 4238 4248 4271 4281 4291 4301 4311 4321 4331 4341 4374 4384 4394 4404 4414 4424 4434 4444 4467 4477 4487 4497 4507 4517 4527 4537 4570 4580 4590 4600 4610 4620 4630 4663 4673 4683 4693 4703 4713 4723 4733 4766 4776 4786 4796 4806 4816 4826 4859 4869 4879 4889 4899 4909 4919 4929 4952 4962 4972 4982 4992

I don't think this supports your assertion that the "powers of 2 that begin with 5 actually stretch apart as numbers increase", unless you meant trivially since the powers are spread out more as they increase. There are 81 of these 'special' powers of 2 with exponents between 1 and 999 and 81 between 50000 and 50999. Here's the exact count in baches of 1000:

1000: 81
2000: 78
3000: 79
4000: 80
5000: 79
6000: 78
7000: 79
8000: 81
9000: 77
10000: 81
11000: 79
12000: 79
13000: 78
14000: 80
15000: 80
16000: 77
17000: 81
18000: 79
19000: 79
20000: 79
21000: 80
22000: 78
23000: 79
24000: 79
25000: 80
26000: 78
27000: 80
28000: 81
29000: 77
30000: 81
31000: 79
32000: 79
33000: 79
34000: 80
35000: 79
36000: 78
37000: 80
38000: 79
39000: 78
40000: 79
41000: 81
42000: 78
43000: 80
44000: 80
45000: 79
46000: 78
47000: 79
48000: 80
49000: 77
50000: 81

This is rather in keeping with Benford's law.
 
Last edited:

Similar threads

Back
Top