 certain functions are uncomputable in an absolute sense: uncomputable even by [standard Turing machine], and, therefore, uncomputable by any past, present, or future real machine. (Boolos and Jeffrey 1980: 55)