It reeeeeeally depends on your background. You can come at TT from many different directions: logic, programming, category theory, algebraic topology… the good news is that the contemporary view is that those are all facets of the same thing, a sort of generalized Church-Turing thesis.
It reeeeeeally depends on your background. You can come at TT from many different directions: logic, programming, category theory, algebraic topology… the good news is that the contemporary view is that those are all facets of the same thing, a sort of generalized Church-Turing thesis.