Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
From: A.A.Vladimirov (vladimi@mech.math.msu.su)
Date: Fri Oct 15 2004 - 15:03:39 MSD
Доброго времени суток.
>
> Насчет того, что я брякнул, будто ее автор - Брауэр, так это -
> явное проявление старческого маразма... Отсюда легко
> заключить, что и мои воспоминания о том, как я брал эту книгу
> со стола и в ней копался - следствие галлюционаций... Тем не
> менее, кроме меня есть ведь и другие свидетели...
>
Если Вы расценили мой предыдущий ответ как оскорбление,
извините - этого я совершенно не добивался.
>
> Много нового или немного - это как раз и есть интересный
> вопрос. Данный отчет мало кто читал, а вот насчет статьи,
> которая из него была изготовлена, я много раз слышал, как
> читатели жаловались, что статья какая-то уж больно чудная и
> диковинная, но ни разу не слышал, чтобы кто-то пожаловался на
> то, что "в статье нет ничего нового". Отсюда можно с высокой
> степенью вероятности предположить, что и отчет (из которого
> была сделана статья) - не чисто эпигонский, и все же содержит
> какие-то оригинальные идеи автора.
Несомненно, содержит. Но "много диковинного и нового" можно найти
и в "трудах" ферматистов. Прошу понять меня правильно - я отнюдь
не намерен приравнять работы Турчина к ферматистским, я просто
обращаю Ваше внимание на тот факт, что "новое" бывает разным.
И потом - основной вопрос в рассматриваемой области исследований
состоит не в том, чтобы __формально__ поставить множествам в
соответствие конструктивные объекты (это, по существу, уже в
первоначальном варианте ZF сделано). Вопрос в том, как сделать
(если это вообще возможно) такое соответствие __содержательным__.
Для этого же нужно строить конструктивную логику, а её язык уж
точно не будет "языком программирования" (из-за наличия
неразрешимых предикатов, упоминаемых и в обсуждаемых работах).
Самый сложный вопрос в этой области - трактовка импликации - у
Турчина, кажется, даже не поставлен (если я ошибаюсь, поправьте
меня - буду искренне признателен). А в гораздо более ранних
работах Маркова (не процитированных) он не только __поставлен__,
но и __решён__!
Как здесь быть?
С уважением,
Антон Владимиров
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD