Church's thesis (constructive mathematics)
id:
church-s-thesis-constructive-mathematics-272-15699755
title:
Church's thesis (constructive mathematics)
text:
In constructive mathematics, Church's thesis C T is the principle stating that all total functions are computable functions. The similarly named Church–Turing thesis states that every effectively calculable function is a computable function, thus collapsing the former notion into the latter. C T is stronger in the sense that with it every function is computable. The constructivist principle is however also given, in different theories and incarnations, as a fully formal axiom. The formalizations
brand slug:
wiki
category slug:
encyclopedia
description:
Axiom
original url:
https://en.wikipedia.org/wiki/Church%27s_thesis_(constructive_mathematics)
date created:
date modified:
2024-04-21T14:12:56Z
main entity:
{"identifier":"Q5116527","url":"https://www.wikidata.org/entity/Q5116527"}
image:
fields total:
13
integrity:
14