Incompleteness theorems prove that there are
logically undecidable propositions, i.e., that there are propositions that are
neither provable nor disprovable in certain classes of theories.
Incompleteness of Principia Mathematica was proved informally using proof by
contradiction in a stratified metatheory by Gödel [1931] with restrictive
conditions. Then Rosser [1936] informally proved incompleteness using proof by
contradiction in a stratified metatheory assuming consistency of Principia
Mathematica.
However, information on the modern Internet is pervasively inconsistent and
restricting reasoning to use only stratified metatheories is impractical.
Consequently Direct Logic has been developed which is inconsistency tolerant
and does without stratified metatheories. And incompleteness has been formally
self-proved for every theory of Direct Logic without requiring the hypothesis
of consistency. Moreover, because incompleteness is self-proved, logically
necessary inconsistency immediately follows.
Contents
Recent comments
15 weeks 6 days ago
20 weeks 1 day ago
21 weeks 5 days ago
21 weeks 5 days ago
24 weeks 3 days ago
29 weeks 12 hours ago
29 weeks 13 hours ago
29 weeks 3 days ago
29 weeks 3 days ago
32 weeks 2 days ago