Sniffnoy 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.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (653)
More than that, I daresay that they'd pick something much stronger than ZFC, probably ZFC with a large cardinal axiom. (And the main debate would be how large that cardinal should be.)