Издавна мудрые искали

[egovoru]

Наверное, не приходится удивляться, что Дуглас Хофштадтер, будучи математиком по образованию, уже вторую свою книжку посвящает теореме Геделя.

Хофштадтер пишет, что со времен Эвклида авторитет математики основывался на вере в то, что можно создать такую систему аксиом и правил дедукции, что:

1) Каждое доказанное с ее помощью (т.е., выведенное из ее аксиом посредством ее правил дедукции) утверждение будет верным;
2) Каждое верное утверждение может быть доказано с ее помощью.

Достижение Геделя состоит в том, что он показал, что второе условие не может быть выполнено для всех дедуктивных систем, включающих арифметику. Но меня заинтересовали сами эти условия. Ведь они ясно показывают, что мы рассчитываем на некий независимый критерий верности утверждений, помимо их сводимости к аксиомам и подчинения правилам логики. Но что это за критерий, как не здравый смысл – иными словами, обобщение нашего практического опыта? Не говоря уже о том, что ведь и сам выбор аксиом, а также формулировка правил дедукции основаны все на том же опыте. Так что, шаткость – или, лучше сказать, способность к эволюции? – математической конструкции была очевидна и до Геделя.

Галилей, с его законами природы, написанными на языке математики, был все-таки неправ. Математика – не язык природы, а наш язык, при помощи которого мы пытаемся описывать природу.

Но отзвуки этого галиеевского (пифагорейского?) представления о математике ощущаются и сейчас – например, когда теорему Геделя приводят как аргумент в пользу непознаваемости мира, хотя к миру она не имеет никакого отношения.

«Аллегория математики».
Керамическое панно в саду дворца Монте на Мадейре
(фото с сайта Zeugnisse zu Mathematikern)

Comments

[a-gorb.livejournal.com]

”Правда, представить себе неплоское трехмерное пространство (а именно о таком идет речь у Эйнштейна, насколько я понимаю), не так-то просто.”
Небольшое уточнение. У Эйнштейна 4х-мерное пространство-время. Вот 4х-мерность представить тяжело. А кривое 3х-мерное – не сложнее, чем прямое. Вот как вы себе представляете прямое трехмерное пространство?:)

[egovoru.livejournal.com]

Представить себе многомерное пространство мне удается при помощи многоосной системы координат: если числа можно откладывать по одной, двум или трем осям, то почему же нельзя по четырем и т.д.?

Но такая аналогия мало помогает при попытках определить степень кривизны этих пространств. Возможно, ее тоже следует искать не в зрительных образах, а в численных отношениях?

[a-gorb.livejournal.com]

”Возможно, ее тоже следует искать не в зрительных образах, а в численных отношениях?”
Ага. Ведь образно представить 4 перпендикулярные прямые тоже не просто (я вот не могу). Так и здесь. Кривизна означает некие численные соотношения. Например, длина окружности оказывается не равной числу Пи умноженному на величину диаметра. Или (как у Эйнштейна) часы (отмеряющие одну из координат) в разных точках (по другим трем пространственным координатам) «тикают» в разном темпе.

[egovoru.livejournal.com]

Да, и это лишний раз доказывает мощь математики как средства познания ;)