idea number gives full details.     |    back to list of philosophers     |     expand 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