Category:Church's Theorem

This category contains pages concerning Church's Theorem:

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.