TobyBartels comments on Harry Potter and the Methods of Rationality discussion thread, part 8 - Less Wrong

8 Post author: Unnamed 25 August 2011 02:17AM

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

Comments (653)

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

Comment author: TobyBartels 09 September 2011 01:52:32PM 0 points [-]

What I've called "existing numbers," Nelson calls "counting numbers."

Another term to search for is "feasible numbers". There are several theories of these, and Nelson's theory of countable (addable, multipliable, etc) numbers is yet another.