Vés al contingut

Gerhard Gentzen

De la Viquipèdia, l'enciclopèdia lliure
Plantilla:Infotaula personaGerhard Gentzen

Modifica el valor a Wikidata
Nom original(de) Gerhard Karl Erich Gentzen Modifica el valor a Wikidata
Biografia
Naixement24 novembre 1909 Modifica el valor a Wikidata
Greifswald (Regne de Prússia) Modifica el valor a Wikidata
Mort4 agost 1945 Modifica el valor a Wikidata (35 anys)
Praga (Txecoslovàquia) Modifica el valor a Wikidata
SepulturaCementiri Ďáblice 50° 08′ 03″ N, 14° 28′ 47″ E / 50.134109°N,14.479769°E / 50.134109; 14.479769 Modifica el valor a Wikidata
FormacióUniversitat de Göttingen (1931–1933)
Universitat Frederic Guillem de Berlín (1930–1931)
Universitat de Múnic (1930–1930)
Universitat de Göttingen (1929–1930)
Universitat de Greifswald (1928–1929) Modifica el valor a Wikidata
Tesi acadèmicaUntersuchungen über das logische Schließen Modifica el valor a Wikidata (1933 Modifica el valor a Wikidata)
Director de tesiPaul Bernays i Hermann Weyl Modifica el valor a Wikidata
Activitat
Camp de treballMatemàtiques, lògica, lògica matemàtica, teoria de nombres i teoria de la demostració Modifica el valor a Wikidata
Ocupaciómatemàtic, professor d'universitat, pedagog, filòsof, lògic Modifica el valor a Wikidata
OcupadorUniversitat Carolina de Praga (1943–1945)
Wehrmacht (1939–1941)
Universitat de Göttingen (1934–1943) Modifica el valor a Wikidata
PartitPartit Nacionalsocialista Alemany dels Treballadors Modifica el valor a Wikidata
Membre de
Obra
Obres destacables

Gerhard Gentzen (alemany: Gerhard Karl Erich Gentzen) (Greifswald, 24 de novembre de 1909 - Praga, 4 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.

Bibliografia

[modifica]

Enllaços externs

[modifica]