A Madman Dreams of Turing Machines
Encyclopedia
A Madman Dreams of Turing Machines is a book by Janna Levin
which contrasts fictionalized accounts of the lives and ideas of Kurt Gödel
and Alan Turing
(who never met).
A copy of this book was among the items seized as evidence from Bruce Ivins in an FBI raid investigating the 2001 anthrax attacks
.
Janna Levin
Janna J. Levin is a theoretical cosmologist. She holds a PhD in Theoretical Physics from the Massachusetts Institute of Technology granted in 1993 and a Bachelor of Arts in Astronomy and Physics from Barnard College granted in 1988...
which contrasts fictionalized accounts of the lives and ideas of Kurt Gödel
Kurt Gödel
Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...
and Alan Turing
Alan Turing
Alan Mathison Turing, OBE, FRS , was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine, which played a...
(who never met).
A copy of this book was among the items seized as evidence from Bruce Ivins in an FBI raid investigating the 2001 anthrax attacks
2001 anthrax attacks
The 2001 anthrax attacks in the United States, also known as Amerithrax from its Federal Bureau of Investigation case name, occurred over the course of several weeks beginning on Tuesday, September 18, 2001, one week after the September 11 attacks. Letters containing anthrax spores were mailed to...
.