http://www.smbc-comics.com/comic/branch
Alt text
Of course the deep concern is that there’s a way to elegantly prove the existence of an ugliest possible proof.
Bonus panel
Oh huh, that’s still kinda neat imo.
Bremermann’s limit is actually really cool, it’s a theoretical maximum computation rate per kilogram. Basically the upper limit for a computer you could build that weighs 1 kg.
If the entire galaxy where a computer running at that speed, it would take beyond the heat death of the universe to crack 512 bit encryption by brute forcing the key.
Can someone explain this to me like i’m
516? This went waaay over my head.Mathematicians generally look for “elegance”, i.e. simple rules that have a lot of explanatory power. If you can simplify a bunch of disparate things into one simple theory, that’s a good thing. See Maxwell’s equations as an example in physics:
The publication of the equations marked the unification of a theory for previously separately described phenomena: magnetism, electricity, light, and associated radiation.
The comic jokes about seeking the opposite, intentionally searching for rules that provide no explanatory power and would literally destroy the universe to compute. Pure mathematicians don’t like it because it lacks elegance, and applied mathematicians don’t like it because it’s impossible to actually use.
ELI5 version is that it’s the mathematical version of one of those useless boxes, intentionally made to be useless:
Alright, that makes sense! Thank you for the explanation!
So the third branch mentioned in the comic would be the unpure, inapplicable variant, whereas the first would be theoretical/pure mathematics and the second branch would be applied math?
Yep, exactly!
