Category:Church's Theorem
Jump to navigation
Jump to search
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.
Pages in category "Church's Theorem"
This category contains only the following page.