You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Gunnar_Zarncke comments on Local truth - Less Wrong Discussion

13 Post author: NancyLebovitz 20 December 2013 05:04PM

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

Comments (76)

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

Comment author: Gunnar_Zarncke 22 December 2013 09:40:48PM 0 points [-]

I'm hoping for more specificity about where a generalization might break down.

My comment was more about horizontal exploration (before it most comments were physics-related) than about elaborating any details.

No one that I've asked seems to know much about how mathematicians choose axioms-- there's got to be some process of choosing axioms which are likely to generate interesting mathematics.

That is one aspect of my first item "Mathematics is explained by reduction of propositions to axioms". The axioms as "premise so evident as to be accepted as true without controversy" (Wikipedia) still possess or require some structure - albeit a non-mathematical implied and/or often 'soft' one. I once had a discussion with a mathematician about this and also a longer web dialog about how vague notions crystalize into concrete structures but couldn't convice anyone that this is a real problem instead of a wishy washy relativization of the truth of math.

I will address your other items with separate comments.