Gerhard Gentzen
De Wikipedia, a enciclopédia encyclopedia
Gerhard Karl Erich Gentzen (Greifswald, 24 de Novembro de 1909 — Praga, 4 de Agosto de 1945) foi um matemático e lógico alemão. Suas maiores contribuições foram dadas em fundamentos da matemática, teoria da prova, especialmente em dedução natural e cálculo de sequentes. Gentzen morreu em 1945 após a Segunda Guerra Mundial por inanição, três meses depois de ter sido preso em Praga.
Factos rápidos
Gerhard Gentzen | |
---|---|
Fundamentos da matemática, teoria da prova | |
Nascimento | 24 de novembro de 1909 Greifswald |
Morte | 4 de agosto de 1945 (35 anos) Praga |
Sepultamento | Ďáblice cemetery |
Nacionalidade | alemão |
Cidadania | Império Alemão, República de Weimar, Alemanha Nazista |
Alma mater | Universidade de Göttingen |
Ocupação | matemático, filósofo, pedagogo, professor universitário, lógico |
Empregador(a) | Universidade Carolina, Universidade de Göttingen, Wehrmacht |
Orientador(a)(es/s) | Paul Bernays, Hermann Weyl |
Campo(s) | matemática, lógica |
Tese | 1933: Untersuchungen über das logische Schließen |
Obras destacadas | demonstração de consistência de Gentzen |
Fechar