Julian Boolean (~25/100 threads)
1 month
I used to blame all this on the weirdness of the axiom of choice, but after some chats at espr I’m coming around to “the weirdness is in the reals/the continuum”: our definitions of cardinality and measure clash, eg there are “as many” reals in [0,1] as in [0,2]