The Universal Computer More Books Like This
The Man Who Knew Too Much
2012
The Proof is in the Pudding
2011
Philosophical Explorations of the Legacy of Alan Turing
2017
Simply Gödel
2017
Indiscrete Thoughts
2009
Labyrinth of Thought
2008
Why Is There Philosophy of Mathematics At All?
2014
The Development of Mathematics
2012
Logos and Máthēma
2011
Computation, Proof, Machine
2015
Godel's Theorem in Focus
2012
Kurt Gödel and the Foundations of Mathematics
2011
Research in History and Philosophy of Mathematics
2020
The Prime Number Conspiracy
2018
18 Unconventional Essays on the Nature of Mathematics
2006