3 ms·
The law of the excluded middle says that for all propositions, either it or its negation must be true. But Godel showed that there exist propositions for which
by Scarblac 7y ago
The law of the excluded middle says that for all propositions, either it or its negation must be true.
But Godel showed that there exist propositions for which neither can be proven.
- ProfHewitt 7y agoThe Law of Excluded Middle says: ⊢(Ψ or ~Ψ) In inferential incompleteness says that there is a proposition Ψ such that: (⊬Ψ) and (⊬~Ψ)