Intuitionists don't think the law of excluded middle is true. But do they at least think it's *not false*?pic.twitter.com/evsaAD16Cl
Show this thread
-
Intuitionistic logic is the logic where propositions are open subsets of a topological space. "And" is union, "or" is intersection, but "not" is the *interior* of the complement.
Show this thread
is this similar to "Fuzzy" logic where the truth value ranges from [0,1] ?
-
-
It's similar in a very fuzzy way. It's not *dissimilar*. But seriously, it's a whole different thing.
- 7 more replies
New conversation -
-
-
kinda related! a result from gödel shows that intuitionistic logic can’t be a finite-valued logic
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
- 1 more reply
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.