Gerhard Gentzen

matemàtic alemany

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).

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

Descrit per la fontObálky knih, Modifica el valor a Wikidata

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