Kurt Schütte (original) (raw)
Kurt Schütte (14 d'octubre de 1909, - 18 d'agost de 1998, Munic) fou un matemàtic alemany que treballà en la teoria de la demostració i en l'anàlisi ordinal. L', que demostrà ser l'ordinal precís d'impredicativitat, porta el seu nom com a homenatge.
Property | Value |
---|---|
dbo:abstract | Kurt Schütte (14 d'octubre de 1909, - 18 d'agost de 1998, Munic) fou un matemàtic alemany que treballà en la teoria de la demostració i en l'anàlisi ordinal. L', que demostrà ser l'ordinal precís d'impredicativitat, porta el seu nom com a homenatge. (ca) Kurt Schütte (* 14. Oktober 1909 in Salzwedel; † 18. August 1998 in München) war ein deutscher Mathematiker und Hochschullehrer. (de) Kurt Schütte (14 de octubre de 1909, Salzwedel – 18 de agosto de 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 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing. (en) Kurt Georg Schütte (14 octobre 1909, Salzwedel - 18 août 1998, Munich) est un mathématicien allemand qui a travaillé dans les domaines de la théorie de la démonstration et de l'analyse ordinale. (fr) Kurt Schütte (Salzwedel, 14 oktober 1909 - München, 18 augustus 1998) was een Duitse wiskundige en hoogleraar. In 1953 loste hij met de Nederlandse wiskundige Bartel Leendert van der Waerden het door Isaac Newton gesignaleerde probleem van het kusgetal voor 3 dimensies op. Midden jaren 60 gaat in de bewijstheorie het Feferman-Schütte-ordinaalgetal mede terug op hem omdat hij dit onafhankelijk van vond. (nl) Kurt Schütte (Salzwedel, 14 de outubro de 1909 — Munique, 18 de agosto de 1998) foi um matemático alemão. (pt) |
dbo:birthDate | 1909-10-14 (xsd:date) |
dbo:birthPlace | dbr:Salzwedel |
dbo:deathPlace | dbr:Munich |
dbo:doctoralAdvisor | dbr:David_Hilbert |
dbo:knownFor | dbr:Feferman–Schütte_ordinal |
dbo:thumbnail | wiki-commons:Special:FilePath/Kurt_Schuette.jpg?width=300 |
dbo:wikiPageExternalLink | http://genealogy.math.ndsu.nodak.edu/id.php%3Fid=7400 http://epub.ub.uni-muenchen.de/4264/ http://owpdb.mfo.de/person_detail%3Fid=316 |
dbo:wikiPageID | 16184365 (xsd:integer) |
dbo:wikiPageLength | 3875 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1107901647 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Salzwedel dbr:David_Hilbert dbr:Germans dbr:Munich dbr:Ordinal_analysis dbr:Feferman–Schütte_ordinal dbr:Mathematician dbc:1909_births dbc:1998_deaths dbc:Mathematical_logicians dbc:People_from_the_Province_of_Saxony dbr:Doctoral_advisor dbc:People_from_Salzwedel dbr:Proof_theory dbr:Helmut_Schwichtenberg dbc:20th-century_German_mathematicians dbr:Martin_Wirsing dbr:Wolfgang_Bibel dbr:Mathematics_Genealogy_Project |
dbp:birthDate | 1909-10-14 (xsd:date) |
dbp:birthPlace | dbr:Salzwedel |
dbp:caption | (en) |
dbp:deathPlace | dbr:Munich |
dbp:doctoralAdvisor | dbr:David_Hilbert |
dbp:knownFor | dbr:Feferman–Schütte_ordinal |
dbp:thesisTitle | Untersuchungen zum Entscheidungsproblem der mathematischen Logik (en) |
dbp:thesisYear | 1934 (xsd:integer) |
dbp:wikiPageUsesTemplate | dbt:Germany-mathematician-stub dbt:Authority_control dbt:Birth_date dbt:Citation dbt:Reflist dbt:Short_description dbt:Death_date_and_age dbt:Infobox_scientist dbt:NDB |
dct:subject | dbc:1909_births dbc:1998_deaths dbc:Mathematical_logicians dbc:People_from_the_Province_of_Saxony dbc:People_from_Salzwedel dbc:20th-century_German_mathematicians |
gold:hypernym | dbr:Mathematician |
rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatMathematicalLogicians wikidata:Q901 yago:CausalAgent100007347 yago:Expert109617867 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:WikicatGermanMathematicians yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:WikicatEthnicGermanPeople |
rdfs:comment | Kurt Schütte (14 d'octubre de 1909, - 18 d'agost de 1998, Munic) fou un matemàtic alemany que treballà en la teoria de la demostració i en l'anàlisi ordinal. L', que demostrà ser l'ordinal precís d'impredicativitat, porta el seu nom com a homenatge. (ca) Kurt Schütte (* 14. Oktober 1909 in Salzwedel; † 18. August 1998 in München) war ein deutscher Mathematiker und Hochschullehrer. (de) Kurt Schütte (14 de octubre de 1909, Salzwedel – 18 de agosto de 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 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis. The Feferman–Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him. He was the doctoral advisor of 16 students, including Wolfgang Bibel, Wolfgang Maaß, Wolfram Pohlers, and Martin Wirsing. (en) Kurt Georg Schütte (14 octobre 1909, Salzwedel - 18 août 1998, Munich) est un mathématicien allemand qui a travaillé dans les domaines de la théorie de la démonstration et de l'analyse ordinale. (fr) Kurt Schütte (Salzwedel, 14 oktober 1909 - München, 18 augustus 1998) was een Duitse wiskundige en hoogleraar. In 1953 loste hij met de Nederlandse wiskundige Bartel Leendert van der Waerden het door Isaac Newton gesignaleerde probleem van het kusgetal voor 3 dimensies op. Midden jaren 60 gaat in de bewijstheorie het Feferman-Schütte-ordinaalgetal mede terug op hem omdat hij dit onafhankelijk van vond. (nl) Kurt Schütte (Salzwedel, 14 de outubro de 1909 — Munique, 18 de agosto de 1998) foi um matemático alemão. (pt) |
rdfs:label | Kurt Schütte (ca) Kurt Schütte (de) Kurt Schütte (es) Kurt Schütte (fr) Kurt Schütte (en) Kurt Schütte (nl) Kurt Schütte (pt) |
owl:sameAs | freebase:Kurt Schütte http://d-nb.info/gnd/118611127 http://viaf.org/viaf/39893518 https://dblp.org/pid/190/4886-1 wikidata:Kurt Schütte http://data.bibliotheken.nl/id/thes/p067902251 http://arz.dbpedia.org/resource/كورت_شوت dbpedia-ca:Kurt Schütte dbpedia-de:Kurt Schütte dbpedia-es:Kurt Schütte dbpedia-fr:Kurt Schütte http://ht.dbpedia.org/resource/Kurt_Schütte dbpedia-nl:Kurt Schütte dbpedia-pms:Kurt Schütte dbpedia-pt:Kurt Schütte https://global.dbpedia.org/id/9aCz |
prov:wasDerivedFrom | wikipedia-en:Kurt_Schütte?oldid=1107901647&ns=0 |
foaf:depiction | wiki-commons:Special:FilePath/Kurt_Schuette.jpg |
foaf:isPrimaryTopicOf | wikipedia-en:Kurt_Schütte |
is dbo:doctoralAdvisor of | dbr:Wolfgang_Bibel |
is dbo:doctoralStudent of | dbr:David_Hilbert |
is dbo:wikiPageRedirects of | dbr:Kurt_Schutte dbr:K._Schutte dbr:K._Schütte |
is dbo:wikiPageWikiLink of | dbr:Salzwedel dbr:David_Hilbert dbr:Deaths_in_August_1998 dbr:Deep_inference dbr:List_of_logicians dbr:Kurt_Schutte dbr:German_Association_for_Mathematical_Lo..._Basic_Research_in_the_Exact_Sciences dbr:Ordinal_notation dbr:Antiprism dbr:Feferman–Schütte_ordinal dbr:Large_countable_ordinal dbr:List_of_German_mathematicians dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:Helmut_Schwichtenberg dbr:Martin_Wirsing dbr:Hugo_Erfurth dbr:Buchholz_psi_functions dbr:Wolfgang_Bibel dbr:Schutte dbr:K._Schutte dbr:K._Schütte |
is dbp:doctoralAdvisor of | dbr:Wolfgang_Bibel |
is dbp:doctoralStudents of | dbr:David_Hilbert |
is foaf:primaryTopic of | wikipedia-en:Kurt_Schütte |