М.И. Шейнфинкель и комбинаторная логика

##plugins.themes.bootstrap3.article.main##

V.I. Shalack

Abstract

In the article we review the famous paper of Moses Sch_nfinkel and it’s influence on subsequent development of combinatory logic and _-calculus.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Schonfinkel М. Uber die Bausteine der mathematischen Logik // Mathematische Annalen. 1924. Bd. 92. S. 305-316.
Bernays Р., Schonfinkel М. Zum Entscheidungsproblem der mathematischen Logik // Mathematische Annalen. Bd. 99. S. 342-72.
Curry Н.В. Grundlagen der kombinatorischen Logik // American Journal of Mathematics. 1930. Bd. 52. S. 509-536, 789-834.
Curry H.B., Feys R. Combinatory Logic. Vol. 1. Amsterdam, 1958.
Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985. С. 103.
Church A. A set of postulates for the foundation of logic // Annals of Math. 1932. Vol. 33. № 2. P. 346-366 and Annals of Math. 1933. Vol. 34. P. 839-864.
Church A. An unsolvable problem of elementary number theory // American Journal of Mathematics. 1936. Vol.58. P. 345-363.
Curry H.B. The logic of program composition // In Applications Scientifiques de la Logique Mathematique, Actes du Deuxieme Colloque International de Logique Mathematique, Paris, 1952. P. 97-102. Gauthier-Villars, Paris, 1954.
Fitch F.B. Representation of sequential circuits in combinatory logic // Philosophy of Science. 1958. Vol. 25. P. 263-279.
McCarthy J. A basis for a mathematical theory of computation // Proc. of 1961 Western Joint Computer Conference.
Landin P.J. A correspondence between ALGOL 60 and Church’s lambda notation // Communications of the ACM. 1965. Vol. 8. P. 89-101, 158-165.
Landin P.J. The mechanical evaluation of expressions // The Computer Journal. 1964. Vol. 6. P. 308-320.
Curry H. Functionality in Combinatory Logic // Proceedings of the National Academy of Sciences. 1934. Vol. 20. P. 584-590.
Curry H.B., Feys R. Combinatory Logic. Vol. 1. Amsterdam, 1958.
Howard W.A The formulae-as-types notion of construction // To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 1980. P. 479-490. Manuscript circulated 1969.
Карпенко А.С. Классификация пропозициональных логик // Логические исследования. Вып.4. М.: Наука, 1997. С. 107-133.
Шалак В.И. Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. М.: Наука, 2008.