A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://lpcs.math.msu.su/~uspensky/bib/Uspensky_1992_JSL_Kolmogorov_Mathematical_Logic.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Kolmogorov and mathematical logic
<span title="">1992</span>
<i title="Cambridge University Press (CUP)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4l7nckgxmbcgvj5vxsioq6qwyq" style="color: black;">Journal of Symbolic Logic (JSL)</a>
</i>
Preserved Fulltext
There 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,
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/2275276">doi:10.2307/2275276</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j5x5hcf4nrfz7jsk62mx2sp264">fatcat:j5x5hcf4nrfz7jsk62mx2sp264</a>
</span>
more »
... ed 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 of the 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) the foundations of mathematics, and (3) the theory of algorithms.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808064131/http://lpcs.math.msu.su/~uspensky/bib/Uspensky_1992_JSL_Kolmogorov_Mathematical_Logic.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/b2/e7b223d1924a60d1f5092d6cc856370882d3bdda.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/2275276">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
jstor.org
</button>
</a>