https://futureofcoding.org/ logo
e

Eli Mellen

08/11/2023, 6:57 PM
Has anyone read Who Can Name the Bigger Number? It was just recommended to me at work
Features this lovely Borges-esq quote,
Imagine a novel, which is imbedded in a longer novel, which itself is imbedded in an even longer novel, and so on ad infinitum. Within each novel, the characters can debate the literary merits of any of the sub-novels. But, by analogy with classes of machines that can’t analyze themselves, the characters can never critique the novel that they themselves are in. (This, I think, jibes with our ordinary experience of novels.) To fully understand some reality, we need to go outside of that reality. This is the essence of Kleene’s hierarchy: that to solve the Halting Problem for some class of machines, we need a yet more powerful class of machines.
i

Ivan Reese

08/12/2023, 5:47 PM
I haven't — queued! Just gave it a quick skim, and was pleased to see Rudy Rucker's Infinity and the Mind get a reference. RIYL.
a

Andrew F

08/12/2023, 11:34 PM
I read it a while back. I generally enjoy Scott Aaronson. If I hear crazy news in computability theory or quantum computing I head for his blog to see his take. :)