arundelo comments on The Last Number - Less Wrong

4 Post author: Stuart_Armstrong 10 April 2010 12:09PM

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

Comments (57)

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

Comment author: arundelo 12 April 2010 07:42:59PM 3 points [-]

Even if arithmetic fails to define a framework where they're separate, that would simply mean that we need to redefine stuff, figure out a better way to describe our intuitive way of understanding how they're different, and thus changing the framework towards that intuitive understanding.

Man that would be hard, though!

I imagine that if this happened, math would become, at least for a while, an empirical science. People would study the derivations that led to contradictions. Proscriptions of such derivations would be taken as provisional, "this-is-how-our-universe-seems-to-work" axioms.

(Of course I don't actually expect arithmetic to ever be shown to be inconsistent.)