paper-machine comments on St. Petersburg Mugging Implies You Have Bounded Utility - Less Wrong

10 Post author: TimFreeman 07 June 2011 03:06PM

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

Comments (163)

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

Comment author: [deleted] 19 June 2011 10:32:06PM 1 point [-]

Being a mathematician who at least considers himself mainstream, I would think that ZFC and the existence of a large cardinal is probably the minimum one would need to express a reasonable fragment of mathematics.

If you can't talk about the set of all subsets of the set of all subsets of the real numbers, I think analysis would become a bit... bondage and discipline.

Comment author: RichardKennaway 20 June 2011 08:13:24AM 0 points [-]

If you can't talk about the set of all subsets of the set of all subsets of the real numbers

Surely the power set axiom gets you that?

Comment author: [deleted] 20 June 2011 11:01:31AM 0 points [-]

That it exists, yes. But what good is that without choice?

Comment author: RichardKennaway 20 June 2011 11:28:32AM *  0 points [-]

Ok, ZFC is a more convenient background theory than ZF (although I'm not sure where it becomes awkward to do without choice). That's still short of needing large cardinal axioms.