| dbo:abstract |
Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst. (de) Ulrich Wilhelm Kohlenbach (lahir 27 Juli 1962) adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang . (in) Ulrich Wilhelm Kohlenbach (born 27 July 1962 in Frankfurt am Main) is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining. Kohlenbach was President of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2008 to 2012 and President of the Association for Symbolic Logic from 2016 to 2018. (en) Ulrich Wilhelm Kohlenbach (Frankfurt am Main, 27 de julho de 1962) é um matemático alemão, que trabalha com lógica matemática e em especial teoria da prova. (pt) |
| dbo:academicDiscipline |
dbr:Mathematical_logic dbr:Proof_theory |
| dbo:almaMater |
dbr:Goethe_University_Frankfurt |
| dbo:award |
dbr:Kurt_Gödel_Society |
| dbo:birthDate |
1962-07-27 (xsd:date) |
| dbo:birthPlace |
dbr:Frankfurt_am_Main |
| dbo:knownFor |
dbr:Proof_mining |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Ulrich_Kohlenbach.jpg?width=300 |
| dbo:wikiPageExternalLink |
https://www2.mathematik.tu-darmstadt.de/~kohlenbach/%7CUlrich |
| dbo:wikiPageID |
18204005 (xsd:integer) |
| dbo:wikiPageLength |
4463 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1123187790 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Benedikt_Löwe dbr:Deutsche_Vereinigung_für_mathematische...nforschung_der_exakten_Wissenschaften dbr:University_of_Michigan dbr:Kurt_Gödel_Society dbc:1962_births dbc:Living_people dbr:Mathematical_Research_Institute_of_Oberwolfach dbr:Mathematical_logic dbr:Goethe_University_Frankfurt dbr:Lessing-Gymnasium,_Frankfurt dbr:Frankfurt_am_Main dbc:Mathematical_logicians dbc:Goethe_University_Frankfurt_alumni dbr:Habilitation dbr:Julia_F._Knight dbr:Linguistics dbr:Aarhus_University dbr:Algebra dbr:Diplom dbr:Proof_theory dbr:International_Congress_of_Mathematicians dbr:Technische_Universität_Darmstadt dbc:20th-century_German_mathematicians dbc:Technische_Universität_Darmstadt_faculty dbr:Alasdair_Urquhart dbc:21st-century_German_mathematicians dbr:Association_for_Symbolic_Logic dbr:Proof_mining dbr:Studienstiftung_des_deutschen_Volkes dbr:Peter_Koepke |
| dbp:almaMater |
dbr:Goethe_University_Frankfurt |
| dbp:birthDate |
1962-07-27 (xsd:date) |
| dbp:birthPlace |
Frankfurt am Main, Germany (en) |
| dbp:caption |
Kohlenbach at Oberwolfach, 2011 (en) |
| dbp:doctoralAdvisor |
Horst Luckhardt (en) |
| dbp:field |
dbr:Mathematical_logic dbr:Proof_theory |
| dbp:imageSize |
220 (xsd:integer) |
| dbp:knownFor |
dbr:Proof_mining |
| dbp:name |
Ulrich Kohlenbach (en) |
| dbp:nationality |
German (en) |
| dbp:prizes |
dbr:Kurt_Gödel_Society |
| dbp:wikiPageUsesTemplate |
dbt:Germany-mathematician-stub dbt:Authority_control dbt:Infobox_officeholder dbt:Short_description dbt:Use_dmy_dates dbt:Birth_date_and_age dbt:Infobox_scientist |
| dbp:workInstitution |
dbr:Technische_Universität_Darmstadt |
| dct:subject |
dbc:1962_births dbc:Living_people dbc:Mathematical_logicians dbc:Goethe_University_Frankfurt_alumni dbc:20th-century_German_mathematicians dbc:Technische_Universität_Darmstadt_faculty dbc:21st-century_German_mathematicians |
| gold:hypernym |
dbr:Professor |
| schema:sameAs |
http://viaf.org/viaf/31472533 |
| 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:WikicatLivingPeople yago:WikicatMathematicalLogicians wikidata:Q901 yago:Alumnus109786338 yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:WikicatGermanMathematicians yago:WikicatGoetheUniversityFrankfurtAlumni yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians |
| rdfs:comment |
Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst. (de) Ulrich Wilhelm Kohlenbach (lahir 27 Juli 1962) adalah seorang matematikawan Jerman dan profesor aljabar dan logika di Technische Universität Darmstadt. Peminatan risetnya adalah bidang . (in) Ulrich Wilhelm Kohlenbach (born 27 July 1962 in Frankfurt am Main) is a German mathematician and professor of algebra and logic at the Technische Universität Darmstadt. His research interests lie in the field of proof mining. Kohlenbach was President of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2008 to 2012 and President of the Association for Symbolic Logic from 2016 to 2018. (en) Ulrich Wilhelm Kohlenbach (Frankfurt am Main, 27 de julho de 1962) é um matemático alemão, que trabalha com lógica matemática e em especial teoria da prova. (pt) |
| rdfs:label |
Ulrich Kohlenbach (de) Ulrich Kohlenbach (in) Ulrich Kohlenbach (pt) Ulrich Kohlenbach (en) |
| owl:sameAs |
freebase:Ulrich Kohlenbach yago-res:Ulrich Kohlenbach http://viaf.org/viaf/31472533 http://d-nb.info/gnd/1143631900 http://d-nb.info/gnd/186484992 https://dblp.org/pid/63/2811 https://orcid.org/0000-0002-4925-3506 wikidata:Ulrich Kohlenbach http://data.bibliotheken.nl/id/thes/p31441083X dbpedia-de:Ulrich Kohlenbach dbpedia-id:Ulrich Kohlenbach dbpedia-pt:Ulrich Kohlenbach https://global.dbpedia.org/id/4wgvZ |
| prov:wasDerivedFrom |
wikipedia-en:Ulrich_Kohlenbach?oldid=1123187790&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Ulrich_Kohlenbach.jpg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Ulrich_Kohlenbach |
| foaf:name |
Ulrich Kohlenbach (en) |
| is dbo:wikiPageWikiLink of |
dbr:Reverse_mathematics dbr:Mathematical_logic dbr:German_Association_for_Mathematical_Lo..._Basic_Research_in_the_Exact_Sciences dbr:Andrzej_Grzegorczyk dbr:Disjunction_and_existence_properties dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:Heyting_arithmetic dbr:Association_for_Symbolic_Logic dbr:Second-order_arithmetic dbr:Proof_mining |
| is foaf:primaryTopic of |
wikipedia-en:Ulrich_Kohlenbach |
