Yourgrau: The Complete Set of Mathematical Truths


„The complete set of mathematical truths will never be captured by any finite or recursive list of axioms that is fully formal. Thus, no mechanical device, no computer, will ever be able to exhaust the truths of mathematics. It follows immediately, as Gödel was quick to point out, that if we are able somehow to grasp the complete truth in this domain, then we, or our minds, are not machines or computers. (Enthusiasts of artificial intelligence were not amused.)“ (p. 3) #Yourgrau #Gödel #MathematicalTruth

Yourgrau, Palle, A World Without Time. The Forgotten Legacy of Gödel and Einstein. New York: Basic Books 2005.