cousin_it comments on The Pascal's Wager Fallacy Fallacy - 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 (121)
Yeah, second-order logic is basically set theory in disguise. I'm not sure why Eliezer likes it. Example from the Wikipedia page: