News for hackers. Stuff that matters.

A comment on Superintelligence cannot be contained: Lessons from Computability Theory. Parent comment

Re:Superintelligence cannot be contained: Lessons from Compu... by ben_w on Monday January 11, 2021 @06:42PM (#25739868)
Similar idea, but with Turing machines rather than physical computers.

Simplified a bit, the n-th busy beaver number is the number of 1s which can be written out by an n-state Turing machine.

For 2-symbols and n-states, the sequence goes: 6, 21, 107, >= 47176870, > 7.4×10^36534, > 10^10^10^10^18705353 — and those inequalities are because the numbers themselves cannot be computed directly, you have to run the program to see what it does.

https://en.wikipedia.org/wiki/Busy_beaver

[ Parent | on HN ]
Re:Superintelligence cannot be contained: Lessons from Compu... by dvdkhlng on Monday January 11, 2021 @11:12PM (#25742175)
I think this approach quickly enters the realm of transcomputational problems [1], which, given the limits of this universe is equivalent to "undecidable" for all practical considerations.

[1] https://en.wikipedia.org/wiki/Transcomputational_problem

[ Parent | on HN ]