Moisés Ilyich Schönfinkel ( ruso : Моисей Эльевич Шейнфинкель , romanizado : Moisei El'evich Sheinfinkel ; 29 de septiembre de 1888 - 1942 ) fue un lógico y matemático , conocido por la invención de la lógica combinatoria .
Moses Schönfinkel nació el 29 de septiembre de 1888 en Ekaterinoslav, Imperio ruso (ahora Dnipro, Ucrania). [1] Moses Schönfinkel nació en una familia judía. Su padre era Ilya Girshevich Schönfinkel, un comerciante del primer gremio, que se dedicaba al comercio de comestibles, y su madre, Maria "Masha" Gertsovna Schönfinkel (née Lurie) provenía de una prominente familia Lurie . Moses tenía hermanos llamados Deborah, Natan, Israel y Grigoriy. [2] Schönfinkel asistió a la Universidad Novorossiysk de Odessa , estudiando 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 . [3] El 7 de diciembre de 1920, dio una charla titulada Elemente der Logik ("Elementos de la lógica") al grupo donde esbozó el concepto de lógica combinatoria . Heinrich Behmann , un miembro del grupo de Hilbert, revisó más tarde el texto y lo publicó en 1924. [4] En 1928, Schönfinkel publicó otro artículo, sobre casos especiales del problema de decisión ( Entscheidungsproblem ), que fue preparado por Paul Bernays . [5]
Después de dejar Gotinga, Schönfinkel regresó a Moscú. En 1927 se informó de que padecía una enfermedad mental y se encontraba internado en un sanatorio. [4] [5] El resto de su vida transcurrió en la pobreza y murió en Moscú en algún momento de 1942 (a los 53-54 años). Sus vecinos quemaron sus papeles para calentarse. [5]
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 los combinadores B , C , I , K , S y un combinador para una función nand cuantificada universalmente que llamó U. Schönfinkel afirmó que el sistema podía reducirse a solo K , S y U (un colega afirmó que U podía factorizarse hasta el final de cualquier expresión y, por lo tanto, no siempre escribirse explícitamente) y esbozó una prueba de que una versión de este sistema tenía el mismo poder que la lógica de predicados . [4]
Su artículo también demostró que las funciones de dos o más argumentos podían ser reemplazadas por funciones que tomaran un solo argumento. [6] [7] [8] Este mecanismo de reemplazo simplifica el trabajo tanto en lógica combinatoria como en cálculo lambda y más tarde se llamaría currying , en honor a Haskell Curry . Si bien Curry atribuyó el concepto a Schönfinkel, ya había sido utilizado por Frege [9] (un ejemplo de la ley de Stigler ).
La producción publicada completa conocida de Schönfinkel consta de sólo dos artículos: su artículo de 1924 Sobre los elementos básicos de la lógica matemática , y otro artículo de 31 páginas escrito en 1927 y publicado en 1928, en coautoría con Paul Bernays, titulado Zum Entscheidungsproblem der mathematischen Logik ( Sobre el problema de decisión de la lógica matemática ).
Traducción al inglés: Schönfinkel (1967)
Una celebración del desarrollo de los combinadores, cien años después de que fueran introducidos por Schönfinkel (1924)(Libro electrónico: ISBN 978-1-57955-044-8 )
Información biográfica
Continuación