Cite
Save
Share This
Email this content

Share Link

Copy this link, or click below to email it to a friend
Email this content
or copy the link directly:

https://www.oxfordreference.com/display/10.1093/oi/authority.20110803095612978?p=emailACoBmIugMOM4I&d=/10.1093/oi/authority.20110803095612978
The link was not copied. Your current browser may not support copying via this button.

Link copied successfully

Church's thesis

Quick Reference

The hypothesis, put forward by Alonzo Church in 1935, that any function on the natural numbers that can be computed by an algorithm can be defined by a formula of the lambda calculus. See also Church–Turing thesis.

From: Church's thesis in A Dictionary of Computing »

Subjects:

Reference entries

Search for: 'Church's thesis' in Oxford Reference »

Oxford University Press

PRINTED FROM OXFORD REFERENCE (www.oxfordreference.com). (c) Copyright Oxford University Press, 2023. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single entry from a reference work in OR for personal use (for details see Privacy Policy and Legal Notice).

date: 16 March 2025

Browse All

Browse All

Share Link

Related Content

'Church's thesis' can also refer to...

Church's thesis

Quick Reference

Reference entries

Browse All

Browse All

Recently viewed (0)

Recently viewed (0)

Share Link

Related Content

'Church's thesis' can also refer to...

Church's thesis

Quick Reference

Related content in Oxford Reference

Reference entries