Alex Wilkie (original) (raw)
أليخاندرو ويلكي (بالإنجليزية: Alec Wilkie) هو أستاذ جامعي ورياضياتي بريطاني، ولد في 1948 في نورثامبتون في المملكة المتحدة.
| Property | Value |
|---|---|
| dbo:abstract | أليخاندرو ويلكي (بالإنجليزية: Alec Wilkie) هو أستاذ جامعي ورياضياتي بريطاني، ولد في 1948 في نورثامبتون في المملكة المتحدة. (ar) Alex 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. (en) 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. (de) 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. (fr) Alex 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. (pt) |
| dbo:academicDiscipline | dbr:Model_theory |
| dbo:almaMater | dbr:University_College_London dbr:Bedford_College,_University_of_London |
| dbo:award | dbr:Fellow_of_the_Royal_Society dbr:Pólya_Prize_(LMS) |
| dbo:birthName | Alex James Wilkie (en) |
| dbo:birthPlace | dbr:Northampton |
| dbo:doctoralAdvisor | dbr:Wilfrid_Hodges |
| dbo:knownFor | dbr:Wilkie's_theorem |
| dbo:thumbnail | wiki-commons:Special:FilePath/Alex_Wilkie.jpg?width=300 |
| dbo:wikiPageID | 10343119 (xsd:integer) |
| dbo:wikiPageLength | 6438 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1054581871 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Robin_Gandy dbr:Royal_Society dbr:School_of_Mathematics,_University_of_Manchester dbr:Model_theory dbr:Jonathan_Pila dbr:University_College_London dbr:University_of_London dbr:University_of_Manchester dbr:University_of_Oxford dbr:Bedford_College,_University_of_London dbc:Living_people dbr:Mathematical_logic dbr:Pfaffian_function dbc:Fellows_of_Wolfson_College,_Oxford dbc:Gödel_Lecturers dbc:Tarski_lecturers dbr:Ehud_Hrushovski dbr:London_Mathematical_Society dbr:Aylesbury_Grammar_School dbc:1948_births dbc:20th-century_English_mathematicians dbc:21st-century_English_mathematicians dbc:Academics_of_the_University_of_Manchester dbc:Alumni_of_University_College_London dbc:Fellows_of_the_Royal_Society dbc:Yale_University_faculty dbc:Alumni_of_Bedford_College,_London dbr:Wilfrid_Hodges dbr:Gödel_Lecture dbr:American_Mathematical_Society dbr:Fellow_of_the_Royal_Society dbr:Northampton dbr:Pólya_Prize_(LMS) dbr:International_Congress_of_Mathematicians dbr:EPSRC dbr:Fielden_Chair_of_Pure_Mathematics dbc:Academics_of_the_University_of_Oxford dbc:Fellows_of_the_American_Mathematical_Society dbc:People_from_Northampton dbc:Model_theorists dbc:People_educated_at_Aylesbury_Grammar_School dbr:Association_for_Symbolic_Logic dbr:Mark_Pollicott dbr:Open_University dbr:Yale_University dbr:Leicester_University dbr:Wilkie's_theorem dbr:University_of_Paris_VII dbr:Oxford_University dbr:Tarski's_high_school_algebra_problem dbr:Karp_Prize |
| dbp:after | Current Holder (en) |
| dbp:almaMater | dbr:University_College_London dbr:Bedford_College,_University_of_London |
| dbp:before | dbr:Mark_Pollicott |
| dbp:birthName | Alex James Wilkie (en) |
| dbp:birthPlace | Northampton, England (en) |
| dbp:caption | Wilkie, pictured in 2007 (en) |
| dbp:doctoralAdvisor | dbr:Wilfrid_Hodges |
| dbp:field | Mathematics, Model theory (en) |
| dbp:knownFor | dbr:Wilkie's_theorem |
| dbp:name | Alex Wilkie (en) |
| dbp:nationality | British (en) |
| dbp:prizes | dbr:Fellow_of_the_Royal_Society dbr:Pólya_Prize_(LMS) Karp Prize (en) |
| dbp:title | dbr:Fielden_Chair_of_Pure_Mathematics |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:EngvarB dbt:Reflist dbt:S-end dbt:S-start dbt:Succession_box dbt:Use_dmy_dates dbt:Birth_year_and_age dbt:Infobox_scientist dbt:FRS_2001 |
| dbp:workInstitutions | dbr:University_of_Manchester |
| dbp:years | 2007 (xsd:integer) |
| dct:subject | dbc:Living_people dbc:Fellows_of_Wolfson_College,_Oxford dbc:Gödel_Lecturers dbc:Tarski_lecturers dbc:1948_births dbc:20th-century_English_mathematicians dbc:21st-century_English_mathematicians dbc:Academics_of_the_University_of_Manchester dbc:Alumni_of_University_College_London dbc:Fellows_of_the_Royal_Society dbc:Yale_University_faculty dbc:Alumni_of_Bedford_College,_London dbc:Academics_of_the_University_of_Oxford dbc:Fellows_of_the_American_Mathematical_Society dbc:People_from_Northampton dbc:Model_theorists dbc:People_educated_at_Aylesbury_Grammar_School |
| gold:hypernym | dbr:Mathematician |
| schema:sameAs | http://viaf.org/viaf/35803115 |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatBritishPeople dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople yago:WikicatModelTheorists yago:WikicatPeopleEducatedAtAylesburyGrammarSchool yago:WikicatPeopleFromNorthampton wikidata:Q901 yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Educator110045713 yago:Intellectual109621545 yago:Lector110252222 yago:LivingThing100004258 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:WikicatAcademicsOfTheUniversityOfManchester yago:WikicatAcademicsOfTheUniversityOfOxford yago:WikicatAlumniOfBedfordCollege(London) yago:WikicatAlumniOfUniversityCollegeLondon yago:WikicatEnglishMathematicians yago:WikicatFellowsOfTheAmericanMathematicalSociety yago:WikicatFellowsOfTheRoyalSociety yago:WikicatFellowsOfWolfsonCollege,Oxford yago:WikicatTarskiLecturers umbel-rc:Scientist |
| rdfs:comment | أليخاندرو ويلكي (بالإنجليزية: Alec Wilkie) هو أستاذ جامعي ورياضياتي بريطاني، ولد في 1948 في نورثامبتون في المملكة المتحدة. (ar) Alex 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. (en) 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. (fr) 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 al (de) Alex 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 assu (pt) |
| rdfs:label | Alex Wilkie (en) أليخاندرو ويلكي (ar) Alex Wilkie (de) Alex Wilkie (fr) Alex Wilkie (pt) |
| owl:sameAs | freebase:Alex Wilkie yago-res:Alex Wilkie http://viaf.org/viaf/35803115 https://dblp.org/pid/01/1379 wikidata:Alex Wilkie http://data.bibliotheken.nl/id/thes/p068629095 dbpedia-ar:Alex Wilkie http://arz.dbpedia.org/resource/اليخاندرو_ويلكى dbpedia-de:Alex Wilkie dbpedia-fr:Alex Wilkie http://ht.dbpedia.org/resource/Alex_Wilkie dbpedia-pt:Alex Wilkie https://global.dbpedia.org/id/2SQ8T |
| prov:wasDerivedFrom | wikipedia-en:Alex_Wilkie?oldid=1054581871&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Alex_Wilkie.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Alex_Wilkie |
| foaf:name | Alex Wilkie (en) |
| is dbo:doctoralStudent of | dbr:Wilfrid_Hodges |
| is dbo:wikiPageRedirects of | dbr:Alec_James_Wilkie dbr:Alex_J._Wilkie dbr:Alex_James_Wilkie dbr:A._J._Wilkie |
| is dbo:wikiPageWikiLink of | dbr:Bedford_College,_London dbr:Proof_complexity dbr:Royal_Holloway,_University_of_London dbr:Jonathan_Pila dbr:Alec_James_Wilkie dbr:Alex_J._Wilkie dbr:Department_of_Mathematics,_University_of_Manchester dbr:List_of_people_by_Erdős_number dbr:Schanuel's_conjecture dbr:Pfaffian_function dbr:Titles_of_distinction_awarded_by_the_University_of_Oxford dbr:Ehud_Hrushovski dbr:Bounded_arithmetic dbr:Andrzej_Grzegorczyk dbr:Angus_Macintyre dbr:Lou_van_den_Dries dbr:Aylesbury_Grammar_School dbr:Wilfrid_Hodges dbr:Gödel_Lecture dbr:Alex_James_Wilkie dbr:Nonstandard_analysis dbr:List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers dbr:List_of_Labour_Party_(UK)_MPs dbr:Pólya_Prize_(LMS) dbr:Wilkie_(surname) dbr:Association_for_Symbolic_Logic dbr:Mark_Pollicott dbr:Fielden_Professor_of_Pure_Mathematics dbr:European_Union_Contest_for_Young_Scientists dbr:Wilkie's_theorem dbr:Transcendental_function dbr:Tarski's_high_school_algebra_problem dbr:Tarski_Lectures dbr:A._J._Wilkie |
| is dbp:after of | dbr:Mark_Pollicott |
| is dbp:doctoralStudents of | dbr:Wilfrid_Hodges |
| is foaf:primaryTopic of | wikipedia-en:Alex_Wilkie |
