Sniffnoy comments on Harry Potter and the Methods of Rationality discussion thread, part 8 - Less Wrong

8 Post author: Unnamed 25 August 2011 02:17AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (653)

You are viewing a single comment's thread. Show more comments above.

Comment author: TobyBartels 11 September 2011 09:26:26PM 3 points [-]

I have no doubt that if an international body […] were to take a vote and choose a set of "official rules of mathematics" […], they would pick ZFC (or something equivalent).

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.)