The book Gödel,
Escher, Bach: An Eternal Golden Braid by Douglas R.
Hofstadter a
metaphorical fugue on minds and machines in the spirit of Lewis
Carroll, winner of the Pulitzer Prize. A program of music by Bach
The
Royal Theme part of the Musical Offering to King
Fredrick the Great, followed by some Escher Images
curated by an Art Historian, and Kurt Gödel's theorem "On Formally
Undecidable Propositions" which may be paraphrased as "All consistent
axiomatic formulation of number theory (Whole Numbers) include
undecidable propositions. Gödel's
Incompleteness
Theorems
Wikipedia link.
Gödel's
Proof by Ernest Nagel and James R. Newman the book
from
Amazon or the MC library.
First guy! eventually Veridical, Falsidcal,
and Antinomov