Timeline for Au revoir, law of excluded middle?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 24, 2018 at 17:00 | comment | added | Todd Trimble | In case it needs to be said for anyone: the argument underlying "Russell's paradox" is intuitionistically valid. This is fairly well-known and is of course related to Cantor's theorem, also intuitionistically valid, that a set cannot surject onto its power set. See for example page 8 of pdfs.semanticscholar.org/44d1/… | |
| May 24, 2018 at 15:11 | history | answered | Frank Quinn | CC BY-SA 4.0 |