Manfred comments on How to write a mathematical formula on the fear of death? - 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 (18)
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.