Douglas R. Hofstadter - Gödel, Escher, Bach_ an Eternal Golden Braid-Basic Books

system of numbertheoretical reasoning to which the word “proof” refers is that of Principia Mathematica (P.M.), a giant opus by Bertrand Russell and Alfred North

fixed system of numbertheoretical reasoning to which the word “proof” refers is that of

Principia Mathematica (P.M.), a giant opus by Bertrand Russell and Alfred North Whitehead

ACHILLES: It goes like this: Two monks were arguing about a flag. One said, “The flag is moving. ” The other said, “The wind is moving. ” The sixth patriarch, Zeno, happened to be passing by. He told them, “Not the wind, not the flag, mind is moving

TORTOISE: Zen Koan? Zen Master? What do you mean? ACHILLES: It goes like this: Two monks were arguing about a flag. One said, “The flag is

ACHILLES: It goes like this: Two monks were arguing about a flag. One said, “The flag is moving. ” The other said, “The wind is moving. ” The sixth patriarch, Zeno, happened to be passing by. He told them, “Not the wind, not the flag, mind is moving. ”

Lewis Carroll took liberties with Zeno’s Tortoise and Achilles

The perception of an isomorphism between two known structures is a significant advance in knowledge-and I claim that it is such perceptions of isomorphism which create meanings in the minds of people