Church's Theorem

From ProofWiki
Jump to navigation Jump to search


There exists no effective procedure for determining whether or not a given well-formed formula of the predicate calculus is a theorem.

That is, the decision problem for the predicate calculus is undecidable.


Source of Name

This entry was named for Alonzo Church.

Historical Note

Church's Theorem was proved by Alonzo Church in $1935$.