Gerhard Gentzen

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaGerhard Gentzen
Gerhard Gentzen.jpg
Biografia
Naixement 24 novembre 1909
Greifswald
Mort 4 agost 1945 (35 anys)
Praga
Formació Universitat de Göttingen
Activitat
Director de tesi Paul Bernays
Camp de treball Matemàtiques
Ocupació Matemàtic, filòsof, pedagog i professor d'universitat
Ocupador Universitat Carolina de Praga
Partit Partit Nacional Socialista dels Treballadors Alemanys
Modifica les dades a Wikidata

Gerhard Gentzen (24 de novembre de 19094 d'agost de 1945) fou un matemàtic i lògic alemany. Va néixer a Greifswald (Alemanya) i va morir a Praga (República Txeca).

Carrera acadèmica[modifica]

Gentzen va estudiar amb Weyl a la Universitat de Göttingen entre el 1929 i el 1933. Els seus principals treballs d'aquesta època tractaven sobre els fonaments de la matemàtica i la teoria de la demostració. El 1934, Gentzen va introduir la noció de sistema de deducció natural per a la lògica clàssica i la lògica intuicionista. En un treball d'aquest mateix any demostrà que tota demostració es pot escriure de manera normalitzada sense talls. I amb aquesta finalitat introduí el càlcul de conseqüències lògiques o sequents. El 1936, Gentzen demostrà la consistència de la teoria de nombres elemental.

Durant la Segona Guerra Mundial va ser nomenat professor a la Universitat alemanya de Praga. Capturat pels soviètics va morir com a presoner poc després d'acabar la guerra.

Teorema d'eliminació de talls[modifica]

El teorema d'eliminació de talls estableix que tota derivació del càlcul de conseqüències lògiques pot ser normalitzada amb una derivació que arriba a la mateixa conclusió sense utilitzar lemes auxiliars.

Enllaços externs[modifica]