On Thu, Mar 7, 2019 at 8:18 AM Bruno Marchal <marc...@ulb.ac.be> wrote:

*> Usually, when asked to name a big number, we mean to provide a number
> that e can compute in a finite time (no matter how long). BB(8000) will be
> rejected, because it is not a definite description, or name, because BB is
> not computable.*
>

Assuming you're just using 2 symbols (like 0 and 1) there are (16001)^8000
different 8000 state Turing Machines. And that is a very large number but a
finite one. And one of those machines makes the largest number of FINITE
operations before halting. And that number of operations is BB(8000).  Even
theoretically, much less practically,  you can never compute that number
but I have given a unique description of it, no other 8000 state Turing
Machine has that propertie.

 John K Clark

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to