Problems of Completeness and Decidability, Gödel’s Theorems
by
Roman Murawski
Language: English
Release Date: March 14, 2013
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations,...