Sentences undecidable in formalized arithmetic

Name: Sentences undecidable in formalized arithmetic
Author: Andrzej Mostowski

an exposition of the theory of Kurt Gödel.

Popularity 1

No description available.

Gödel's theoremSemantics (Philosophy)Symbolic and mathematical LogicGoedel's theoremSemanticsMathematical models