Конструктивность в логике и математике. Лекция 1

В курсе предполагается конспективное изложение основных сведений, относящихся к интуиционистской и конструктивной логике: мотивировка интуиционистского подхода в математике, интуиционистское построение системы действительных чисел, аксиоматизации интуиционистской логики и арифметики, методы семантического исследования интуиционистских логических и логико-математических теорий, интерпретации интуиционистских теорий на основе теории вычислимых функций.