Luke_A_Somers comments on Intuitions Aren't Shared That Way - Less Wrong

31 Post author: lukeprog 29 November 2012 06:19AM

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

Comments (237)

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

Comment author: Luke_A_Somers 06 December 2012 09:53:55PM 0 points [-]

I don't have to implement it at all to see its truth. Maths is not just applied maths.

At the very least, you can make something formally equivalent if you're capable of talking about it.

If your branch of mathematics is so unapplied that you can't even represent it in our universe, I suspect it's no longer math.

Comment author: Peterdjones 07 December 2012 11:21:19AM -2 points [-]

If your branch of mathematics is so unapplied that you can't even represent it in our universe, I suspect it's no longer math.

Any maths can be represented the way it ususally is, by writing down some essentially aribtrary symbols. That does not indicate anything about "correspondence" to reality. The problem is the "arbitrary" in arbitrary symbol.

Lets say space is three dimensional. You can write down a formula for 17 dimensional space, but that doens't mean you have a chunk of 17 dimesional space for the maths to correspond to. You just have chalk on a blackboard.

Comment author: Luke_A_Somers 07 December 2012 03:47:23PM 1 point [-]

Sure. And yet, you can implement vectors in 17 dimensional spaces by writing down 17-dimensional vectors in row notation. Math predicts the outcome of operations on these entities.