On: The beauty of functional languages in deep learnin...

[jjuel]

Beauty: "a combination of qualities, such as shape, color, or form, that pleases the aesthetic senses, especially the sight."

So I cannot like the shape or form when I look at a proof or function? I cannot have my aesthetic senses pleased by looking at STEM field things?

[mlevental → jjuel]

i'm sorry but what is the shape or form of a proof? a function maybe - and calligraphy is certainly an art but what's wholly different from what the function encodes.

[tempWinHater → mlevental]

Proofs have structure, i.e., shape or form.

[mlevental → tempWinHater]

they have a logical structure (claim, lemma, lemma, proof, etc.). they do not have a shape in the sense that the person i responded to intends.