In classical logic, trichotomy on the reals (any given numbers is either >0, <0 or =0) is provably true; in intuitionistic logic it is probably false. Thanks to Godel's incompleteness theorem, we'll never know which is right!
this post was submitted on 26 Mar 2024
118 points (87.8% liked)
Asklemmy
43945 readers
846 users here now
A loosely moderated place to ask open-ended questions
Search asklemmy ๐
If your post meets the following criteria, it's welcome here!
- Open-ended question
- Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
- Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
- Not ad nauseam inducing: please make sure it is a question that would be new to most members
- An actual topic of discussion
Looking for support?
Looking for a community?
- Lemmyverse: community search
- sub.rehab: maps old subreddits to fediverse options, marks official as such
- !lemmy411@lemmy.ca: a community for finding communities
~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~
founded 5 years ago
MODERATORS
If someone believes that God can do anything, ask them if he can create a rock he can't pick up
How can you kill a god? What a grand and intoxicating innocence! How could you be so naive? There is no escape. No Recall or Intervention can work in this place. Come. Lay down your weapons. It is not too late for my mercy!