Well, I trust well-written computer programs as much or more as I trust my own pen-and-paper stuff, but otherwise that's pretty accurate. I'm uncomfortable with claims about the existence of 3^^^3, for instance.
"Uncomfortable" isn't just empty skepticism, it's shorthand for something precise: I think that by reasoning about very large numbers (say, large enough that it's physically impossible to so reason without appealing to induction) it might be possible to give a valid proof of a false statement.
What about something like 10^100, i.e., something you could easily wright out in decimal but couldn't count to?
Update: Discussion has moved on to a new thread.
The hiatus is over with today's publication of chapter 73, and the previous thread is approaching the 500-comment threshold, so let's start a new Harry Potter and the Methods of Rationality discussion thread. This is the place to discuss Eliezer Yudkowsky's Harry Potter fanfic and anything related to it.
The first 5 discussion threads are on the main page under the harry_potter tag. Threads 6 and on (including this one) are in the discussion section using its separate tag system. Also: one, two, three, four, five, six, seven. The fanfiction.net author page is the central location for information about updates and links to HPMOR-related goodies, and AdeleneDawner has kept an archive of Author's Notes.
As a reminder, it's often useful to start your comment by indicating which chapter you are commenting on.
Spoiler Warning: this thread is full of spoilers. With few exceptions, spoilers for MOR and canon are fair game to post, without warning or rot13. More specifically: