cousin_it comments on What's a "natural number"? - Less Wrong

8 Post author: cousin_it 07 October 2010 01:34PM

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

Article Navigation

Comments (17)

Comments (17)

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

Comment author: cousin_it 09 October 2010 05:31:36PM *  2 points [-]

asking whether a formal system "describes my regular integers" is a disguised query for whether it satisfies some set of properties that happen to be useful

What are these properties?

Powered by Reddit Powered by Reddit