Church's thesis (Q5116527)
Jump to navigation
Jump to search
axiom in constructive mathematics stating that all total functions are computable
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Church's thesis |
axiom in constructive mathematics stating that all total functions are computable |