Gerhard Gentzen
Gerhard Karl Erich Gentzen 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.
Imagem: Eckart Menzler-Trott · BY-SA · Openverse
Gentzen foi aluno de Paul Bernays na Universidade de Göttingen. Bernays foi demitido por não ser ariano em abril de 1933 e então, Hermann Weyl começou a atuar formalmente como seu supervisor. Com grandes riscos para a sua carreira, Gentzen continuou em contato com Bernays até o começo da Segunda Guerra Mundial. Em novembro de 1933, ele se juntou ao Sturmabteilung, agência precursora do partido Nazista, para passar no exame nacional para professores. Em 1935, ele se correspondeu com Abraham Fraenkel, de Jerusalém, e foi denunciado pela União dos Professores Nazistas como aquele que "mantém contato com o povo escolhido". Em 1935 e 1936, Hermann Weyl, líder do Departamento de Matemática de Göttingen em 1933 até sua resignação sob pressão do partido Nazista, fez esforços para trazê-lo para o Instituto de Estudos Avançados de Princeton. Entre Novembro de 1935 e 1939, ele foi assistente de David Hilbert, em Göttingen. Para poder participar de um congresso em Paris em 1937, ele teve que entrar no Partido Nacional Socialista Alemão dos Trabalhadores. Uma das publicações de Gretzen teve uma segunda publicação no infame "Deutsch Mathematik" que foi fundado por Ludwig Bieberbach que promoveu a matemática "ariana".
