GENTZEN, GERHARD (1909-1945)

Nac. en Greifswald (Pomerania), estudió en Greifswald, Gottingen, Munich, Berlín y, de nuevo, en Greifswald donde trabajó con Hermann Weyl. En 1934 fue nombrado ayudante de Hilbert, en Gottingen, continuando en el puesto después de la jubilación de Hilbert. Reclutado en el ejército alemán a comienzos de la guerra de 1939-1945, se le permitió, por razones de salud, licenciarse del ejército y de­dicarse a la enseñanza. En 1943 recibió su doctorado en Gottingen y este mismo año fue nombrado Dozent en la Universidad alemana de Praga. Al ser ocupada la ciudad por el Ejército soviético, fue encarcelado junto con otros profesores, falleciendo de inanición en la cárcel. Gentzen es conocido sobre todo por su reformulación de la lógica de predicados mediante un sistema de inferencia de que hemos hablado en el artículo Deducción natu­ral. Las reglas de inferencia de Gentzen o «reglas de Gentzen» han reemplazado en mu­chos casos los