„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