Newsgroups: relcom.sci.philosophy
Subject: Машина из нержавеющей стали
From: "Alexandr Semеnоv"
Date: Mon, 15 Apr 2002 23:59:24 +0300
--------
Здравствуйте Александр!
Имеет ли ваш новый псевдоним отношение к товарищу Че ?
К Чегеваре - теоретику партизанской войны и революционного террора, а
стараниями В. Пелевина еще и автору теории о Всемирном Торговом Ротожопе?
("Гегерацию П" чистали?)
:))
A .Ch. пишет в сообщении ...
> Вникать в ваши функции Дирихле нет охоты. А вот ты Александр знаешь ,
>что сказал Пуанкаре о мат.логике? Он сказал что она ему не нужна. И
>вправду что она есть? Запутанные и перпутанные тавтологии, или то, что
>Кант назвал аналитическими суждениями, они не дают новое, как
>неинформативно суждение А=А.
>А.Чиженков
:))
У Пуанкаре, видимо это было гвоздем в.. ботинке. Говоря о мат. логике он,
очевидно, имел в виду то, что он застал как "современную математику"
и ее крайне формализованные методы, которые ему жутко не понравилось.
Я думаю, что от перспективы использовать мат. логику (то есть формализм)
мало кто из математиков был в восторге. Древние греки выстраивали свои
абстрактные математические объекты тут же видя как тени этих идеальных
объектов воплощаются в свойства реальности (Платон, если помните, считал
все реальные объекты всего лишь тенями идеальных объектов).
Как сказал бы Хофштадтер, древние все время ОЩУЩАЛИ изоморфизм между
этими двумя мирами. Видя сходство математики с реальностью они понимали
реальность, а видя сходство реальности с математикой они понимали
математику.
Понимать по Хофштадтеру это ощущать изоморфизм двух формальных систем.
При этом одна является опорой для другой. И обе воспринимаются как
интуитивно понятные.
Такая идиллия продолжалась вплоть до конца XIX века. И если неевклидову
геометрию каким-то образом еще удалось визуализировать (все эти "прямые"
натянуть на "шары" и "седла"), то обнаружить тени от алефов Кантора уже было
невозможно.
Математика оторвалась от реальности.
С Канторовой теорией множеств математика поднялась на такие высоты
абстракции, что даже если эти абстракции и отбрасывают свою тень в
реальности, то человеческий разум не в силах оценить их форму,
а потому эти тени для его интуиции все равно бесполезны.
С этого момента (не зависимо от того, что там утверждал Пуанкаре) математики
просто не могли опираться на свой здравый смысл, на свое умение "видеть
истину интуитивно".
Они перестали понимать математику.
С этого момента им оставалось только двигаться "по приборам" хотят
они этого или нет. И таким приборам оказалась мат. логика. узаконенная
Гильбертом.
Что в результате получилось? Куда нас это все привело?
Давайте так. Допустим вы стоите зажмурив глаза в некоторой части этого пути.
Откройте глаза и осмотритесь. Кошмар! Парадоксы теории множеств, неполнота
арифметики... а тут еще и Чаитенская нередуцируемость. Голова кружиться и
становиться жутко. Полная катастрофа здравого смысла!
Но закройте глаза и отдышитесь.
Ведь на самом деле ничего страшного не произошло и не происходит. Мы
стоим достаточно уверенно и при этом все время чувствуем твердую
почву под ногами. Если не открывать глаза (не философствовать о том что
мы лишились в математике здравого смысла) то ничего страшного с
математикой и нами и не случилось.
Это наши мозги не в состоянии принять реальность этого фантастического мира
потому как он никак не отражается нанаш обыденный мир. Не зря математики
да и физики) весь XX век цитировали Льюиса Кэрролла.
У них постоянно кружилась голова от падения в эту нору!
Пуанкоре ознакомившись с мат. логикой усомнился в ее полезности.
Но я с детства интуитивно сомневался в надежности классических
методов рассуждений принятых в школьной математике (матиматике
эпохи Пуанкаре). Математика всегда была для меня примочкой к физике.
Когда же я впервые увидил компьютер и ухватил как он работает и
программируется, я впервые почувствовал реальности математики.
Я впервые ПОЧУВСТВОВАЛ (ощутил изоморфизм этого мира с тем),
что мат.логика это не презерватив, который каждый натягивает как
он того хочет, а это некая МАШИНА ИЗ НЕРЖАВЕЮЩЕЙ СТАЛИ.
Конечно мое "понимание" это литературщиня и кэрроловщзина.
Но вот что я вам скажу.
Лучших образов и тем более всеобъемлющих философских
формулировок для мат логиги вы не найдете.
Философия - это болото из слов.
Гиблое место.
По болоту можн пройти (как это сейчас делаю я)
но на нем нельзя что-то капитальное построить.
:)
А. Семенов
Built by Text2Html