Ideas from 'A Note on the entscheidungsproblem' by Alonzo Church [1936], 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