Конструктивная математика: обзор достижений, недостатков и уроков. Часть I
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
конструктивизм, реализуемость, интерпретация Колмогорова, топологические интерпретации, аппроксимации, некорректные задачи, принцип конечной информации
Main Article Content
Аннотация
Проанализировано все многообразие конструктивистских концепций прошлого века. Они систематизированы и выделены некоторые аспекты и уроки наивных попыток применения.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Непейвода Н. Конструктивная математика: обзор достижений, недостатков и уроков. Часть I // Логические исследования / Logical Investigations. 2011. Т. 17. C. 191-239.
Выпуск
Раздел
Статьи
Литература
Brouwer L.E.J. Over de grondslagen der wiskunde. Amsterdam: Thesis, 1907.
Brouwer L.E.J. De onbetrouwbaarheid rer logische principes // Tijdschrift voor wijsbegeerte, 2, 1908.
Brouwer L.E.J. Intuitionisme en formalisme. Groningen, 1912.
Brouwer L.E.J. Besitzt jede reele Zahl eine dezimalbruchentwicklung? // Proc. Acad. Amsterdam, 23, p 949-954.
Гейтинг А. Интуиционизм. Введение. _., 2010.
Ершов Ю.Л. Теория нумераций. М.: Наука, 1977.
Митчелл Дж. Основания языков программирования. М.; Ижевск: РХД, 2010.
Brouwer L.E.J. De onbetrouwbaarheid rer logische principes // Tijdschrift voor wijsbegeerte, 2, 1908.
Brouwer L.E.J. Intuitionisme en formalisme. Groningen, 1912.
Brouwer L.E.J. Besitzt jede reele Zahl eine dezimalbruchentwicklung? // Proc. Acad. Amsterdam, 23, p 949-954.
Гейтинг А. Интуиционизм. Введение. _., 2010.
Ершов Ю.Л. Теория нумераций. М.: Наука, 1977.
Митчелл Дж. Основания языков программирования. М.; Ижевск: РХД, 2010.