Re:Struggles with the Continuum
by 4death4 on Monday November 27, 2023 @10:56PM
(#38442152)
Our entire logical system is premised on essentially three things: law of identity, law of non-contradiction, and the law of excluded middle.
One interesting fact is that there is a school of mathematics called constructive mathematics. This branch of mathematics proves things without using the law of excluded middle.
One interesting fact is that there is a school of mathematics called constructive mathematics. This branch of mathematics proves things without using the law of excluded middle.