YN Moschovakis - Mathematics unlimited—2001 and beyond, 2001 - Springer
… My aims here are to argue that this does not square with our intuitions about algorithms and
… algorithms correctly; and to describe briefly a plausible solution, by which algorithms are …