The complete story of Gödel incompleteness. [2600 views]
billwadge.com
The famous mathematician Kurt Gödel proved two “incompleteness” theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logi…