[the robot historian] would, for example, recognise that the logical structures of computer hardware were once incarnated in the human body in the form of empirical problem-solving recipes … these may then be captured into a general-purpose, “infallible” recipe (known as an “algorithm”). When this happens we may say that logical structures have “migrated” from the human body to the rules that make up a logical notation
