Sheinfinkel, Moisei Elevich

Moses Elyevich [1] [2] Sheinfinkel (opciones patronímicas - Ilyich e Isaevich , alemán  Moses Schönfinkel ; 4 de septiembre de 1889 , Yekaterinoslav , Ucrania  - 1942 , Moscú ) - Lógico y matemático ruso y soviético , conocido como el inventor de la lógica combinatoria .

Vida

Moses Sheinfinkel nació en Yekaterinoslav en la familia de un comerciante del primer gremio , Ilya Girshevich Sheinfinkel, quien el 22 de febrero de 1894, junto con otro comerciante de Yekaterinoslav, Aron Gertsevich Lurie, fundó la casa comercial Lurie y Sheinfinkel, que se dedicaba a la alimentación. comercio [3] [4] [5] .

Estudió en la Universidad de Novorossiysk en Odessa , estudiando matemáticas con Samuil Osipovich Shatunovsky (1859-1929), quien trabajó en el campo de la geometría y los fundamentos de las matemáticas . De 1914 a 1924 se formó en la Universidad de Göttingen bajo la tutela de David Hilbert [6] . El 7 de diciembre de 1920, hablando con sus colegas, esbozó el concepto de lógica combinatoria . Su informe, publicado en 1924 en el procesamiento de Heinrich Behmann ( alemán:  Heinrich Behmann ), marcó el comienzo de la investigación de Curry y Church en el campo de los fundamentos de las matemáticas [7] . Después de dejar Göttingen, a mediados de la década de 1920, Scheinfinkel se mudó a Moscú, pero ya no pudo dedicarse a actividades científicas como antes [8] .

En 1927, fue declarado enfermo mental e internado en un hospital psiquiátrico [7] [9] . No se ha conservado información sobre exactamente de qué estaba enfermo el científico y por qué se desarrolló la enfermedad. Su vida posterior transcurrió en la pobreza y murió en Moscú, alrededor de 1942 (se desconoce la fecha exacta de su muerte). Sus papeles de trabajo fueron despedidos por los vecinos [9] .

En 1929 se publicó otra obra de Scheinfinkel, preparada para la imprenta por Paul Bernays . En él, Sheinfinkel propuso una solución al problema de resolución para algunos casos especiales de fórmulas de cálculo de predicados estrechos; por primera vez señaló un sistema de axiomas suficiente para la derivación de todas las fórmulas implicativas idénticamente verdaderas, conocido como la clase de Bernays -Schönfinkel [ 10 ] . 

Actas

Scheinfinkel desarrolló un sistema formal para evitar el uso de variables ligadas. Su sistema era esencialmente equivalente a la lógica combinatoria basada en los combinadores B , C , I , K y S. Scheinfinkel consiguió demostrar que el sistema puede reducirse únicamente a K y S , y enunciar la prueba de que tal variante del sistema es tan completa como la lógica de predicados [7] .

Su trabajo también mostró que una función con dos o más argumentos puede ser reemplazada por una función que toma solo un argumento. Este mecanismo de sustitución simplifica el trabajo tanto en términos de lógica combinatoria como de cálculo lambda y más tarde se denomina curry , en honor a Haskell Curry .

Publicaciones

• "Über die Bausteine ​​der mathematischen Logik", Mathematische Annalen 92 , pp. 305-316, 1924. Stefan Bauer-Mengelberg tradujo este artículo como "Sobre los componentes básicos de la lógica matemática" en Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Cambridge : Prensa de la Universidad de Harvard, págs. 355-366.
• "Zum Entscheidungsproblem der mathematischen Logik" (con Paul Bernays ), Mathematische Annalen 99 : 342-372, 1929.

Notas

1. ↑ Grossman, 2011 , pág. 126.
2. ↑ Carnet de estudiante de Moses Sheinfinkel
3. ↑ [1] Índice de sociedades anónimas y casas comerciales que operan en el Imperio (p. 88)]
4. ↑ Casa comercial de Lurie y Sheinfinkel Copia de archivo fechada el 4 de marzo de 2016 en Wayback Machine : La tienda de comestibles n.° 2 de Lurie y Sheinfinkel estaba ubicada en la calle Sadovaya en la casa de Feinberg.
5. ↑ Comerciante y filántropo I. G. Shenfinkel  (enlace inaccesible) : En las listas de terratenientes del Imperio Ruso, aparece como Elya-Shaya Gershevich Sheinfinkel ( ver aquí ); de ahí las opciones patronímicas para su hijo: Ilyich (Elya - ruso. Ilya) e Isaevich (Shaya - ruso. Isai).
6. ↑ Cardone, Felice & Hindley, J. Roger , History of Lambda-calculus and Combinatory Logic, en Gabbay, Dov M., Handbook of the History of Logic , vol. 5 Elsevier 
7. ↑ 1 2 3 Curry, Haskell. Notas sobre Schönfinkel  (neopr.) . - Archivos Curry, 1927. - Noviembre ( vol. 271128A (T271128A) ).  (enlace no disponible)
8. ↑ Ucrania judía: 10 datos sobre los judíos de Dnepropetrovsk . Archivado desde el original el 18 de octubre de 2016. (indefinido)
9. ↑ 1 2 Kline, GL (1951), Revisión de los fundamentos de las matemáticas y la lógica matemática por SA Yanovskaya , Revista de lógica simbólica Vol . 16: 46–48 , DOI 10.2307/2268665 
10. ↑ Yanovskaya, S. A (1948), Fundamentos de Matemáticas y Lógica Matemática, Matemáticas en la URSS durante treinta años. 1917-1947 

Literatura

• Grossman Leonid. Odesa matemática . - Odessa: "Óptimo", 2011. - 131 p. — ISBN 978-966-344-411-6 .
• Sergei Tropanets "Moses Sheinfinkel y el lenguaje combinatorio"
• Z. A. Kuzicheva, A. S. Kuzichev. Sheinfinkel  // Nueva Enciclopedia Filosófica  : en 4 volúmenes  / anterior. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M.  : Pensamiento , 2010. - 2816 p.

sitios temáticos	zbMATH Abierto
En catálogos bibliográficos	TIERRA : 1069803960 VIAF : 315940059 WorldCat VIAF : 315940059