| Property |
Value |
| dbo:abstract
|
- Gaisi Takeuti (竹内 外史 Takeuchi Gaishi, 25 de enero de 1926-10 de mayo de 2017) fue un matemático japonés conocido por su trabajo en la teoría de la demostración, que publicó al menos 47 trabajos en 263 publicaciones. Después de graduarse en la Universidad de Tokio, fue a la Universidad de Princeton donde estudió bajo la supervisión de Kurt Gödel. Posteriormente, se convertiría en profesor de la Universidad de Illinois en . El profesor Tauketi fue presidente, entre los años 2003 al 2009, de la ; durante su presidencia en dicha institución trabajó en el reconocido libro . Su principal meta académica fue probar la consistencia de los números reales para lo cual, el profesor Takeuti, especulaba que la formalización de una secuencia lógica de segundo orden se elimina. También fue conocido por su trabajo en los con . (es)
- Gaisi Takeuti (竹内 外史 Takeuchi Gaishi, 25 de enero de 1926-10 de mayo de 2017) fue un matemático japonés conocido por su trabajo en la teoría de la demostración, que publicó al menos 47 trabajos en 263 publicaciones. Después de graduarse en la Universidad de Tokio, fue a la Universidad de Princeton donde estudió bajo la supervisión de Kurt Gödel. Posteriormente, se convertiría en profesor de la Universidad de Illinois en . El profesor Tauketi fue presidente, entre los años 2003 al 2009, de la ; durante su presidencia en dicha institución trabajó en el reconocido libro . Su principal meta académica fue probar la consistencia de los números reales para lo cual, el profesor Takeuti, especulaba que la formalización de una secuencia lógica de segundo orden se elimina. También fue conocido por su trabajo en los con . (es)
|
| dbo:almaMater
| |
| dbo:birthPlace
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:almaMáter
| |
| prop-es:conocidoPor
| |
| prop-es:fechaDeFallecimiento
| |
| prop-es:fechaDeNacimiento
| |
| prop-es:lugarDeNacimiento
| |
| prop-es:nombre
|
- Gaisi Takeuti (es)
- Gaisi Takeuti (es)
|
| prop-es:pieDeImagen
|
- Gaisi Takeuti (es)
- Gaisi Takeuti (es)
|
| prop-es:supervisorDoctoral
| |
| prop-es:tamañoDeImagen
| |
| prop-es:tesisDoctoral
| |
| prop-es:área
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Gaisi Takeuti (竹内 外史 Takeuchi Gaishi, 25 de enero de 1926-10 de mayo de 2017) fue un matemático japonés conocido por su trabajo en la teoría de la demostración, que publicó al menos 47 trabajos en 263 publicaciones. Después de graduarse en la Universidad de Tokio, fue a la Universidad de Princeton donde estudió bajo la supervisión de Kurt Gödel. Posteriormente, se convertiría en profesor de la Universidad de Illinois en . El profesor Tauketi fue presidente, entre los años 2003 al 2009, de la ; durante su presidencia en dicha institución trabajó en el reconocido libro . (es)
- Gaisi Takeuti (竹内 外史 Takeuchi Gaishi, 25 de enero de 1926-10 de mayo de 2017) fue un matemático japonés conocido por su trabajo en la teoría de la demostración, que publicó al menos 47 trabajos en 263 publicaciones. Después de graduarse en la Universidad de Tokio, fue a la Universidad de Princeton donde estudió bajo la supervisión de Kurt Gödel. Posteriormente, se convertiría en profesor de la Universidad de Illinois en . El profesor Tauketi fue presidente, entre los años 2003 al 2009, de la ; durante su presidencia en dicha institución trabajó en el reconocido libro . (es)
|
| rdfs:label
|
- Gaisi Takeuti (es)
- Gaisi Takeuti (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Gaisi Takeuti (竹内 外史 Takeuchi Gaishi) (es)
- Gaisi Takeuti (竹内 外史 Takeuchi Gaishi) (es)
|
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
