Listing books in logic
|Full title||Logicomix: An Epic Search for Truth [permalink]|
|Authors||Apostolos Doxiadis (author), Christos H. Papadimitriou (author), Alecos Papadatos (illustrator) and Annie Di Donna (illustrator)|
|Categories||Graphic novel and logic|
|ISBN||978-1-59691-452-0 [Amazon, B&N, Abe, Powell's]|
A (very fictionalized) account, in comic form, of the life of Bertrand Russell. The book opens with one of the authors explicitly breaking the fourth wall, talking to the reader, and explaining the purpose of the work. The rest of the book follows an old Russell as he's giving a lecture in 1939, three days after Hitler's invasion of Poland, about his journey from childhood to established mathematician. It's this journey that forms the meat of the book.
I really enjoyed this work, but not particularly being a fan of graphic novels, I don't know about the quality. In any event, if you want to learn about the life of Bertrand Russell, the history of logic, and something about the tortured lives of the early logicians (excluding the Greeks, of course), and you don't want to read a text book, this one's for you.
And besides, how often do you see a comic book with a bibliography?
|Full title||What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles [permalink]|
|Author||Raymond M. Smullyan (author)|
|Categories||Logic and puzzle|
|Original publication year||1978|
|ISBN||978-0486-48198-2 [Amazon, B&N, Abe, Powell's]|
A book of puzzles, a lot of the A-always-lies, B-always-tells-the-truth variety.
Each section introduces the topic under discussion with a story, with small vignettes strewn between the puzzles themselves to give context.
The last chapter is a more free-flowing story-telling chapter, with a complete explanation of Gödel's Incompleteness Theorem.
There's not all that much to say about this book. I found it an interesting read, and it's fun to try the puzzles out on friends. Go buy it if you like these kinds of books.
Part One: Logical Recreations
Part Two: Portia's Caskets and Other Mysteries
Part Three: Weird Tales
Part Four: Logic Is a Many-Splendored Thing