Tim, you’re right, but I believe Rosser’s trick works here, just as it works to strengthen Gödel’s first incompleteness theorem (“if PA is ω-consistent, it is incomplete”) to the Gödel-Rosser theorem (“if PA is consistent, it is incomplete”).

]]>I’m not sure I can quickly answer, since I wrote this article almost 8 years ago.

]]>Yes, I’ve read that. Nice! Also see:

• John Baez, Enormous integers, 24 April 2012.

]]>https://www.scottaaronson.com/blog/?p=3445 ]]>

And here’s another:

Thank god nobody could solve the quintic!

]]>Okay, both Jesse and Greg Egan kindly provided pictures of the quartic’s roots, adapted from PlanetMath. Here’s one version:

]]>Darn, I can’t figure out any way to create a jpg of either your image or the still more impressively huge PlanetMath version, which includes all four roots. They’re too *wide!*

Can someone do it?

]]>