Ideas of Alonzo Church, by Theme

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

green numbers give full details    |    back to list of philosophers    |     expand these ideas
5. Theory of Logic / K. Features of Logics / 7. Decidability
Validity is provable, but invalidity isn't, because the model is infinite [McGee]