Slashdot Mirror


New Comic Book About Logic, Math, and Madness

areYouAHypnotist writes to tell us the New York Times has the scoop on a new comic book about the quest for logical certainty in mathematics. "The story spans the decades from the late 19th century to World War II, a period when the nature of mathematical truth was being furiously debated. The stellar cast, headed up by Bertrand Russell, includes the greatest philosophers, logicians and mathematicians of the era, along with sundry wives and mistresses, plus a couple of homicidal maniacs, an apocryphal barber, and Adolf Hitler."

2 of 99 comments (clear)

  1. Lovelace and Babbage by KuNgFo0 · · Score: 5, Informative

    For those looking for a more fun and lighthearted but still very nerdy comic, Check out the brilliant webcomic "Adventures of Lovelace and Babbage" at http://sydneypadua.com/2dgoggles/ One of the my most favorite things I've found on the internets :)

  2. Re:It's the axioms... by smaddox · · Score: 4, Informative

    If a conjecture can neither be proven nor disproved given a set of axioms, then either the conjecture or the axioms were wrongly chosen. If your ultimate goal is to prove or disprove that conjecture, you must pick a set of axioms that allows that goal to be achieved. If your ultimate goal is to prove or disprove every conjecture possible given a specific set of axioms, then you must ignore the conjectures that can neither be proven nor disproved with that set of axioms.

    It isn't that math doesn't work. Given a set of axioms, you can find absolute truths. However, not all absolute truths can be discovered with a single set of axioms.