dlthomas comments on Beautiful Math - Less Wrong

24 Post author: Eliezer_Yudkowsky 10 January 2008 10:43PM

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

Comments (35)

Sort By: Old

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

Comment author: dlthomas 21 December 2011 09:48:45PM 0 points [-]

Your procedure (though not necessarily your result) breaks for e^x

Comment author: thomblake 21 December 2011 09:54:30PM 1 point [-]

Really for non-polynomials, and I think that was implied by the phrasing.

Comment author: dlthomas 21 December 2011 10:03:09PM 0 points [-]

I agree that it's implied by working out the logic and finding that it doesn't apply elsewhere. I disagree that it is implied by the phrasing.

Given any sequence of numbers

doesn't seem to restrict it, and though I suppose

the number of iterations needed is the maximum exponent in the formula that produced the numbers

implies that there is a "maximum exponent in the formula" and with slightly more reasoning (a number of iterations isn't going to be fractional) that it must be a formula with a whole number maximum exponent, I don't see anything that precludes, for instance, x^2 + x^(1/2), which would also never go constant.

Comment author: thomblake 22 December 2011 03:17:02PM *  0 points [-]

Sorry, I was using the weak "implies", and probably too much charity.

And I usually only look at this sort of thing in the context of algorithm analysis, so I'm used to thinking that x squared is pretty much equal to 5 x squared plus 2 log x plus square root of x plus 37.