Proof of Church's Thesis

Ramón Casares

We prove that if our calculating capability is that of a universal Turing machine with a finite tape, then Church's thesis is true. This way we accomplish Post (1936) program.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment