On Attempting to Model the Mathematical Mind.
Computability and λ-definability