markgall
Joined 11 years ago
Joined 11 years ago
Of course there is a whole constellation of more specialized things in certain fields, that has come a long way in the last 15 years. So people needing things like that no longer kludge things together in Mathematica.
Universities love this and encourage it. Any big place will have an office of "technology transfer" or similar to help researchers make this happen.
f(a,b,c,d,e) = the largest real solution x of the quintic equation x^5 + ax^4 + bx^3 + cx^2 + dx + e = 0
There's not a simple formula for this function (which is the basic point), but certainly it is a function: you feed it five real numbers as input, and it spits out one number as output. The proof that you can't generate this function using the single one given looks like some fairly routine Galois theory.
Whether this function is "considered elementary" depends on who you ask. Most people would not say this is elementary, but the author would like to redefine the term to include it, which would make the theorem not true anymore.
Why any of this would shake the foundations of computer engineering I do not know.
I am a professional mathematician, though nowhere near this kind of thing. The result seems amusing enough, but it doesn't really strike me as something that would be surprising. I confess that this thread is the first I've heard of it...
> Exponential growth reaches infinity at t=∞. Technically a singularity, but an infinitely patient one. Moore's Law was exponential. We are no longer on Moore's Law.
Huh? I don't get it. e^t would also still be finite at heat death.
It's one of those old programs where 95% of the moves are pretty strong. But if you just do nothing and sit back it will occasionally make a random blunder and then you grind it out. I figured it's how they were able to weaken a chess engine back in the day; can't adjust the overall strength, so add random blunders.
I'm only about 2000 on lichess but I beat it pretty much every time, especially once I realized there is no reason to try anything sharp.