Feynman Lectures on Computation - Richard P. Feynman
Philosophy of Mathematics - Andrew Irvine
Philosophy of Mathematics