Gerhard Gentzen var en tysk logiker. Efter studier i matematik i Greifswald, Göttingen, München og Berlin var Gerhard Gentzen fra 1934 assistent for David Hilbert og blev i 1943 docent ved det tyske universitet i Prag. I august 1945 døde han i allieret internering.
Gerhard Gentzen udviklede to nye former for aksiomatisering af logikken, kaldet naturlig deduktion og sekventkalkyle; formelle beviser i disse systemer svarer ret nøje til uformelle, intuitive argumentformer.
Hans navn er knyttet til to vigtige resultater. Han viste, at det er muligt at finde en normalform for beviser i prædikatslogikken, som har minimal kompleksitet (Gentzens Hauptsatz).
Endvidere viste han, at det er muligt at bevise aritmetikkens konsistens, dvs. at der ikke findes logiske modsigelser i aritmetikken. Begge resultater spiller en afgørende rolle i moderne bevisteori.
Gerhard Gentzens bevis for aritmetikkens konsistens hviler på antagelser vedrørende induktionsbeviser over visse uendelig store tal. Hans resultat viser, at det på trods af Kurt Gödels ufuldstændighedssætninger giver mening at føre konsistensbeviser, hvilket har ført til nye, svagere formuleringer af Hilberts program om at bevise matematiske teoriers konsistens.
Regeringen har nu præsenteret et udspil til en ny karakterskala, der skal erstatte den nuværende 7-trinsskala. 7-trinsskalaen har været i brug siden 2006 og er blandt andet blevet kritiseret for dens brug af den negative karakter -3.
J-dag er dagen, hvor Tuborgs julebryg kommer i handlen. Dagen falder hvert år på den første fredag i november. J-dag blev lanceret i 1990 efter fransk forbillede.
Tyfonen Kalmaegi har været skyld i mindst 114 filippineres død siden tirsdag. Kalmaegi bevæger sig nu mod Vietnam, der allerede er ramt af massive oversvømmelser. Tyfon er betegnelsen for en tropisk cyklon dannet i det vestlige Stillehav.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.