|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлениистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 26 августа 2016 г.
- Автор: Артёмов С.Н.
- Журнал: Успехи математических наук
- Том: 59
- Номер: 2
- Год издания: 2004
- Издательство: ФГБУ "Издательство "Наука"
- Местоположение издательства: Москва
- Первая страница: 9
- Последняя страница: 36
- DOI: 10.4213/rm715
- Аннотация: Интуиционистская математика была создана Брауэром на основе конструктивных способов рассуждений, при которых критерием истинности является наличие доказательства. В работах Колмогорова и Гёделя была предложена идея интерпретации интуиционистской логики на основе классических понятий задачи и ее решения и понятия доказуемости. В 1933 году Гёдель сделал первое существенное продвижение в этом направлении. Несмотря на большие успехи в исследовании интуиционизма, точной модели интуиционистской логики на основе этого подхода не было построено вплоть до работы автора 1995 года. В настоящей работе мы расскажем о результатах последнего десятилетия, полученных в русле этого подхода. Библиография: 87 названий.
- Добавил в систему: Золин Евгений Евгеньевич