Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
From: Sergei Romanenko (roman@integrum.ru)
Date: Wed Oct 13 2004 - 21:55:13 MSD
Добрый вечер!
Этот отчет представляет собой только предварительную версию книги. Прямо в
тексте есть пометки, вроде "в этом месте должно быть написано о том-то и о
том-то". Особенно много таких пометок в "обзорных" частях отчета. Поэтому
нельзя с уверенностью сказать, что именно и сколько было бы сказано о
Брауэре и Маркове в окончательной версии книги.
Ясно, что Брауэр и Марков - это классики, о которых знают все. Именно
поэтому абсурдно подозревать Турчина в том, что он хотел у них похитить
какие-то идеи, а потом опубликовать под своей фамилией (и что из-за этого он
на них и не сослался).
Считать, что он не знаком с работами Брауэра и Маркова тоже нет никаких
оснований. На Маркова он ссылался во многих публикациях по Рефалу, а в
районе 1967 года книга Брауэра "Интуиционизм" лежала у него на столе в ИПМ
(среди нескольких других книг по основниям математики и по метаматематике).
Эту книгу почитывали посетители комнаты (в том числе и я), пока в
конце-концов кто-то ее не "заиграл".
Как бы то ни было, к сожалению, книга "Кибернетические основания математики"
так и не была завершена, и мы имеем только предварительную версию...
Интересно, однако, было бы обсудить эту работу не с точки зрения дефектов в
ее оформлении (которые очевидны), а с точки зрения ее смысла...
Вот, например, при ознакомлении с книгой The Principles of Mathematics
Revisited, написанной Jaakko Hintikka, возникает ощущение, что он "копал" в
том же направлении, что и Турчин, хотя с работой Турчина скорее всего не
знаком. Интересно было бы узнать квалифицированное насчет того, есть ли в их
подходах действительно нечто общее, и если да, то в чем они расходятся.
Сергей Романенко
----- Original Message -----
From: "A.A.Vladimirov" <vladimi@mech.math.msu.su>
To: <refal@botik.ru>
Sent: Wednesday, October 13, 2004 6:04 PM
Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
>
> Вот неожиданно :-) появился малодоступный отчет 1983 года:
>
> ed2k://|file|[Metamathematics].Turchin.-.The.Cybernetic.Founda
> tion.of.Mathem
> atics.(1983).djvu|4150006|E21E76E61F22C79913AF3A0E1B9C02D9|/
>
Впечатление, честно говоря, странное.
Получается, не было в истории математики ни Брауэра, ни Маркова
(это при том, что о существовании и взглядах второго автор
обзора не мог не знать - как и о том, что рефал представляет
собой чуть переработанный нормальный алгорифм)? Или я чего-то в
тексте не заметил?
С уважением,
А.Владимиров
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD