Формальный язык. Геометрия Лобачевского // Константин Козеренко

Открытый урок посвящен истории становления формального языка, который стал характерным признаком математики нового времени. Рассмотрены некоторые примеры формальных систем, обсуждается сущность аксиоматического метода. Козеренко Константин Владимирович — кандидат физико-математических наук, учитель математики физико-математического лицея “Вторая школа“