Аннотация:
В докладе на примере геометрий Евклида и Лобачевского будет обсуждаться вопрос о том, что такое математическая истина и что означает «непротиворечивость геометрии».
Будет рассказано об эволюции геометрических идей от Фалеса и Евклида до Пуанкаре и Гильберта, а также о специльной теории относительности Эйнштейна и об учебнике А. Н. Колмогорова по геометрии.