Moses Schönfinkel
Moses Schönfinkel
| Aniversário |
29 de setembro de 1888 Dnipro |
|---|---|
| Morte |
1942 Moscou |
| Nacionalidade | Soviético |
| Treinamento | Odessa University |
| Atividades | Matemático , lógico |
| Trabalhou para | Universidade de Göttingen (1914-1924) |
|---|---|
| Campo | Lógica matemática |
| Mestre | David Hilbert |
| Aula Bernays-Schönfinkel |
Moses Schönfinkel (em russo : Моисей Эльевич Шейнфинкель , Moisseï Elievitch Cheïnfinkel), nascido em4 de setembro de 1889Ekaterinoslav (agora Dnipro, Ucrânia ) - 1942, Moscou ) é um lógico e matemático judeu soviético .
Foi na Universidade de Novorossiysk em Odessa que estudou matemática com Samuil Osipovich Shatunovskii (en) (1859-1929), que lhe ensinou geometria e os fundamentos da matemática . De 1914 a 1924, Schönfinkel esteve na Universidade de Göttingen no grupo de David Hilbert .
Em uma apresentação dada a Göttingen em 1920, Schönfinkel inventou a lógica combinatória , desenvolvida posteriormente por Haskell Curry , um aluno de David Hilbert no final de 1920. Esta conferência revisada por Heinrich Behmann (in) foi publicada em 1924. Schönfinkel introduziu, entre outros coisas, a operação desde então chamada curryfication .
Schönfinkel publicou em 1929 um artigo com Paul Bernays sobre o problema de decisão ( Entscheidungsproblem ) em lógica matemática. Doente, ele foi colocado em um sanatório. Retornado à URSS em 1939, morreu miseravelmente em Moscou em 1942, sem saber a data precisa de sua morte. Seus escritos são usados como combustível por seus vizinhos.
Veja também
Referências
- 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92 , p. 305-316. Traduzido por Stefan Bauer-Mengelberg como "Sobre os blocos de construção da lógica matemática" em Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Harvard Univ. Imprensa: 355-66.
- 1929. (com Paul Bernays ) "Zum Entscheidungsproblem der mathematischen Logik," Mathematische Annalen 99 : 342-72.
links externos
- (fr) Este artigo foi retirado parcial ou totalmente do artigo da Wikipedia em inglês intitulado “ Moses Schönfinkel ” ( ver lista de autores ) .
- Registros de autoridade :