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
http://www.smbc-comics.com/comic/branch
Of course the deep concern is that there’s a way to elegantly prove the existence of an ugliest possible proof.
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!