= 27d567bc2d48d9f40e9ccc20ea370b15)
TobyBartels comments on Harry Potter and the Methods of Rationality discussion thread, part 8 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (653)
I don't know what it means to care about the existence of the smallest uncountable ordinal (as opposed to caring that this existence can be proved in ZF, or cannot be refuted in second-order arithmetic, or something like that). Can we taboo "smallest uncountable ordinal" here?