Depiction of Gerhard Gentzen

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
  • 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. (es)
foaf:depiction
foaf:isPrimaryTopicOf
rdfs:label
  • Gerhard Gentzen (es)
Is foaf:primaryTopic of
dcterms:subject
dbpedia-owl:thumbnail
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 53735 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1680 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 27 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 75014478 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [27 values]
Is dbpedia-owl:wikiPageWikiLink of [11 values]