matemàtic rus From Wikipedia, the free encyclopedia
Moissei Eliévitx Xeinfinkel, rus: Моисей Эльевич Шейнфинкель, patronímics opcionals Ильич Ílitx i Исаевич Issàievitx, conegut habitualment amb la versió en alemany del seu nom, Moses Schönfinkel, (4 setembre 1889 Iekaterinoslav (en l'actualitat Dniprò, Ucraïna) - 1942 Moscou), fou un lògic i matemàtic rus d'origen jueu, conegut pel descobriment de la lògica combinatòria.
  | |
| Biografia | |
|---|---|
| Naixement | 29 setembre 1888 Dniprò (Ucraïna) |
| Mort | 1942 (53/54 anys) Moscou (Rússia) |
| Nacionalitat | Rus |
| Ciutadania | rus |
| Grup ètnic | Jueu |
| Formació | Universitat d'Odessa |
| Es coneix per | lògica combinatòria |
| Activitat | |
| Camp de treball | Lògica matemàtica |
| Ocupació | matematiques |
| Organització | Universitat de Göttingen |
| Professors | David Hilbert |
| Obra | |
Obres destacables | |
Schönfinkel va assistir a la Universitat de Novorossiysk d'Odessa, va estudiar de les matemàtiques amb Samuïl Xatunovski (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 diagnosticar 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 escalfar-se. [3]
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]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
