Church-Turing Thesis
A function can be calculated by an Effective Method if and only if it is computable by a Turing Machine.
i.e.
- Algorithms and Turing Machines are the same thing.
- Turing Machines are the most power type of possible automation.
Warning
It cannot be proven until we know exactly what an ”Effective Method” is. Can humans be described by an effective method? Nobody knows.
See (Book) Godel Escher Bach for a deep dive.