---
tag: V7K8T0DDA3
kind: concept
name: Church's thesis (constructive mathematics)
aliases: [extended-churchs-thesis]
sources:
  - wikipedia: en:15756448@r1336203937
    locator: Church's thesis (constructive mathematics)
    note: adopted
    mention: wikipedia://en/15756448
    sections: [Summary]
same_as:
  wikidata: Q5116527
  wikipedia: Church's thesis (constructive mathematics)
inventory: [61EW8Z65ZW]
---

## Summary

In constructive mathematics, **Church's thesis** ${\mathrm{CT}}$ is the principle stating that all total functions are computable functions.