Chapter on 'Artifice and the natural world: Mathematics, logic, technology'