Конструктивная математика: обзор достижений, недостатков и уроков. Часть I

##plugins.themes.bootstrap3.article.main##

N.N. Nepeivoda

Abstract

The whole manifold of constructivist conceptions of last century is analyzed. They are systematized and some aspects and lessons for naive attempts of applying are highlighted.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

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.