Manfred comments on How to write a mathematical formula on the fear of death? - Less Wrong

1 Post author: TheatreAddict 20 November 2011 04:23AM

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

Comments (18)

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

Comment author: Manfred 20 November 2011 05:24:58AM 6 points [-]

So basically, two statements are being compared (and said to be equivalent) by the equals sign.

The first statement is "All x: Die(x)." For every x, x dies. Or, replacing the label 'x' by the label 'that person': Every person dies.

The second statement is "Not exist x: Not Die(x)." There does not exist a person who doesn't die.

This equation describes the fact that if nobody's immortal, everyone dies.