A computer is a machine for constructing mappings from input to output. - Michael Kirby