Skip to main content
7 events
when toggle format what by license comment
Nov 20, 2023 at 14:28 comment added Andrej Bauer @AlecRhea: of course.
Nov 20, 2023 at 14:23 comment added Alec Rhea Yes, this is one example of what I thought you meant with that reference; I thought a link to explore might be of interest to future readers.
Nov 20, 2023 at 14:19 comment added Andrej Bauer I believe that would be the "We might change rules of logic, definitions, or axioms, everything is up in the air" part of my answer. Or are you talking about something else?
Nov 20, 2023 at 13:44 comment added Alec Rhea Since this is bumped to the top: I’m sure you’re aware of this Andrej, but for any other readers there are folks exploring changing the underlying logic to ‘get used to’ inconsistency in a certain sense.
Oct 1, 2012 at 5:35 vote accept CommunityBot moved from User.Id=10891 by developer User.Id=35352
Sep 26, 2012 at 15:01 history edited Andrej Bauer CC BY-SA 3.0
added 370 characters in body
Sep 26, 2012 at 14:50 history answered Andrej Bauer CC BY-SA 3.0