The Completeness of God. . .
Twenty-five years ago or so I read a book: Gödel, Escher, Bach An Eternal Golden Braid . Gödel was a mathematician, Escher an artist, and Bach a composer. The book has to do with artificial intelligence and thought and systems of logic. . . Maybe this wasn't the author's intent, but it also has much to do with systems of religious belief. The topics are heavy and require some work to comprehend, but these complex issues are presented in such a way as to be relatively understandable (with effort). The author uses the art of Escher, the music of Bach and a mathematical proof written by Kurt Gödel to explore the ability of machines to think. In 1931 Kurt Gödel discovered a mathematical theorem that if I might paraphrase says: Any system, sufficiently powerful, contains elements within it that are unprovable within that system. Here is a page which gives more complete restatements of Gödel's proof. Gödel, Escher, Bach An Eternal Golden Braid is a fascinating book. I...