Moses Ilyich Schönfinkel , también conocido como Moisei Isai'evich Sheinfinkel ' (ruso: Моисей Исаевич Шейнфинкель ; 29 de septiembre de 1888-1942 ), fue un lógico y matemático ruso , conocido por la invención de la lógica combinatoria .
Moisés Ilich Schönfinkel | |
---|---|
Nació | |
Fallecido | 1942 (de 53 a 54 años) |
Nacionalidad | ruso |
Ciudadanía | ruso |
alma mater | Universidad de Novorossiysk |
Conocido por | Lógica combinatoria Técnica para vincular argumentos Clase Bernays-Schönfinkel |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Göttingen |
Influencias | David Hilbert |
Influenciado | Haskell Curry |
La vida
Schönfinkel asistió a la Universidad Novorossiysk de Odessa , donde estudió matemáticas con Samuil Osipovich Shatunovskii (1859-1929), quien trabajó en geometría y los fundamentos de las matemáticas . De 1914 a 1924, Schönfinkel fue miembro del grupo de David Hilbert en la Universidad de Göttingen en Alemania . [1] El 7 de diciembre de 1920 pronunció una charla titulada Elemente der Logick ("Elementos de la lógica") al grupo en la que esbozó el concepto de lógica combinatoria . Heinrich Behmann , miembro del grupo de Hilbert, posteriormente revisó el texto y lo publicó en 1924. [2] En 1928, Schönfinkel hizo publicar otro artículo, sobre casos especiales del problema de decisión ( Entscheidungsproblem ), que fue preparado por Paul Bernays . [3]
Después de dejar Gotinga, Schönfinkel regresó a Moscú. En 1927 se informó que estaba mentalmente enfermo y en un sanatorio. [2] [3] Pasó su vida posterior en la pobreza y murió en Moscú en algún momento de 1942. Sus vecinos quemaron sus papeles para calentarlos. [3]
Trabaja
Schönfinkel desarrolló un sistema formal que evitaba el uso de variables ligadas . Su sistema era esencialmente equivalente a una lógica combinatoria basada en la combinadores B , C , I , K , y S . Schönfinkel pudo demostrar que el sistema podía reducirse a solo K y S y esbozó una prueba de que una versión de este sistema tenía el mismo poder que la lógica de predicados . [2]
Su artículo también mostró que las funciones de dos o más argumentos pueden ser reemplazadas por funciones que toman un solo argumento. [4] [5] [6] Este mecanismo de reemplazo simplifica el trabajo tanto en la lógica combinatoria como en el cálculo lambda y más tarde se llamaría curry , en honor a Haskell Curry . Si bien Curry atribuyó el concepto a Schönfinkel, ya lo había utilizado Frege [7] (un ejemplo de la ley de Stigler ).
La salida publicada conocida completa de Schönfinkel consta de sólo dos papeles: el 1924 en los bloques de construcción de la lógica matemática , y otra, de 31 páginas de papel escrito en 1927 y publicado en 1928, en coautoría con Paul Bernays, titulado Zum Entscheidungsproblem der mathematischen Logik ( En el problema de decisión de la lógica matemática ).
Publicaciones
- Moisés Schönfinkel (1924). "Über die Bausteine der mathischen Logik" . Mathematische Annalen (en alemán). 92 (3–4): 305–316. doi : 10.1007 / bf01448013 . S2CID 118507515 .- Traducido por Stefan Bauer-Mengelberg 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 . Harvard University Press , págs. 355–66.
- Paul Bernays ; Moisés Schönfinkel (1928). "Zum Entscheidungsproblem der mathischen Logik" (PDF) . Mathematische Annalen (en alemán). 99 : 342–372. doi : 10.1007 / bf01459101 . S2CID 122312654 .
Ver también
- Clase Bernays – Schönfinkel
Referencias
- ^ Cardone, Felice; Hindley, J. Roger , "Historia del cálculo lambda y lógica combinatoria", en Gabbay, Dov M .; Woods, John (eds.), Manual de historia de la lógica , 5 , Elsevier
- ^ a b c Curry, Haskell (noviembre de 1927), Notes on Schönfinkel , 271128A (T271128A), Archivos de Curry.[ enlace muerto permanente ]
- ^ a b c Kline, GL; Anovskaa, SA (1951), "Revisión de los fundamentos de las matemáticas y la lógica matemática por SA Yanovskaya", Journal of Symbolic Logic , 16 (1): 46–48, doi : 10.2307 / 2268665 , JSTOR 2268665
- ^ Strachey, Christopher (2000). "Conceptos fundamentales en lenguajes de programación". Computación simbólica y de orden superior . 13 : 11–49. doi : 10.1023 / A: 1010000313106 . S2CID 14124601 .
Existe un dispositivo originado por Schönfinkel, para reducir operadores con varios operandos a la aplicación sucesiva de operadores de un solo operando.
(Notas de conferencias reimpresas de 1967.) - ^ Reynolds, John C. (1998). "Intérpretes de definiciones para lenguajes de programación de orden superior". Computación simbólica y de orden superior . 11 (4): 374. doi : 10.1023 / A: 1010027404223 . S2CID 43352033 .
En la última línea hemos utilizado un truco llamado Currying (en honor al lógico H. Curry) para resolver el problema de introducir una operación binaria en un lenguaje donde todas las funciones deben aceptar un solo argumento. (El árbitro comenta que aunque "Currying" es más sabroso, "Schönfinkeling" podría ser más exacto).
- ^ Kenneth Slonneger y Barry L. Kurtz. Sintaxis formal y semántica de lenguajes de programación . 1995. p. 144.
- ^ Willard Van Orman Quine , introducción a "Bausteine der mathischen Logik", págs. 305–316. Traducido por Stefan Bauer-Mengelberg 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 . Harvard University Press , págs. 355–66.
enlaces externos
- Medios relacionados con Moses Schönfinkel en Wikimedia Commons