Property |
Value |
dbo:abstract
|
- Kurt Schütte (14 de octubre 1909, Salzwedel – 18 de agosto 1998, Munich) fue un matemático alemán quien trabajó en la teoría de la prueba y el . El ordinal de Feferman-Schütte, que demostró ser el ordinal preciso de impredicatividad, lleva su nombre. (es)
- Kurt Schütte (14 de octubre 1909, Salzwedel – 18 de agosto 1998, Munich) fue un matemático alemán quien trabajó en la teoría de la prueba y el . El ordinal de Feferman-Schütte, que demostró ser el ordinal preciso de impredicatividad, lleva su nombre. (es)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:first
|
- Kurt (es)
- Wolfram (es)
- Kurt (es)
- Wolfram (es)
|
prop-es:isbn
| |
prop-es:journal
|
- The Bulletin of Symbolic Logic (es)
- The Bulletin of Symbolic Logic (es)
|
prop-es:last
|
- Pohlers (es)
- Schütte (es)
- Pohlers (es)
- Schütte (es)
|
prop-es:mr
| |
prop-es:pages
|
- 101 (xsd:integer)
- xii+299 (es)
|
prop-es:place
|
- Berlin-New York (es)
- Berlin-New York (es)
|
prop-es:publisher
|
- Springer-Verlag (es)
- Springer-Verlag (es)
|
prop-es:series
|
- Grundlehren der Mathematischen Wissenschaften (es)
- Grundlehren der Mathematischen Wissenschaften (es)
|
prop-es:title
|
- Proof theory (es)
- In Memoriam: Kurt Schütte, 1909-1998 (es)
- Proof theory (es)
- In Memoriam: Kurt Schütte, 1909-1998 (es)
|
prop-es:url
|
- http://links.jstor.org/sici?sici=1079-8986%28200003%296%3A1%3C101%3AIMKS1%3E2.0.CO%3B2-G|issue= 1 (es)
- http://links.jstor.org/sici?sici=1079-8986%28200003%296%3A1%3C101%3AIMKS1%3E2.0.CO%3B2-G|issue= 1 (es)
|
prop-es:volume
|
- 6 (xsd:integer)
- 225 (xsd:integer)
|
prop-es:year
|
- 1977 (xsd:integer)
- 2000 (xsd:integer)
|
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Kurt Schütte (14 de octubre 1909, Salzwedel – 18 de agosto 1998, Munich) fue un matemático alemán quien trabajó en la teoría de la prueba y el . El ordinal de Feferman-Schütte, que demostró ser el ordinal preciso de impredicatividad, lleva su nombre. (es)
- Kurt Schütte (14 de octubre 1909, Salzwedel – 18 de agosto 1998, Munich) fue un matemático alemán quien trabajó en la teoría de la prueba y el . El ordinal de Feferman-Schütte, que demostró ser el ordinal preciso de impredicatividad, lleva su nombre. (es)
|
rdfs:label
|
- Kurt Schütte (es)
- Kurt Schütte (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |