+1. Yeah, I was only thinking of his work on computation (not even AI!). I should have been more clear.