Open AccessКонструктивная математика: обзор достижений, недостатков и уроков. Часть III
Author(s) -
Н. Н. Непейвода
Publication year - 2014
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2014-20-0-110-148
Subject(s) - computer science
Здесь анализируются конструктивистские концепции, не предполагающие, что мы знаем программы для каждого эффективного метода (интуиционизм и др.).