A statement or theory that is put forward as a premise to be maintained or proved
the central thesis of his lecture
The proposition that all computable number-theoretical functions are recursive.
Attributive Designating the proposition that any function that can be computed using an algorithm can be computed by a Turing machine. Especially in Church–Turing thesis.