Another month, another rationality quotes thread. The rules are:
- Please post all quotes separately, so that they can be upvoted or downvoted separately. (If they are strongly related, reply to your own comments. If strongly ordered, then go ahead and post them together.)
- Do not quote yourself.
- Do not quote from Less Wrong itself, HPMoR, Eliezer Yudkowsky, or Robin Hanson. If you'd like to revive an old quote from one of those sources, please do so here.
- No more than 5 quotes per person per monthly thread, please.
- Provide sufficient information (URL, title, date, page number, etc.) to enable a reader to find the place where you read the quote, or its original source if available. Do not quote with only a name.
Mark Twain
Actually I found this in The topology of Seemingly impossible functional programs which is using topological methods to 'check' infinitely many cases in finite time. Which might even be applicable to FAI research.
(This is basically just restating what Ilya stated but with more details filled in.)
I'd like to see if I can make the seemingly impossible at least plausibly possible. Let's consider a specific startling-looking case, the theorem on slide 17. It's about functions from infinite bit-strings to nonnegative integers, and it says: