691 подписчик
Наверняка, слушая наш выпуск подкаста Как математика основания потеряла, многие из вас вспомнили свои уроки математики в школе: сложные задачи, мудреные графики, длинные формулы…Задумывались ли вы, всегда ли была математика такой, какой вы ее знаете - строгой и формальной?
В древней науке математические объекты были очень похожи на объекты физического мира. Например, достаточно вспомнить наглядную, простую интуитивную геометрию Евклида.
Одним из первых необходимость в формализации геометрии увидел немецкий математик конца 19-го - начала 20-го века Давид Гилберт: он осознал, что в математике стало появляться множество объектов, которые не поддаются интуиции, либо ведут себя противоречиво. Математика становилась сложнее, а значит, увеличивался и риск совершить ошибки. Так Гилберт понял, что лучший способ трансформировать математику – это избавить ее от интуиции, сделать так, чтобы все рассуждения и законы были четко сформулированы и формально зафиксированы.
Так в начале 20-го века Давид Гилберт взялся за разработку концепции формальной математики вместе со своими ассистентами и учениками.
Кстати, интересный факт: пытаясь выстроить строгие формализации для основных математических теорий, он параллельно с интересом изучал лекции по наглядной геометрии, лишенной формализмов.
1 минута
27 апреля 2022