3 ms·
What, we're all just assuming the law of the excluded middle now?
by tehnub 2y ago
What, we're all just assuming the law of the excluded middle now?
- lanstin 2y agoI don’t really believe this stuff, but it is interesting project: https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics) https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...