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] Moisés 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 (de soltera Lurie), provenía de una prominente familia Lurie . Moisés tenía hermanos llamados Débora, Natán, Israel y Grigoriy. [2] 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 . [3] El 7 de diciembre de 1920 pronunció una charla titulada Elemente der Logik ("Elementos de la lógica") al grupo donde esbozó el concepto de lógica combinatoria . Heinrich Behmann , 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ó que padecía una enfermedad mental y estaba en un sanatorio. [4] [5] Su vida posterior transcurrió en la pobreza y murió en Moscú en algún momento de 1942 (entre 53 y 54 años). Sus vecinos quemaron sus papeles para calentarlos. [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 universalmente cuantificada a la que llamó U. Schönfinkel afirmó que el sistema podría reducirse solo a K , S y U (un colega afirmó que U podría factorizarse hasta el final de cualquier expresión y, por tanto, no siempre escribirse explícitamente) y describió una prueba de que una versión de este sistema tenía la Mismo poder que la lógica de predicados . [4]
Su artículo también demostró que las funciones de dos o más argumentos podrían reemplazarse por funciones que tomen 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 y conocida de Schönfinkel consta de sólo dos artículos: su libro de 1924 Sobre los componentes 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 su introducción por Schönfinkel (1924)(Libro electrónico: ISBN 978-1-57955-044-8 )
Medios relacionados con Moses Schönfinkel en Wikimedia CommonsInformación biográfica
Continuación