Correctness is possible to verify (not always easy, ofc). You simply throw out the incorrect programs and that's it. Then, what's left is a bunch of correct pr

Correctness is possible to verify (not always easy, ofc). You simply throw out the incorrect programs and that's it. Then, what's left is a bunch of correct programs, stating the same, in very many very different ways. Now you need to choose one of them. They're all "correct" - they produce required results when given particular input - but they obviously are not 100% equivalent. What do you use, then, to choose one implementation out of all the others? I think to call that quality "beauty" is fine. And that striving for it in your own programs is also right. Requiring it from others is a tricky subject, but as long as you don't go there, there's nothing wrong with talking about the beauty of code, programs, solutions, and so on.