[qubex]

Of the works listed, I’ve read only The Architecture of Symbolic Computers and Structure and Interpretation of Computer Programs. The latter is widely known as it undergirds many a computer science course, but the former is far more impressive by a wide margin. As a invertebrate mathematician, breaching the threshold between numerical and symbolic computation (though ultimately) gives me an undeniable frisson of profundity.