A new Gödelian argument for hypercomputing minds based on the busy beaver problem (Q2495984)

Using little known remarks of Gödel (made in his 1951 Gibbs lecture at Brown University to the effect that the human mind has a power ``converging to infinity'') as a point of entry, the authors clarify and extend the Mind-Machine problem by introducing the role of of hypercomputation and the ``busy beaver'' problem. E.g., they defend in great detail the view that humans not only compute, but humans hypercompute, too. Further, they (1) reject the idea that hypercomputation is merely one aspect of Turing's Oracle and (2) Claim that their approach provides some formalization to Gödel's intuitive remarks mentioned briefly above in the review. Considerable space in the paper is devoted to countering several possible objections to their line of reasoning. A novel feature of the paper is its use of modal logic to justify the existence of hypercomputing minds. Still, we must be careful that uses of some of the authors' ideas do not become a basis for ``Überkopf'' as an untimely replacement for ``Übermensch''.