Empirical tests of statements of second-order arithmetic, making use of the fact that there are explicit bijections between the continuum and the powerset of the integers, and we live in a universe with continua.
7:55 PM - 19 Apr 2018
0 replies
0 retweets
5 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.