Publication:2856047

zbMath1273.03044MaRDI QIDQ2856047

Jaakko Hintikka

Publication date: 23 October 2013

zbMATH Keywords

undecidability; IF logic; Peano arithmetic; Ramsey theorem; Gödel's incompleteness theorem

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03B25: Decidability of theories and sets of sentences

03F40: Gödel numberings and issues of incompleteness