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.
- Turing Machines are the mostsible 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.