Open AccessО понятии конечного множества в конструктивной математике
Author(s) -
А.А. Владимиров
Publication year - 2011
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2011-17-0-84-94
Subject(s) - computer science
Известно, что понятие бесконечного множества немонолитно с точки зрения конструктивной математики А. А. Маркова. В статье представлен один общий подход к конструктивистской концепции «типа бесконечности».