Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
.59 .2(356), -, 2004 : 510.23, 510.24, 510.25, 510.642, 510.648, 510.652.
 

Summary: Подход Колмогорова и Геделя к
интуиционистской логике и работы
последнего десятилетия в этом направлении.
С.Н.Артемов
УМН т.59 вып.2(356), март - апрель, 2004
УДК: 510.23, 510.24, 510.25, 510.642, 510.648, 510.652.
Аннотация
Интуиционистская математика была создана Брауэром на основе
конструктивных способов рассуждений, при которых критерием ис-
тинности является наличие доказательства. В работах Колмогорова
и Геделя была предложена идея интерпретации интуиционистской
логики на основе классических понятий задачи и ее решения и по-
нятия доказуемости. В 1933 году Гедель сделал первое существенное
продвижение в этом направлении. Несмотря на большие успехи в ис-
следовании интуиционизма, точной модели интуиционистской логики
на основе этого подхода не было построено вплоть до работы автора
1995 года. В настоящей работе мы расскажем о работах последнего
десятилетия, полученных в русле этого подхода.
1 Введение
Согласно Брауэру, в интуиционистской математике истинность означает не

  

Source: Artemov, Sergei N. - Faculty of Mechanics and Mathematics, Moscow State University

 

Collections: Computer Technologies and Information Sciences