Church–Turing thesis
It is a thesis which assumes the nature of a computer and it was proposed by Stephen C. Kleene in the year 1943. This thesis believes that every calculation follows a set form of algorithm in provision to space/time. However, this cannot be proven mathematically.
Its based on the idea that an O.S. can run on any algorithm and it is believed that there is nothing more efficient than a computer.

















