CronoDAS comments on How to Convince Me That 2 + 2 = 3 - Less Wrong

52 Post author: Eliezer_Yudkowsky 27 September 2007 11:00PM

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

Comments (381)

Sort By: Old

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

Comment author: CronoDAS 14 September 2011 07:55:29AM 0 points [-]

Hmmm...

::goes and learns some more math from Wikipedia::

Okay... I now know what an ordinal number actually is. And I'm trying to make more sense out of your comment...

So, re-reading this:

or even be uniquely specified by second-order axioms that pin down a single model up to isomorphism the way that second-order axioms can pin down integerness and realness, is something we have rather less evidence for

So if I understand you correctly, you don't trust anything that can't be defined up to isomorphism in second-order logic, and "the set of all countable ordinals" is one of those things?

(I never learned second order logic in college...)