nostr:npub17z3zrlvtcp3fyc94vdqdk7y8ccjc7yay998z7wsvl9f0t7yqmjes3uhe6e nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 doesn't that defy basic intuition tho
nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 watching a video where a guy claims to be able to construct the reals in such a way that they're countable
Discussion
nostr:npub1u83gudwdfwjngz5eqxkrnpvsuydvqwjxwz0majvehqrh62804hfq8yr2s5 nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 one would think. He did it specifically for the Dedekind reals and did some magic where he gets a set of numbers representing Turing machines which compute the same number, and it's in some non-trivial topos