aletheilia comments on Meanings of Mathematical Truths - Less Wrong

9 Post author: prase 05 June 2011 10:59PM

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

Comments (47)

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

Comment author: aletheilia 06 June 2011 10:58:38PM 0 points [-]

This kind of thinking (that I actually quite like) presupposes the existence of abstract mathematical facts, but I'm at loss figuring out in what part of the territory are they stored, and if this is a wrong question to ask, what precisely does it make it so.

Does postulating their existence buy us anything else than TDT's nice decision procedure?

Comment author: Vladimir_Nesov 07 June 2011 05:12:55PM 1 point [-]

This kind of thinking (that I actually quite like) presupposes the existence of abstract mathematical facts

I can infer stuff about mathematical facts, and some of the facts are morally relevant. Whether they "exist" is of unclear relevance.