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