Robert J. Marks talks with the trailblazing mathematician about Kurt Gödel’s ontological proof for the existence of God, and more.
The calculus made modern science possible, but it was the algorithm that made possible the modern world.
“Many will read this book for the close, elegant reasoning, the astonishing erudition, or the mordant analysis. I confess I read it for the prose.”
The fundamental problem with these systems is Goedelian. Kurt Goedel showed that formal systems like this are unable to extract themselves from these systems.
An enterprising electrical engineer, Payton Pearson, thinks it can be done. There are reasons for doubt.