Rolf_Nelson2 comments on Trust in Math - Less Wrong

14 Post author: Eliezer_Yudkowsky 15 January 2008 04:25AM

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

Comments (50)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Rolf_Nelson2 15 January 2008 02:03:47PM 0 points [-]

Another solid article.

One point of confusion for me: You talk about axiomatic *faith* in *logic* (which is necessary in some form to bootstrap your introspective thinking process), but then abruptly switch to talking about "the last ten million times that first-order arithmetic has proven consistent", a statement of *observed prior evidence* about *learned arithmetic*. Both points are valid, but it seemed a non sequiter to me to abruptly go from one to the other.

Oh well, off to cast half a vote in the Michigan Primary.