Platonists hold that Turing machines and recursive functions are discovered abstract objects, while ...