Moses Schönfinkel

De Viquipèdia
Dreceres ràpides: navegació, cerca
Moses Ilyich Schönfinkel
Naixement 1887 o 1889
Dnipropetrovsk, Imperi Rus
Mort 1942
Moscou, Unió Soviètica
Ciutadania rus
Nacionalitat rus
Etnicitat Jueu
Camp matematiques
Institucions
Treball(s) lògica combinatòria


Moses Ilyich Schönfinkel, també conegut com a Moisei Isai'evich Sheinfinkel' (Шейнфинкель) (4 setembre 1889 Ekaterinoslav (en l'actualitat Dnipropetrovsk, Ucraïna) - 1942 Moscou), fou un lògic i matemàtic rus d'origen jueu, conegut pel descobriment de la lògica combinatòria.

Vida[modifica | modifica el codi]

Schönfinkel va assistir a la Universitat de Novorossiysk de Odessa, va estudiar de les matemàtiques amb Samuil Osipovich Shatunovskii (1859-1929), amb qui va treballar en geometria i fonaments de les matemàtiques. De 1914 a 1924, Schönfinkel fou membre del grup David Hilbert a la Universitat de Göttingen.[1]

El 7 de desembre 1920 es va donar una xerrada al grup en què es descriu el concepte de la lògica combinatòria. Heinrich Behmann, un membre del grup de Hilbert, més tard va revisar el text i el va publicar el 1924. [2]

El 1929, Schönfinkel va publicar una altra publicacions, sobre casos especials del problema de decisió ("Entscheidungsproblem"), que va ser preparat conjuntament amb Paul Bernays.[3]

Després de deixar Göttingen, Schönfinkel tornar a Moscou. El 1927 se li diganosticar una malaltia metal i fou internat en un sanatori. La resta de la seva vida la va passar en la pobresa, i va morir a Moscou en algun moment de 1942. Els seus papers van ser cremats pels veïns per a la calefacció. [3]

Treball[modifica | modifica el codi]

Schönfinkel va desenvolupar un sistema formal que evita l'ús de variables. El seu sistema era essencialment equivalent a una lògica combinatòria basant-se en els combinadors B, C, I, K, i S . Schönfinkel va ser capaç de demostrar que el sistema es podria reduir a només K i S i va esbossar una prova que una versió d'aquest sistema té el mateix poder que la lògica de predicats. [2]

Publicacions importants[modifica | modifica el codi]

  • 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305–316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press.
  • 1929. (co-autoritzat amb Paul Bernays) "Zum Entscheidungsproblem der mathematischen Logik," Mathematische Annalen 99

Referències[modifica | modifica el codi]

  1. Cardone; Hindley, J. Roger. «History of Lambda-calculus and Combinatory Logic». A: Gabbay, Dov M.. Handbook of the History of Logic. 5. Elsevier. 
  2. 2,0 2,1 Curry, Haskell (November, 1927), Notes on Schönfinkel, Curry archives, <http://www.sadl.uleth.ca/gsdl/cgi-bin/library?e=d-00000-00---off-0curry--00-0--0-10-0---0---0prompt-10---4-------0-1l--11-en-50---20-about---00-0-1-00-0-0-11-1-0utfZz-8-00&a=d&cl=CL1.8&d=T271128A>
  3. 3,0 3,1 Kline, G. L. & Anovskaa, S. A. (1951), "Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya", Journal of symbolic Logic 16 (1): 46–48, DOI 10.2307/2268665