Models of My
Life by Herbert Simon. An autobiography of one of AI's founders
who's intellectual contributions also include fundamental contributions
to economics (for which he won the Nobel prize), cognitive psychology,
and computer science (such as co-inventing the linked list in the 1950's).

Alan Turing:
The Enigma by Alan Hodges. A biography of one of the founders of CS
and originator of the Turing test. Also a testimony to the tragic implications
of homophobia.

Mathematics:
The Loss of Certainty by Morris Kline A very nice book on the failed
enterprise of using logic to build a firm foundation for infallible mathematics
and the role of Gödel's Incompleteness Theorem in the philosophy of
mathematics.

Incompleteness: The Proof and Paradox of Kurt Gödel by Rebecca
Goldstein An interesting biography of Kurt Gödel. Too bad he was
such a Platonist that, unlike Turing, he did not understand the true
implications of his own theorems (interesting author connection: Goldstein is
Pinker's wife).