1.2. Что такое математика? Математическая логика и теория алгоритмов.

Математик так же, как художник или поэт, создаёт узоры. И если его узоры более устойчивы, то лишь потому, что они составлены из идей. . . Узоры математика так же, как узоры художника или поэта, должны быть прекрасны; идеи так же, как цвета или слова, должны гармонически соответствовать друг другу. Красота есть первое требование: в мире нет места для некрасивой математики.*Годфри Харди* Весь материал взят: