Re:How the Slowest Computer Programs Illuminate Math’s Funda...
by Retric on Friday December 11, 2020 @12:56PM
(#25388576)
I don’t disagree with what you just said however odds of discovering such a model are pretty low is irrelevant when dealing with abstract computers. Further, suggesting real world physics is unlikely to work isn’t a proof even if I happen to agree.
In the end even if we had a physical machine to produce BB(n) that would not mean it was computable using a Touring machine. Their unrelated concepts.
PS: Looks like auto corrupt strikes again, I really stopped caring at this point.
In the end even if we had a physical machine to produce BB(n) that would not mean it was computable using a Touring machine. Their unrelated concepts.
PS: Looks like auto corrupt strikes again, I really stopped caring at this point.