Allan F. Randall suggests Plato's theory is essentially a primitive version of modern recursion theory.