'(·)@allgebrah·Dec 30, 2016so if the matrix is the effective topos (turing machines), what would universes running in the other topoi look like115
'(·)@allgebrahReplying to @allgebrah&: what if comparing with zero were hard %: haha yeah hilarious, let's run this as a universe4:37 PM · Dec 30, 2016·Twitter Web Client1 Retweet1 Quote Tweet11 Likes