Undecidable Theories
Subjects:
...problem is one of the central problems of contemporary metamathematics. Since only few theories turn out to be decidable 3...Godel and the author. Cf. 7 where the arithmetization of metamathematics has proved to be a powerful instrument in metamathematical...