Modern Logic: Since Gödel - Research Article from Encyclopedia of Philosophy

This encyclopedia article consists of approximately 230 pages of information about Modern Logic.
This section contains 513 words
(approx. 2 pages at 300 words per page)
Buy the Modern Logic: Since Gödel Encyclopedia Article

Modern Logic: Since GÖdel

Since GÖdel

The pace of development in logic picked up rapidly after Gödel's incompleteness theorems, and five branches emerged: set theory, model theory, proof theory, computability theory, and nonclassical logics.

Gödel's theorems were formulated for type theory, but this was soon displaced as the framework for mathematics by Zermelo-Frankel set theory with choice (ZFC). Gödel's theorems still apply, and imply the existence of set-theoretic statements that can be neither proved nor disproved. Gödel himself showed that Cantor's continuum hypothesis cannot be disproved, and conjectured that it cannot be proved, as was established in the 1960s by Paul Cohen. Since then the search for new axioms to settle questions left open by ZFC has...

(read more)

This section contains 513 words
(approx. 2 pages at 300 words per page)
Buy the Modern Logic: Since Gödel Encyclopedia Article
Copyrights
Macmillan
Modern Logic: Since Gödel from Macmillan. Copyright © 2001-2006 by Macmillan Reference USA, an imprint of the Gale Group. All rights reserved.
Follow Us on Facebook