It's a pet peeve of mine in general when mathematicians use imperative proofs with impossible steps, for similar reasons. The world is indeed an "interesting"

It's a pet peeve of mine in general when mathematicians use imperative proofs with impossible steps, for similar reasons. The world is indeed an "interesting" place when computation takes zero time, memory and storage are infinite, and you're allowed to give the reader step-by-step instructions that cannot be completed in any known universe. But yeah, if you're willing to accept all that, CHECK OUT WHAT I'VE PROVED!!1!!! (And hand me that Nobel—I've earned it.)