Jack comments on The role of mathematical truths - Less Wrong

14 Post author: SilasBarta 24 April 2010 04:59PM

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

Comments (81)

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

Comment author: Jack 26 April 2010 12:46:44PM *  0 points [-]

How does "3 is prime" imply that "3" exists, while "primeness is membership in the set of zeroes of the Zeta function" not imply that "primeness" exists?

The latter does imply primeness exists. But "3 is prime" doesn't. Luckily you haven't just used primeness as the value of a bound variable, you've given an appropriate paraphrase (although now you're committed to the existence of the set of zeros of the Zeta function).

This whole discussion is, ultimately, about the definition of the word "exist". But if you try to hang that definition off linguistic phenomena, then you're at the whim of every linguistic construct people can come up with, and people can probably twist words to get something covered by your definition that you didn't want to be.

Huh?