Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Alex Wilkie
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Alex_Wilkie
Birthplace http://dbpedia.org/resource/Northampton +
http://dbpedia.org/ontology/abstract Alex James Wilkie est un mathématicien britannique né en 1948 à Northampton. Il est connu pour ses contributions à la théorie des modèles et à la logique mathématique. , Alex Wilkie, nascido Alec James Wilkie (NoAlex Wilkie, nascido Alec James Wilkie (Northampton, 1948), é um matemático britânico. Trabalha com lógica matemática e teoria dos modelos. Wilkie estudou na University College London (bacharel em 1969) e na Universidade de Londres, onde obteve o mestrado em lógica matemática em 1970, Em 1973 obteve um doutorado no , orientado por Wilfrid Hodges, com a tese Models of Number Theory. De 1972 a 1973 foi Lecturer na Universidade de Leicester, e depois até 1978 pesquisador na Open University, quando seguiu como Junior Lecturer para a Universidade de Oxford. De 1980 a 1981 foi professor assistente da Universidade Yale e em 1982 da Universidade Paris VII. Depois esteve na Universidade de Manchester e a partir de 1986 foi Reader de lógica matemática em Oxford, sucessor de Robin Gandy. Em 2007 assumiu a cátedra Fielden de Matemática Pura da Universidade de Manchester. Foi eleito em 2001 membro da Royal Society. Em 1993 recebeu o Prêmio Karp. Em 1986 foi palestrante convidado (Invited Speaker) no Congresso Internacional de Matemáticos em Berkeley, Califórnia (On schemes axiomatizing arithmetic) e 1998 no Congresso Internacional de Matemáticos em Berlim (O-Minimality). É desde 2007 conselheiro da London Mathematical Society e foi em 2006 vice-presidente da . Em 1993 apresentou a Tarski Lectures.da . Em 1993 apresentou a Tarski Lectures. , أليخاندرو ويلكي (بالإنجليزية: Alec Wilkie)‏ هو أستاذ جامعي ورياضياتي بريطاني، ولد في 1948 في نورثامبتون في المملكة المتحدة. , Alex Wilkie, eigentlich Alec James Wilkie,Alex Wilkie, eigentlich Alec James Wilkie, (* 1948 in Northampton) ist ein britischer mathematischer Logiker, der sich mit mathematischer Logik und Modelltheorie beschäftigt. Wilkie studierte am University College London (Bachelorabschluss 1969) und an der Universität London, wo er 1970 seinen Master-Abschluss in mathematischer Logik machte und 1973 am Bedford College bei Wilfrid Hodges promovierte (Models of Number Theory). 1972/73 war er Lecturer an der University of Leicester, danach bis 1978 Research Fellow an der Open University, bevor er als Junior Lecturer an die Universität Oxford ging. 1980/81 war er Assistant Professor an der Yale University und 1982 an der Universität Paris VII. Danach war er an der University of Manchester und ab 1986 Reader in mathematischer Logik in Oxford als Nachfolger von Robin Gandy. 2007 ging er auf den Fielden Chair of Pure Mathematics an der Universität Manchester. 2001 wurde er Fellow der Royal Society, nach der Laudatio vor allem für Endlichkeitsresultate für durch die Exponentialfunktion definierte Mengen, wobei er differentialgeometrische Methoden mit solchen der Logik kombinierte. Seine Resultate hatten auch Anwendungen in der Theorie der Liegruppen. 1980 löste er „Tarski´s High School Algebra Problem“. Dieses fragt, ob es Identitäten mit Multiplikation, Addition, Potenzbildung gibt, die nicht aus elf (schon von Richard Dedekind formulierten) elementaren Axiomen der „Highschool“-Mathematik ableitbar sind. Wilkie fand solche elementar formulierbaren, mit diesen Axiomen der elementaren Mathematik aber nicht beweisbare Aussagen. 1993 erhielt er den Karp-Preis für seinen Beweis der modelltheoretischen Vollständigkeit des Körpers der reellen Zahlen mit der Exponentialfunktion und 2013 nochmals für Anwendungen der Modelltheorie in der Zahlentheorie. 1986 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Berkeley (On schemes axiomatizing arithmetic) und 1998 auf dem ICM in Berlin (O-Minimality). Er ist seit 2007 im Rat der London Mathematical Society und war 2006 Vizepräsident der Association for Symbolic Logic. 1993 hielt er die Tarski Lectures, für 2015 wurde er als Gödel-Lecturer ausgewählt und für 2017 wurde ihm der Pólya-Preis zugesprochen. 2013 wurde er zum Mitglied der Academia Europaea gewählt. Er ist verheiratet und hat zwei Kinder.t. Er ist verheiratet und hat zwei Kinder. , Alex James Wilkie FRS (born 1948 in NorthaAlex James Wilkie FRS (born 1948 in Northampton) is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007.s at the University of Manchester in 2007.
http://dbpedia.org/ontology/academicDiscipline http://dbpedia.org/resource/Model_theory +
http://dbpedia.org/ontology/almaMater http://dbpedia.org/resource/University_College_London + , http://dbpedia.org/resource/Bedford_College%2C_University_of_London +
http://dbpedia.org/ontology/award http://dbpedia.org/resource/P%C3%B3lya_Prize_%28LMS%29 + , http://dbpedia.org/resource/Fellow_of_the_Royal_Society +
http://dbpedia.org/ontology/birthName Alex James Wilkie
http://dbpedia.org/ontology/doctoralAdvisor http://dbpedia.org/resource/Wilfrid_Hodges +
http://dbpedia.org/ontology/knownFor http://dbpedia.org/resource/Wilkie%27s_theorem +
http://dbpedia.org/ontology/thumbnail http://commons.wikimedia.org/wiki/Special:FilePath/Alex_Wilkie.jpg?width=300 +
http://dbpedia.org/ontology/wikiPageID 10343119
http://dbpedia.org/ontology/wikiPageLength 6438
http://dbpedia.org/ontology/wikiPageRevisionID 1054581871
http://dbpedia.org/ontology/wikiPageWikiLink http://dbpedia.org/resource/P%C3%B3lya_Prize_%28LMS%29 + , http://dbpedia.org/resource/Mark_Pollicott + , http://dbpedia.org/resource/Open_University + , http://dbpedia.org/resource/School_of_Mathematics%2C_University_of_Manchester + , http://dbpedia.org/resource/Leicester_University + , http://dbpedia.org/resource/Mathematical_logic + , http://dbpedia.org/resource/Fielden_Chair_of_Pure_Mathematics + , http://dbpedia.org/resource/Category:Tarski_lecturers + , http://dbpedia.org/resource/Model_theory + , http://dbpedia.org/resource/Robin_Gandy + , http://dbpedia.org/resource/Category:G%C3%B6del_Lecturers + , http://dbpedia.org/resource/Category:Alumni_of_Bedford_College%2C_London + , http://dbpedia.org/resource/Oxford_University + , http://dbpedia.org/resource/Northampton + , http://dbpedia.org/resource/Category:Academics_of_the_University_of_Oxford + , http://dbpedia.org/resource/Jonathan_Pila + , http://dbpedia.org/resource/Category:1948_births + , http://dbpedia.org/resource/EPSRC + , http://dbpedia.org/resource/Karp_Prize + , http://dbpedia.org/resource/American_Mathematical_Society + , http://dbpedia.org/resource/Category:Fellows_of_Wolfson_College%2C_Oxford + , http://dbpedia.org/resource/University_College_London + , http://dbpedia.org/resource/Category:People_from_Northampton + , http://dbpedia.org/resource/Category:Fellows_of_the_American_Mathematical_Society + , http://dbpedia.org/resource/Royal_Society + , http://dbpedia.org/resource/Category:Model_theorists + , http://dbpedia.org/resource/Category:Academics_of_the_University_of_Manchester + , http://dbpedia.org/resource/Association_for_Symbolic_Logic + , http://dbpedia.org/resource/University_of_Paris_VII + , http://dbpedia.org/resource/Category:Living_people + , http://dbpedia.org/resource/Yale_University + , http://dbpedia.org/resource/Category:20th-century_English_mathematicians + , http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society + , http://dbpedia.org/resource/Wilfrid_Hodges + , http://dbpedia.org/resource/Fellow_of_the_Royal_Society + , http://dbpedia.org/resource/University_of_Oxford + , http://dbpedia.org/resource/London_Mathematical_Society + , http://dbpedia.org/resource/Bedford_College%2C_University_of_London + , http://dbpedia.org/resource/University_of_Manchester + , http://dbpedia.org/resource/G%C3%B6del_Lecture + , http://dbpedia.org/resource/Pfaffian_function + , http://dbpedia.org/resource/Category:21st-century_English_mathematicians + , http://dbpedia.org/resource/Ehud_Hrushovski + , http://dbpedia.org/resource/University_of_London + , http://dbpedia.org/resource/Aylesbury_Grammar_School + , http://dbpedia.org/resource/Wilkie%27s_theorem + , http://dbpedia.org/resource/International_Congress_of_Mathematicians + , http://dbpedia.org/resource/Category:Alumni_of_University_College_London + , http://dbpedia.org/resource/Category:Yale_University_faculty + , http://dbpedia.org/resource/Tarski%27s_high_school_algebra_problem + , http://dbpedia.org/resource/Category:People_educated_at_Aylesbury_Grammar_School +
http://dbpedia.org/property/after Current Holder
http://dbpedia.org/property/almaMater http://dbpedia.org/resource/Bedford_College%2C_University_of_London + , http://dbpedia.org/resource/University_College_London +
http://dbpedia.org/property/before http://dbpedia.org/resource/Mark_Pollicott +
http://dbpedia.org/property/birthName Alex James Wilkie
http://dbpedia.org/property/birthPlace Northampton, England
http://dbpedia.org/property/caption Wilkie, pictured in 2007
http://dbpedia.org/property/doctoralAdvisor http://dbpedia.org/resource/Wilfrid_Hodges +
http://dbpedia.org/property/field Mathematics, Model theory
http://dbpedia.org/property/knownFor http://dbpedia.org/resource/Wilkie%27s_theorem +
http://dbpedia.org/property/name Alex Wilkie
http://dbpedia.org/property/nationality British
http://dbpedia.org/property/prizes http://dbpedia.org/resource/Fellow_of_the_Royal_Society + , http://dbpedia.org/resource/P%C3%B3lya_Prize_%28LMS%29 + , Karp Prize
http://dbpedia.org/property/title http://dbpedia.org/resource/Fielden_Chair_of_Pure_Mathematics +
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Infobox_scientist + , http://dbpedia.org/resource/Template:S-start + , http://dbpedia.org/resource/Template:Birth_year_and_age + , http://dbpedia.org/resource/Template:FRS_2001 + , http://dbpedia.org/resource/Template:S-end + , http://dbpedia.org/resource/Template:EngvarB + , http://dbpedia.org/resource/Template:Authority_control + , http://dbpedia.org/resource/Template:Succession_box + , http://dbpedia.org/resource/Template:Use_dmy_dates + , http://dbpedia.org/resource/Template:Reflist +
http://dbpedia.org/property/workInstitutions http://dbpedia.org/resource/University_of_Manchester +
http://dbpedia.org/property/years 2007
http://purl.org/dc/terms/subject http://dbpedia.org/resource/Category:Academics_of_the_University_of_Oxford + , http://dbpedia.org/resource/Category:Fellows_of_the_American_Mathematical_Society + , http://dbpedia.org/resource/Category:Fellows_of_Wolfson_College%2C_Oxford + , http://dbpedia.org/resource/Category:Model_theorists + , http://dbpedia.org/resource/Category:21st-century_English_mathematicians + , http://dbpedia.org/resource/Category:People_from_Northampton + , http://dbpedia.org/resource/Category:Yale_University_faculty + , http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society + , http://dbpedia.org/resource/Category:Alumni_of_University_College_London + , http://dbpedia.org/resource/Category:20th-century_English_mathematicians + , http://dbpedia.org/resource/Category:Alumni_of_Bedford_College%2C_London + , http://dbpedia.org/resource/Category:Academics_of_the_University_of_Manchester + , http://dbpedia.org/resource/Category:1948_births + , http://dbpedia.org/resource/Category:Living_people + , http://dbpedia.org/resource/Category:G%C3%B6del_Lecturers + , http://dbpedia.org/resource/Category:Tarski_lecturers + , http://dbpedia.org/resource/Category:People_educated_at_Aylesbury_Grammar_School +
http://purl.org/linguistics/gold/hypernym http://dbpedia.org/resource/Mathematician +
http://schema.org/sameAs http://viaf.org/viaf/35803115 +
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Alex_Wilkie?oldid=1054581871&ns=0 +
http://xmlns.com/foaf/0.1/depiction http://commons.wikimedia.org/wiki/Special:FilePath/Alex_Wilkie.jpg +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://en.wikipedia.org/wiki/Alex_Wilkie +
http://xmlns.com/foaf/0.1/name Alex Wilkie
owl:sameAs http://www.wikidata.org/entity/Q2603729 + , http://de.dbpedia.org/resource/Alex_Wilkie + , http://arz.dbpedia.org/resource/%D8%A7%D9%84%D9%8A%D8%AE%D8%A7%D9%86%D8%AF%D8%B1%D9%88_%D9%88%D9%8A%D9%84%D9%83%D9%89 + , http://viaf.org/viaf/35803115 + , http://pt.dbpedia.org/resource/Alex_Wilkie + , https://dblp.org/pid/01/1379 + , http://data.bibliotheken.nl/id/thes/p068629095 + , http://yago-knowledge.org/resource/Alex_Wilkie + , http://ar.dbpedia.org/resource/%D8%A3%D9%84%D9%8A%D8%AE%D8%A7%D9%86%D8%AF%D8%B1%D9%88_%D9%88%D9%8A%D9%84%D9%83%D9%8A + , http://ht.dbpedia.org/resource/Alex_Wilkie + , http://fr.dbpedia.org/resource/Alex_Wilkie + , http://dbpedia.org/resource/Alex_Wilkie + , http://rdf.freebase.com/ns/m.02q8zr3 + , https://global.dbpedia.org/id/2SQ8T +
rdf:type http://dbpedia.org/class/yago/Organism100004475 + , http://dbpedia.org/ontology/Scientist + , http://dbpedia.org/class/yago/LivingThing100004258 + , http://dbpedia.org/ontology/Person + , http://dbpedia.org/class/yago/Mathematician110301261 + , http://dbpedia.org/class/yago/WikicatTarskiLecturers + , http://dbpedia.org/class/yago/PhysicalEntity100001930 + , http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson + , http://dbpedia.org/ontology/Eukaryote + , http://dbpedia.org/class/yago/WikicatAlumniOfUniversityCollegeLondon + , http://www.wikidata.org/entity/Q901 + , http://xmlns.com/foaf/0.1/Person + , http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfOxford + , http://dbpedia.org/class/yago/WikicatBritishPeople + , http://dbpedia.org/class/yago/CausalAgent100007347 + , http://dbpedia.org/ontology/Animal + , http://dbpedia.org/class/yago/WikicatEnglishMathematicians + , http://www.wikidata.org/entity/Q19088 + , http://dbpedia.org/class/yago/Peer109626238 + , http://dbpedia.org/class/yago/Colleague109935990 + , http://dbpedia.org/class/yago/WikicatFellowsOfTheRoyalSociety + , http://dbpedia.org/class/yago/YagoLegalActorGeo + , http://dbpedia.org/class/yago/YagoLegalActor + , http://umbel.org/umbel/rc/Scientist + , http://dbpedia.org/class/yago/Scholar110557854 + , http://dbpedia.org/class/yago/Intellectual109621545 + , http://dbpedia.org/class/yago/Alumnus109786338 + , http://dbpedia.org/class/yago/WikicatFellowsOfTheAmericanMathematicalSociety + , http://www.wikidata.org/entity/Q5 + , http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfManchester + , http://schema.org/Person + , http://www.wikidata.org/entity/Q729 + , http://www.wikidata.org/entity/Q215627 + , http://dbpedia.org/class/yago/Professional110480253 + , http://dbpedia.org/class/yago/Object100002684 + , http://dbpedia.org/class/yago/WikicatFellowsOfWolfsonCollege%2COxford + , http://dbpedia.org/class/yago/Associate109816771 + , http://dbpedia.org/class/yago/Theorist110706812 + , http://dbpedia.org/class/yago/Lector110252222 + , http://dbpedia.org/class/yago/Whole100003553 + , http://dbpedia.org/class/yago/WikicatPeopleEducatedAtAylesburyGrammarSchool + , http://dbpedia.org/class/yago/Adult109605289 + , http://dbpedia.org/class/yago/Educator110045713 + , http://dbpedia.org/class/yago/Person100007846 + , http://dbpedia.org/class/yago/Academician109759069 + , http://dbpedia.org/ontology/Species + , http://dbpedia.org/class/yago/WikicatLivingPeople + , http://dbpedia.org/class/yago/WikicatAlumniOfBedfordCollege%28London%29 + , http://dbpedia.org/class/yago/Scientist110560637 + , http://dbpedia.org/class/yago/WikicatPeopleFromNorthampton + , http://dbpedia.org/class/yago/WikicatModelTheorists +
rdfs:comment Alex Wilkie, eigentlich Alec James Wilkie,Alex Wilkie, eigentlich Alec James Wilkie, (* 1948 in Northampton) ist ein britischer mathematischer Logiker, der sich mit mathematischer Logik und Modelltheorie beschäftigt. Wilkie studierte am University College London (Bachelorabschluss 1969) und an der Universität London, wo er 1970 seinen Master-Abschluss in mathematischer Logik machte und 1973 am Bedford College bei Wilfrid Hodges promovierte (Models of Number Theory). 1972/73 war er Lecturer an der University of Leicester, danach bis 1978 Research Fellow an der Open University, bevor er als Junior Lecturer an die Universität Oxford ging. 1980/81 war er Assistant Professor an der Yale University und 1982 an der Universität Paris VII. Danach war er an der University of Manchester und ab 1986 Reader in mathematischer Logik in Oxford aleader in mathematischer Logik in Oxford al , Alex Wilkie, nascido Alec James Wilkie (NoAlex Wilkie, nascido Alec James Wilkie (Northampton, 1948), é um matemático britânico. Trabalha com lógica matemática e teoria dos modelos. Wilkie estudou na University College London (bacharel em 1969) e na Universidade de Londres, onde obteve o mestrado em lógica matemática em 1970, Em 1973 obteve um doutorado no , orientado por Wilfrid Hodges, com a tese Models of Number Theory. De 1972 a 1973 foi Lecturer na Universidade de Leicester, e depois até 1978 pesquisador na Open University, quando seguiu como Junior Lecturer para a Universidade de Oxford. De 1980 a 1981 foi professor assistente da Universidade Yale e em 1982 da Universidade Paris VII. Depois esteve na Universidade de Manchester e a partir de 1986 foi Reader de lógica matemática em Oxford, sucessor de Robin Gandy. Em 2007 assuord, sucessor de Robin Gandy. Em 2007 assu , Alex James Wilkie est un mathématicien britannique né en 1948 à Northampton. Il est connu pour ses contributions à la théorie des modèles et à la logique mathématique. , Alex James Wilkie FRS (born 1948 in NorthaAlex James Wilkie FRS (born 1948 in Northampton) is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007.s at the University of Manchester in 2007. , أليخاندرو ويلكي (بالإنجليزية: Alec Wilkie)‏ هو أستاذ جامعي ورياضياتي بريطاني، ولد في 1948 في نورثامبتون في المملكة المتحدة.
rdfs:label Alex Wilkie , أليخاندرو ويلكي
hide properties that link here 
http://dbpedia.org/resource/Wilfrid_Hodges + http://dbpedia.org/ontology/doctoralStudent
http://dbpedia.org/resource/A._J._Wilkie + , http://dbpedia.org/resource/Alec_James_Wilkie + , http://dbpedia.org/resource/Alex_J._Wilkie + http://dbpedia.org/ontology/wikiPageRedirects
http://dbpedia.org/resource/Wilfrid_Hodges + , http://dbpedia.org/resource/European_Union_Contest_for_Young_Scientists + , http://dbpedia.org/resource/Nonstandard_analysis + , http://dbpedia.org/resource/Bounded_arithmetic + , http://dbpedia.org/resource/G%C3%B6del_Lecture + , http://dbpedia.org/resource/Tarski_Lectures + , http://dbpedia.org/resource/Schanuel%27s_conjecture + , http://dbpedia.org/resource/Pfaffian_function + , http://dbpedia.org/resource/Lou_van_den_Dries + , http://dbpedia.org/resource/Wilkie%27s_theorem + , http://dbpedia.org/resource/Wilkie_%28surname%29 + , http://dbpedia.org/resource/List_of_Labour_Party_%28UK%29_MPs + , http://dbpedia.org/resource/Tarski%27s_high_school_algebra_problem + , http://dbpedia.org/resource/Transcendental_function + , http://dbpedia.org/resource/Ehud_Hrushovski + , http://dbpedia.org/resource/Angus_Macintyre + , http://dbpedia.org/resource/Association_for_Symbolic_Logic + , http://dbpedia.org/resource/Proof_complexity + , http://dbpedia.org/resource/Royal_Holloway%2C_University_of_London + , http://dbpedia.org/resource/Department_of_Mathematics%2C_University_of_Manchester + , http://dbpedia.org/resource/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers + , http://dbpedia.org/resource/Aylesbury_Grammar_School + , http://dbpedia.org/resource/Jonathan_Pila + , http://dbpedia.org/resource/Bedford_College%2C_London + , http://dbpedia.org/resource/Fielden_Professor_of_Pure_Mathematics + , http://dbpedia.org/resource/Andrzej_Grzegorczyk + , http://dbpedia.org/resource/List_of_people_by_Erd%C5%91s_number + , http://dbpedia.org/resource/Titles_of_distinction_awarded_by_the_University_of_Oxford + , http://dbpedia.org/resource/Mark_Pollicott + , http://dbpedia.org/resource/P%C3%B3lya_Prize_%28LMS%29 + , http://dbpedia.org/resource/A._J._Wilkie + , http://dbpedia.org/resource/Alec_James_Wilkie + , http://dbpedia.org/resource/Alex_J._Wilkie + , http://dbpedia.org/resource/Alex_James_Wilkie + http://dbpedia.org/ontology/wikiPageWikiLink
http://dbpedia.org/resource/Mark_Pollicott + http://dbpedia.org/property/after
http://dbpedia.org/resource/Wilfrid_Hodges + http://dbpedia.org/property/doctoralStudents
http://en.wikipedia.org/wiki/Alex_Wilkie + http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/Alex_Wilkie + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.