| Property |
Value |
| dbo:abstract
|
- Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán. Nacido en Greifswald (Alemania), murió en Praga (República Checa). Fue un estudiante de Weyl en la Universidad de Gotinga 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. Para ello introduce el o secuentes. En 1936, Gentzen demuestra la consistencia de la teoría elemental de números. Como parte del esfuerzo de guerra alemán, fue nombrado profesor en la Universidad alemana de Praga. Capturado por los soviéticos, murió como prisionero poco después de terminar la guerra. (es)
- Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán. Nacido en Greifswald (Alemania), murió en Praga (República Checa). Fue un estudiante de Weyl en la Universidad de Gotinga 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. Para ello introduce el o secuentes. En 1936, Gentzen demuestra la consistencia de la teoría elemental de números. Como parte del esfuerzo de guerra alemán, fue nombrado profesor en la Universidad alemana de Praga. Capturado por los soviéticos, murió como prisionero poco después de terminar la guerra. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán. Nacido en Greifswald (Alemania), murió en Praga (República Checa). Fue un estudiante de Weyl en la Universidad de Gotinga 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. Para ello introduce el o secuentes. (es)
- Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán. Nacido en Greifswald (Alemania), murió en Praga (República Checa). Fue un estudiante de Weyl en la Universidad de Gotinga 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. Para ello introduce el o secuentes. (es)
|
| rdfs:label
|
- Gerhard Gentzen (es)
- Gerhard Gentzen (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
