Ideas from 'A Note on the entscheidungsproblem' by Alonzo Church , by Theme Structure
[found in 'Journal of Symbolic Logic' (ed/tr -) [- ,]].
Click on the Idea Number for the full details |
back to texts
expand this idea
5. Theory of Logic / K. Features of Logics / 7. Decidability
Validity is provable, but invalidity isn't, because the model is infinite