Gust comments on Causal Reference - Less Wrong

30 Post author: Eliezer_Yudkowsky 20 October 2012 10:12PM

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

Comments (242)

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

Comment author: Gust 26 December 2012 03:17:23AM 0 points [-]

I think you've taken EY's question too literally. The real question is about the status of statements and facts of formal systems ("systems of rules for symbol manipulation") in general, not arithmetic, specifically. If you define "mathematics" to include all formal systems, then you can say EY's meditation is about mathematics.