Великий русский математик Николай Иванович Лобачевский родился 1 декабря 1792 года в Нижнем Новгороде. В 1802 году поступил в гимназию, а через пять лет — в университет. Завершив обучение, получил степень магистра по физике и математике с отличием. Стал адъюнктом и приступил к чтению лекций по теории чисел. После 1819 года начал также преподавать физику и астрономию. Под руководством Лобачевского была приведена в порядок библиотека университета, созданы первые каталоги. С 1827 по 1846 год Лобачевский был ректором Казанского университета. Здесь при нем появились астрономическая обсерватория, физический кабинет и химическая лаборатория. А также анатомический театр и даже клиника. Однако, несмотря на высокую занятость, Лобачевский успевал активно заниматься научной работой.
По словам директора Института информационных технологий, математики и механики ННГУ имени Н. И. Лобачевского, директора Исследовательского центра в сфере искусственного интеллекта, доктора физико-математических наук Николая Золотых, основное достижение Николая Лобачевского — открытие неевклидовой геометрии. Пятый постулат Евклида гласит: через заданную точку, не лежащую на заданной прямой, проходит единственная прямая, параллельная заданной. Данное утверждение выглядит громоздким по сравнению с другими постулатами евклидовой геометрии, которую изучают в школе.
— Многие века математиков мучил вопрос, является ли оно независимым, то есть нельзя ли его вывести из других постулатов, — говорит Золотых.
Лобачевский приступил к решению этой задачи, в качестве отправного рассмотрев другое утверждение: через заданную точку, не лежащую на заданной прямой, проходят по крайней мере две прямые, параллельные заданной. На основе этого утверждения он построил новую геометрию. Таким образом, ученый доказал независимость пятого постулата Евклида.
Геометрия Лобачевского сейчас используется в теории относительности, в космологии, в криптографии. Применяется она даже в алгоритмах искусственного интеллекта.
Появление неевклидовой геометрии повлияло на развитие общей теории относительности Альберта Эйнштейна, говорит старший инженер-программист Александр Айсин. Она изменила понимание роли аксиом в математике.
— Он показал, что аксиомы не могут быть абсолютными истинами, но предположениями, которые могут быть изменены, — отмечает Айсин.