Mis mejores fotos ( Gerhard Gentzen )

by: gerhardgentzen @ 3 months ago - Edited @ 3 months ago
1.1K
Likes

Acerca de

Matemático y filósofo alemán que fue recordado por sus contribuciones a la teoría de la prueba, en particular el cálculo secuencial y la deducción natural.

Antes de la fama

Una vez estudió en la Universidad de Göttingen.

Trivia

Él ideó el teorema de eliminación de cortes, que se convirtió en la piedra angular de la semántica de la teoría de la prueba.

Vida familiar

Nació en Greifswald, Alemania. Fue miembro del Partido Nazi.

Asociado con

Él y Ludwig Wittgenstein fueron pioneros en la semántica de roles inferenciales.

Acerca de

Matemático y filósofo alemán que fue recordado por sus contribuciones a la teoría de la prueba, en particular el cálculo secuencial y la deducción natural.

Antes de la fama

Una vez estudió en la Universidad de Göttingen.

Trivia

Él ideó el teorema de eliminación de cortes, que se convirtió en la piedra angular de la semántica de la teoría de la prueba.

Vida familiar

Nació en Greifswald, Alemania. Fue miembro del Partido Nazi.

Asociado con

Él y Ludwig Wittgenstein fueron pioneros en la semántica de roles inferenciales.


1 st
Gerhard Gentzen 0

gerhardgentzen @ 3 months ago

gerhardgentzen gerhardgentzen3 months ago
Last Comments