Brains, Machines, and Mathematics