Kurt Gödel showed that mathematical thinking cannot be captured in a formal axiomatic reasoning system. What does this deep result mean in practice? What are the limits of computer thinking? Can beauty and creativity and a sense of humor be formalized?
Introduction by professor Douglas Hofstadter.
Негізгі бет Ғылым және технология Limits of Logic: The Gödel Legacy
Пікірлер: 261