Qiaochu_Yuan comments on Math is Subjunctively Objective - Less Wrong

14 Post author: Eliezer_Yudkowsky 25 July 2008 11:06AM

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

Comments (116)

Sort By: Old

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

Comment author: Qiaochu_Yuan 01 January 2013 05:01:47AM *  1 point [-]

Ah. I wouldn't call that claim the Pythagorean theorem. To me, the Pythagorean theorem is a mathematical statement about mathematical objects called Euclidean triangles (or if we want to get really fancy, it's a statement about vectors in inner product spaces), and there is a separate claim, which is not mathematical, which asserts that a certain model which includes things like Euclidean triangles describes some part of the real world in some way.

In other words, I think it's sensible to enforce a strong separation between talking about the mathematical details of a mathematical model and the relation of that mathematical model to reality. To me this dissolves what I think your original question is (although I am not sure I have correctly understood what your original question is).

Maybe your question is secretly a question about the unreasonable effectiveness of mathematics in the natural sciences?