Reviews

Computation, Proof, Machine: Mathematics Enters a New Age by Gilles Dowek

mikan_yamano's review

Go to review page

challenging informative
I am always wondering about why some problems can be solved by logic but not by calculating, and vice versa. The book inspires me in some way. 
More...