[ExI] Holy cow!

[John Clark]

On Mon, Apr 13, 2026 at 9:15 AM Adrian Tymes via extropy-chat <
extropy-chat at lists.extropy.org> wrote:

On Sun, Apr 12, 2026 at 6:22 PM Jason Resch via extropy-chat


> *>> even with knowledge of the control flow and setting debugging break
>> points, knowing what methods may be called isn't always trivial. [...] **We
>> don't know if foo() will ever be called because mathematicians don't yet
>> know whether there exist any counter examples to Goldbach's conjecture.*
>
>

*> Consider that this would only be run on a computer that actually*


>
>
> * exists - which, by consequence of existing, has finite memory and thus a
> maximum exact value that it can hold in memory.  So, for a given computer,
> we can know if foo() will be called, since we only need to calculate up to
> that maximum number.*
>

*Only? Thanks to supercomputers we already know that Goldbach's Conjecture
is true for every even numbers up to 4*10^18, but there is no shortcut so
if you wanna go further than that you're just gonna have to continue on
with the calculation grind, and thus the original program would have no
point. And every Turing Machine that has ever halted has only used a finite
amount of tape, and every Turing Machine that is still running has only
used a finite amount of tape, so infinity doesn't enter into it.  *

* John K Clark*




>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20260413/8bb271c1/attachment.htm>