Historical Perspective
In the 1940s, Alan Turing and Emil Post were investigating the question of which mathematical functions are theoretically computable by mechanical devices.
“What is a computable function?”
Are all mathematical functions computable? (Answer: no)
Formal models of computers and computation...