Неискусственный интеллект

Наверняка, слушая наш выпуск подкаста Как математика основания потеряла, многие из вас вспомнили свои уроки математики в школе: сложные задачи, мудреные графики, длинные формулы…Задумывались ли вы, всегда ли была математика такой, какой вы ее знаете - строгой и формальной?

В древней науке математические объекты были очень похожи на объекты физического мира. Например, достаточно вспомнить наглядную, простую интуитивную геометрию Евклида.

Одним из первых необходимость в формализации геометрии увидел немецкий математик конца 19-го - начала 20-го века Давид Гилберт: он осознал, что в математике стало появляться множество объектов, которые не поддаются интуиции, либо ведут себя противоречиво. Математика становилась сложнее, а значит, увеличивался и риск совершить ошибки. Так Гилберт понял, что лучший способ трансформировать математику – это избавить ее от интуиции, сделать так, чтобы все рассуждения и законы были четко сформулированы и формально зафиксированы.

Так в начале 20-го века Давид Гилберт взялся за разработку концепции формальной математики вместе со своими ассистентами и учениками.

Кстати, интересный факт: пытаясь выстроить строгие формализации для основных математических теорий, он параллельно с интересом изучал лекции по наглядной геометрии, лишенной формализмов.

#подкаст_лучшее

43 выпуск 1 сезона

Математика без оснований, но с философией — Подкаст «Неискусственный интеллект»

Математика парадоксальна. Она помогает исследовать реальность, но ее объектов в реальности нет. Она является самой достоверной наукой, но не может доказать собственную достоверность. Выпуск о философских проблемах царицы наук.Гость — философ Владисла

🔥12👍2

www.tgoop.com/unartificialintelligence/220

1.98K viewsApr 25, 2022 at 14:37

Наверняка, слушая наш выпуск подкаста Как математика основания потеряла, многие из вас вспомнили свои уроки математики в школе: сложные задачи, мудреные графики, длинные формулы…Задумывались ли вы, всегда ли была математика такой, какой вы ее знаете - строгой и формальной?

В древней науке математические объекты были очень похожи на объекты физического мира. Например, достаточно вспомнить наглядную, простую интуитивную геометрию Евклида.

Одним из первых необходимость в формализации геометрии увидел немецкий математик конца 19-го - начала 20-го века Давид Гилберт: он осознал, что в математике стало появляться множество объектов, которые не поддаются интуиции, либо ведут себя противоречиво. Математика становилась сложнее, а значит, увеличивался и риск совершить ошибки. Так Гилберт понял, что лучший способ трансформировать математику – это избавить ее от интуиции, сделать так, чтобы все рассуждения и законы были четко сформулированы и формально зафиксированы.

Так в начале 20-го века Давид Гилберт взялся за разработку концепции формальной математики вместе со своими ассистентами и учениками.

Кстати, интересный факт: пытаясь выстроить строгие формализации для основных математических теорий, он параллельно с интересом изучал лекции по наглядной геометрии, лишенной формализмов.

#подкаст_лучшее

BY Неискусственный интеллект