Wikipédia em português - A enciclop...
Download this dictionary
Gerhard Gentzen
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
.
Veja mais na Wikipédia.org...
© Esse artigo usa material da
Wikipédia
®
sob a licença
Licença GNU de Documentação Livre
e sob nos termos da licença
Creative Commons Attribution-ShareAlike