Nick_Tarleton 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.

Comment author: Nick_Tarleton 11 April 2010 09:15:37PM 3 points [-]

See also: "Division by Zero" by Ted Chiang

Comment author: Jonii 12 April 2010 02:28:48PM 0 points [-]

This story was a bit weird, main characters seemed to take it a bit too strongly that arithmetic failed.

I mean, there is some sense in which 1 does not equal 2. 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.

It would of course be a bit embarrassing, when much of the work had to be revisited and all that sort of stuff. But the characters seemed to be plain overreacting.

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.)

Comment author: wnoise 12 April 2010 03:11:16PM *  1 point [-]

This story was a bit weird, main characters seemed to take it a bit too strongly that arithmetic failed

ROT13: Uhu? Bar znva punenpgre gbbx vg uneq. Rirelobql ryfr jrag "uhu, gung'f jrveq", naq pbagvahrq ba. Guvf znva punenpgre jnf n zngurzngvpvna jub unq onfrq ure frafr bs gehgu naq pbeerpgarff naq zrnavat ba zngu -- zngu juvpu unq qvfcebirq vgfrys.