Глава 2. Логика формы

Первые шаги в геометрии

В математике существует два основных типа рассуждений: символьный и наглядный. Символьная выкладка ведет историю от числовой записи, и мы вкратце ознакомились с тем, как это привело к изобретению алгебры, где символы могут обозначать скорее обобщенные числа («неизвестные»), чем какие-то конкретные («7»). Начиная со Средних веков и до наших дней математика всё больше опирается на символы: если хотите убедиться, достаточно взглянуть на любой современный математический текст.