komponisto comments on Assuming Nails - Less Wrong

6 Post author: Psychohistorian 05 July 2010 10:26PM

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

Comments (29)

You are viewing a single comment's thread.

Comment author: komponisto 06 July 2010 05:43:51AM *  5 points [-]

once you say a "circle" is "a convex polygon with every point equidistant from a center,"

Yikes, bad definition. Better: "the set of all points a given distance from a center". (And, of course, such a set isn't going to be convex; you may be thinking of a disc .)

As for the relation of mathematics to "reality", the reason no "empirical confirmation" of mathematical truths is needed is because "mathematics" is defined that way: it's the subject in which you examine models internally, for their own sake. (Once upon a time, some people in ancient Greece decided it would be a good idea to have a subject like this; they seem to have been right.) If it turns out that mathematics always somehow manages to describe the world accurately....well, there's always going to be some model that works, isn't there? Mathematics is the study of models.

Comment author: SilasBarta 06 July 2010 03:56:20PM *  2 points [-]

Related article by me: The role of mathematical truths: Math is applicable to the world to the extent that you can be sure it behaves in a way isomorphic to a particular axiom set.