Moses schönfinkel
Moses schönfinkel
| Fødsel |
29. september 1888 Dnipro |
|---|---|
| Død |
1942 Moskva |
| Nasjonalitet | Sovjet |
| Opplæring | Odessa universitet |
| Aktiviteter | Matematiker , logiker |
| Jobbet for | Universitetet i Göttingen (1914-1924) |
|---|---|
| Felt | Matematisk logikk |
| Herre | David Hilbert |
| Bernays-Schönfinkel-klasse |
Moses Schönfinkel (på russisk : Моисей Эльевич Шейнфинкель , Moisseï Elievitch Cheïnfinkel), født i4. september 1889Ekaterinoslav (nå Dnipro, Ukraina ) - 1942, Moskva ) er en sovjetisk jødisk logiker og matematiker .
Det var ved universitetet i Novorossiysk i Odessa at han studerte matematikk med Samuil Osipovich Shatunovskii (en) (1859-1929) som lærte ham geometri og grunnlaget for matematikk . Fra 1914 til 1924 var Schönfinkel ved universitetet i Göttingen i gruppen av David Hilbert .
I en presentasjon som ble gitt til Göttingen i 1920, oppfant Schönfinkel kombinasjonslogikken , utviklet senere av Haskell Curry , en student av David Hilbert i slutten av 1920. Denne reviderte konferansen av Heinrich Behmann (i) ble publisert i 1924. Schönfinkel introduserte bl.a. ting, operasjonen siden kalt curryfication .
Schönfinkel publiserte i 1929 en artikkel med Paul Bernays om beslutningsproblemet ( Entscheidungsproblem ) i matematisk logikk. Sykt, han ble plassert i et sanatorium. Tilbake til Sovjetunionen i 1939 døde han elendig i Moskva i 1942, uten å vite den nøyaktige datoen for hans død. Hans skrifter brukes som drivstoff av naboene.
Se også
Referanser
- 1924. "Über die Bausteine der mathematatischen Logik", Mathematische Annalen 92 , s. 305-316. Oversatt av Stefan Bauer-Mengelberg som "On the building blocks of mathematical logic" i Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Harvard Univ. Trykk: 355-66.
- 1929. (med Paul Bernays ) "Zum Entscheidungsproblem der mathematatischen Logik," Mathematische Annalen 99 : 342-72.
Eksterne linker
- (fr) Denne artikkelen er delvis eller helt hentet fra den engelske Wikipedia- artikkelen med tittelen “ Moses Schönfinkel ” ( se forfatterliste ) .
- Myndighetsregistreringer :