Gerhard Gentzen fue un matemático y lógico alemán. Nacido en Greifswald (Alemania), murió en Praga. Fue un estudiante de Weyl en la Universidad de Göttingen entre 1929 y 1933. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración. En 1934, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin cortes.
rdfs:comment |
|
foaf:depiction | |
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
dbpedia-owl:thumbnail | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [27 values] |
Is dbpedia-owl:wikiPageWikiLink of | [11 values] |