> Not all math is beautiful IMHO. Surely no-one claims that it is? Speaking of 'beautiful code' does not invite the rebuttal that there is also ugly code, jus

> Not all math is beautiful IMHO. Surely no-one claims that it is? Speaking of 'beautiful code' does not invite the rebuttal that there is also ugly code, just encourages the appreciation that ugly code isn't all there is, and that formal systems can be æsthetically pleasing.