Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении

Интуиционистская математика была создана Брауэром на основе конструктивных способов рассуждений, при которых критерием истинности является наличие доказательства. В работах Колмогорова и Гёделя была предложена идея интерпретации интуиционистской логики на основе классических понятий задачи и ее решения и понятия доказуемости. В 1933 году Гёдель сделал первое существенное продвижение в этом направлении. Несмотря на большие успехи в исследовании интуиционизма, точной модели интуиционистской логики на основе этого подхода не было построено вплоть до работы автора 1995 года. В настоящей работе мы расскажем о результатах последнего десятилетия, полученных в русле этого подхода.
Библиография: 87 названий.