green numbers give full details.     |    back to list of philosophers     |     unexpand these ideas

Ideas of Alonzo Church, by Text

[American, 1903 - 1995, Professor at Princeton University.]

1936 A Note on the entscheidungsproblem
p.41 Validity is provable, but invalidity isn't, because the model is infinite
     Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely.
     From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5