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
18758
|
Validity is provable, but invalidity isn't, because the model is infinite [McGee]
|