Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lib.mexmat.ru/books/1376
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 02:08:45 2016
Кодировка: Windows-1251
Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Основания интуиционистской математики с точки зрения теории рекурсивных функций
Авторы: Клини С., Весли Р.
Аннотация:
В последние годы заметно повысился интерес к изучению конструктивности в математике. В исследовании этого круга вопросов можно выделить две основные тенденции. Одна из них, развитая Брауэром и его последователями, известна под названием 'интуиционизм', другая тенденция, разделяемая многими математиками самой различной философской ориентации, связывает интуитивную эффективность сточными концепциями алгоритмов...