sentences:  Since retiring he is Honorary Professor of Artificial Intelligence and Cognitive Science at Birmingham.He has published widely on philosophy of mathematics, epistemology, cognitive science, and artificial intelligence; he also collaborated widely, e.g.with biologist Jackie Chappell on the evolution of intelligence.