... recognising, understanding, learning, proving, explaining,communicating, referring, describing, interpreting, imagining, creating, deliberating, choosing, acting,testing, verifying, and so on. ... making and testing plans, forming hypotheses, proving theorems, and understandingEnglish). It is rapidly extending our ability to think about processes of the kinds which are of interestto philosophy. ... in thisbook (e.g., in the chapter on learning about numbers), observing them and interacting with them hastaught me a great deal. In return, my excursions into artificial intelligence and the...