Kolmogorov’s contribution to intuitionistic logic

摘要: Kolmogorov published only two papers related to mathematical logic. They are concerned with aspects of intuitionism and contain simple fundamental contributions. Although they were written at the beginning his career, it seems that Kolmogorov’s interest for logic was long-lasting, as shown instance by work on closely topic complexity. We will start explaining content these works, presenting their historical context, discussing current relevance. conclude a presentation recent development which involves results from both papers. To write this survey, I have been helped references [Hei67] [KolI], direct reader further information. wish thank Hugo Herbelin Per Martin-Lof many comments preliminary version text.