Лекция Фейнмана: "Связь физики и математики"

Фейнман говорит о фундаментальном различии между ними: оно то же, что между "греческой математикой" (фиксируешь аксиомы и поехал выводить теоремы; информации больше, чем в аксиомах, ты не получишь) и "вавилонской математикой" ("я не помню, кто у меня аксиомы, из того, что я знаю, что верно, выведу то, что мне нужно" — это получается такая "теория относительности" только в метаматематике). Получается физика почти полностью состоит из индукции, математика же — из дедукции. Физика пытается перенести старое знание в новый контекст и попробовать: вдруг взлетит? — ведь природа так похожа на саму себя. Математика же (не как наука, а как вид мышления) имеет только то, что имеет изначально.

Тут можно сказать какие-то слова про теорему Гёделя о полноте исчисления предикатов и ультрафильтры, но я не буду =

Комментарии: