Martin Escardo @MartinEscardo@mathstodon.xyz
Public

Mathematical notions of existence.

1. Explicit existence: we have one, and here it is for you to see.

2. Truncated or anonymous existence: we have one, it doesn't matter what it is, and we won't tell you what it is, not because we are mean, but because we want to emphasize that we don't care which one is chosen.

3. Classical existence. It is impossible that it doesn't exist. We won't tell you what it is, not because we are mean, but because we have no clue.

1/

0
0
0

If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/MartinEscardo/statuses/115063264039556362 on your instance and quote it. (Note that quoting is not supported in Mastodon.)