Proof of Church's Thesis

Casares, Ramón

doi:10.6084/m9.figshare.4955501.v4

Proof of Church's Thesis

journal contribution

posted on 2023-03-21, 07:52 authored by Ramón CasaresRamó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.

History

Usage metrics

Keywords

Church's thesis Post program Turing completeness Post's law Computation Theory and Mathematics

Licence

CC BY 4.0

Proof of Church's Thesis

History

Usage metrics

Categories

Keywords

Licence

Exports