When Einstein Walked with Gödel: Excursions to the Edge of Thought


Jim Holt - 2018
    With his trademark clarity and humor, Holt probes the mysteries of quantum mechanics, the quest for the foundations of mathematics, and the nature of logic and truth. Along the way, he offers intimate biographical sketches of celebrated and neglected thinkers, from the physicist Emmy Noether to the computing pioneer Alan Turing and the discoverer of fractals, Benoit Mandelbrot. Holt offers a painless and playful introduction to many of our most beautiful but least understood ideas, from Einsteinian relativity to string theory, and also invites us to consider why the greatest logician of the twentieth century believed the U.S. Constitution contained a terrible contradiction--and whether the universe truly has a future.

Symbolic Logic And The Game Of Logic


Lewis Carroll - 1958
    Written by the 19th-century mathematician who also gave us "Alive in Wonderland", they are among the most entertaining logical works ever written, and contain some of the most thought-provoking puzzles ever devised.