After Gödel

This chapter contains sections titled: 6.1 Diophantine Equations, 6.2 Model Theory, 6.3 Kripke's Proof, 6.4 Prime Numbers, 6.5 An Application of Gödel's Method: Can our “scientific competence” be simulated by a Turing Machine? And if yes, can we know that fact?, 6.6 An Anti-Chomskian Incompleteness Theorem: “COMPETENCE” can't be both true and justified, Notes, References, Acknowledgment