"The view that machines cannot give rise to surprises is due, I believe, to a fallacy to which philosophers and mathematicians are particularly subject."

"It is not possible to produce a machine which will be intelligent in the same way that a human being is intelligent."

"The idea of a 'mind' is a human construct, and it may not apply to machines."

"Up to a point, it is better to just let the snags [bugs] be there than to spend such time in design that there are none."

"Mathematical logic, as a subject, is going to have a great future."