Abstraction is a key ingredient of human and machine intelligence, and foundational to modern science. But what is involved in teaching a machine to fly, be creative or reason like a human?