this post was submitted on 25 Mar 2025
28 points (96.7% liked)

Saturday Morning Breakfast Cereal

610 readers
128 users here now

Posts and discussion about the webcomic Saturday Morning Breakfast Cereal by Hugo Award-winning author Zach Weinersmith (and related works)

https://www.smbc-comics.com/

https://www.patreon.com/ZachWeinersmith

@ZachWeinersmith@mastodon.social

New comics posted whenever they get posted on the site, and old comics posted every day until we catch up in a decade or so

founded 5 months ago
MODERATORS
 

http://www.smbc-comics.com/comic/branch

Alt textOf course the deep concern is that there's a way to elegantly prove the existence of an ugliest possible proof.

Bonus panelBonus panel

top 5 comments
sorted by: hot top controversial new old
[–] Sasha@lemmy.blahaj.zone 4 points 2 weeks ago

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.

[–] scaramobo@lemmynsfw.com 2 points 2 weeks ago* (last edited 2 weeks ago) (1 children)

Can someone explain this to me like i'm ~~5~~ 16? This went waaay over my head.

[–] m_f@discuss.online 3 points 1 week ago (1 children)

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:

[–] scaramobo@lemmynsfw.com 2 points 1 week ago (1 children)

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?

[–] m_f@discuss.online 2 points 1 week ago

Yep, exactly!