JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org.. Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Symbolic Logic.
INTRODUCTIONThere are human beings whose intellectual power exceeds that of ordinary men. In my life, in my personal experience, there were three such men, and one of them was Andrei Nikolaevich Kolmogorov. I was lucky enough to be his immediate pupil. He invited me to be his pupil at the third year of my being student at the Moscow University. This talk is my tribute, my homage to my great teacher. Andrei Nikolaevich Kolmogorov was born on April 25, 1903. He graduated from Moscow University in 1925, finished his post-graduate education at the same University in 1929, and since then without any interruption worked at Moscow University till his death on October 20, 1987, at the age 84-.Kolmogorov was not only one of the greatest mathematicians ofthe twentieth century. By the width of his scientific interests and results he reminds one of the titans of the Renaissance. Indeed, he made prominent contributions to various fields from the theory of shooting to the theory of versification, from hydrodynamics to set theory. In this talk I should like to expound his contributions to mathematical logic.Here the term "mathematical logic" is understood in a broad sense. In this sense it, like Gallia in Caesarian times, is divided into three parts:(1) mathematical logic in the strict sense, i.e. the theory of formalized languages including deduction theory,2(2) the foundations of mathematics, andthe theory of algorithms. Received April 16, 1991. 1This paper was presented on July 28, 1989, as an invited address at Logic Colloquium '89, in Berlin. I am deeply indebted to the Chair of the Program Committee, Prof. Dr. Ernst-Jochen Thiele of the Technische UniversitAt Berlin, who invited me, arranged for the typing of the manuscript, and then submitted it to this JOURNAL. 2As Alonzo Church writes in his celebrated monograph [Ch 56, ?07], "The subject of formal logic, when treated by the method of setting up a formalized language, is called symbolic logic, or mathematical logic or logistic." ? 1992, Association for Symbolic Logic 0022-4812/92/5702-0001/$03.80 385 This content downloaded from 169.230.243.252 on Sun, 14 Dec 2014 04:36:04 AM All use subject to JSTOR Terms and Conditions 386 VLADIMIR A. USPENSKY Kolmogorov made a first-rate contribution in each of these topics. Let me mention here that it was Kolmogorov who in spring of 1972 gave the first course in mathematical logic at the Moscow University that was required for all mathematics students (Kolmogorov's lectures were attended also by some eminent mathematicians, including Andrei Markov, then head of Mathem...
