'(·)@allgebrahso if the matrix is the effective topos (turing machines), what would universes running in the other topoi look like4:30 PM · Dec 30, 2016·Twitter Web Client1 Retweet5 Likes
'(·)@allgebrah·Dec 30, 2016Replying to @allgebrah&: what if comparing with zero were hard %: haha yeah hilarious, let's run this as a universe211
