Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
From: A.A.Vladimirov (vladimi@mech.math.msu.su)
Date: Tue Oct 19 2004 - 14:48:09 MSD
Здравствуйте.
>
> Будьте добры, дайте, пожалуйста, ссылки на работы, которые
> Вы имеете в виду. В этом списке подавляющее большинство --
> не логики-профессионалы. Поэтому ожидать от нас, что мы знаем
> все "важнейшие результаты" этой отрасли, не следует. Тогда тем
> их нас, кто что-то понимает в работе Турчина будет легче
> ответить на Ваш вопрос. Спасибо!
>
А.А.Марков. О логике конструктивной математики. --- М.: Знание,
1972.
Прекрасное популярное изложение имеющегося мной в виду подхода.
С уважением,
Антон Владимиров
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD