145.224.74.166: Typo ein/eine

2025-02-08T21:04:27Z

Typo ein/eine

Neue Seite

[[Datei:Kevin buzzard in 2007.jpg|mini|K. Buzzard, 2007]]
'''Kevin Mark Buzzard''' (* [[21. September]] [[1968]]) ist ein britischer Mathematiker, der sich mit [[Zahlentheorie]] und [[Modulform]]en beschäftigt. Er ist Professor für reine Mathematik am [[Imperial College London]].<ref>{{Internetquelle |url=https://www.imperial.ac.uk/people/k.buzzard |titel=Home - Professor Kevin Buzzard |abruf=2020-08-29}}</ref>

Buzzard studierte an der [[Cambridge University]] (Bachelor 1990, Master 1994), wo er 1990 Senior Wrangler in den [[Tripos (Cambridge)|Tripos-Prüfungen]] war und 1995 bei [[Richard Taylor (Mathematiker)|Richard Taylor]] promovierte (The levels of modular representations). Als Post-Doc war er 1995 am [[Institute for Advanced Study]] und 1996/97 an der [[University of California, Berkeley]]. Ab 1998 war er [[Lecturer]], ab 2002 [[Reader (Hochschullehrer)|Reader]] und ab 2004 Professor am [[Imperial College]] in [[London]]. Er war 2002 am [[Institut Henri Poincaré]] in Paris und Gastprofessor in [[Harvard]].<ref>{{Internetquelle |autor=Kevin Buzzard |url=http://wwwf.imperial.ac.uk/~buzzard/stuff/cv.pdf |titel=CV Kevin Buzzard |werk= |hrsg= |datum= |abruf=2020-08-29 |sprache=en}}</ref>

In der Laudatio auf den Whitehead-Preis werden seine Arbeiten zur vollständigen Beschreibung der möglichen Stufen modularer mod l Galois-Darstellungen und seine Arbeiten zu p-adischen Modulformen hervorgehoben.<ref name=":0">{{Internetquelle |url=http://www.lms.ac.uk/activities/prizes_com/citations02/KMBUZZARD.html |titel=LMS Prizes 2001 |datum=2009-10-03 |abruf=2020-08-29 |archiv-url=https://web.archive.org/web/20091003221540/http://www.lms.ac.uk/activities/prizes_com/citations02/KMBUZZARD.html |archiv-datum=2009-10-03 |offline= }}</ref> Unter anderem vereinfachte er die Theorie von [[Robert F. Coleman]] und [[Barry Mazur]] über Familien p-adischer Modulformen (und verallgemeinerte deren Konstruktion von ''Eigencurves'' 2007 auf ''Eigenvarieties'') und gab ein Kriterium aus der [[Galoistheorie]] dafür, wann eine p-adische Modulform analytisch zu einer klassischen Modulform fortgesetzt werden kann.

1993 erhielt er den Smith-Preis der Universität Cambridge.<ref>{{Internetquelle |url=http://www.imperial.ac.uk/natural-sciences/departments/mathematics/research/pure-mathematics/prizes-and-awards/ |titel=Prizes and Awards |abruf=2020-08-29 |sprache=en-GB}}</ref> 2002 erhielt er den [[Whitehead-Preis]] der [[London Mathematical Society]]<ref name=":0" /> und 2008 den Senior [[Berwick-Preis]].<ref>{{Internetquelle |url=http://www.lms.ac.uk/activities/prizes_com/pastwinners.html |titel=LMS Prizes |datum=2007-08-04 |abruf=2020-08-29 |archiv-url=https://web.archive.org/web/20070804191203/http://www.lms.ac.uk/activities/prizes_com/pastwinners.html |archiv-datum=2007-08-04 |offline=ja }}</ref>

Zusätzlich zu seinem Hintergrund in Zahlentheorie entwickelte er ein Interesse an der formalen, [[Maschinengestütztes Beweisen|maschinengestützen Verifikation von mathematischen Beweisen]].<ref>{{Internetquelle |url=https://www.imperial.ac.uk/people/k.buzzard |titel=Home - Professor Kevin Buzzard |abruf=2020-08-29}}</ref> Er initiierte und leitet das [[Xena Projekt]], welches unter anderem Bachelor-Studenten dabei helfen soll, den Umgang mit dem Beweisassistenten [[Lean (Beweisassistent)|Lean]] beizubringen.<ref>{{Internetquelle |url=https://xenaproject.wordpress.com/what-is-the-xena-project/ |titel=What is the Xena project? |werk=Xena |datum=2019-05-08 |abruf=2020-08-29 |sprache=en}}</ref> Buzzard hielt verschiedene Vorträge über damit verbundene Themen, wie der [[Homotopietypentheorie]] als Grundlegung für Mathematik auf dem ''Online Worldwide Seminar on Logic and Semantics''<ref>{{Internetquelle |url=https://www.cs.bham.ac.uk/~vicaryjo/owls/ |titel=OWLS |abruf=2020-08-29}}</ref> oder maschinengestützten formalen Beweisen als mögliche Zukunft der Mathematik bei [[Microsoft Research]].<ref>{{Internetquelle |url=https://www.microsoft.com/en-us/research/video/the-future-of-mathematics/ |titel=The Future of Mathematics? |werk=Microsoft Research |abruf=2020-08-29 |sprache=en-US}}</ref> Zusammen mit Johan Commelin und Patrick Massot gelang es Buzzard das mathematische Konzept des [[Perfektoider Raum|perfektoiden Raums]], welches von [[Peter Scholze]] eingeführt wurde, in Lean zu formalisieren. Da es sich bei perfektoiden Räumen um komplexe Objekte handelt, welche erst 2012 eingeführt wurden<ref>{{Literatur |Autor=Peter Scholze |Titel=Perfectoid Spaces |Sammelwerk=Publications mathématiques de l'IHÉS |Band=116 |Nummer=1 |Datum=2012-11 |ISSN=0073-8301 |DOI=10.1007/s10240-012-0042-x |Seiten=245–313 |Online=http://link.springer.com/10.1007/s10240-012-0042-x |Abruf=2020-08-29}}</ref> und signifikant zu Scholzes Auszeichnung mit der Fields-Medaille beigetragen haben, soll dies demonstrieren, dass nicht nur einfache Mathematik mit verfügbaren Technologien formalisiert werden kann.<ref>{{Literatur |Autor=Kevin Buzzard, Johan Commelin, Patrick Massot |Titel=Formalising perfectoid spaces |Sammelwerk=Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs |Verlag=ACM |Ort=New Orleans LA USA |Datum=2020-01-20 |ISBN=978-1-4503-7097-4 |DOI=10.1145/3372885.3373830 |Seiten=299–312 |Online=https://dl.acm.org/doi/10.1145/3372885.3373830 |Abruf=2020-08-29}}</ref>

2022 war er Plenarsprecher auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematikerkongress]] (''The rise of formalism in mathematics'').

== Schriften ==
* mit J. Nekovar, [[David Burns (Mathematiker)|David Burns]] (Hrsg.): ''L-Functions and Galois-Representations.'' London Mathematical Society Lecturenotes, 2007.
* ''Eigenvarieties'', in: David Burns, Kevin Buzzard, Jan Nekovář (Hrsg.), L-functions and Galois representations, London Math. Soc. Lecture Note Ser., 320, Cambridge University Press, 2007, S. 59–120
*''What is the point of computers? A question for pure mathematicians'', ICM 2022, [https://arxiv.org/abs/2112.11598 Arxiv]

== Weblinks ==
{{Commonscat}}
* [http://wwwf.imperial.ac.uk/~buzzard/ Homepage am Imperial College]
* [https://zbmath.org/authors/buzzard.kevin Kevin Buzzard] in der Datenbank [[zbMATH]]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=|LCCN=nb2008000357|VIAF=29062916|GNDfehlt=ja|GNDCheck=2022-07-08}}

{{SORTIERUNG:Buzzard, Kevin}}
[[Kategorie:Mathematiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (Imperial College)]]
[[Kategorie:Whitehead-Preisträger]]
[[Kategorie:Absolvent der University of Cambridge]]
[[Kategorie:Brite]]
[[Kategorie:Geboren 1968]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Buzzard, Kevin
|ALTERNATIVNAMEN=Buzzard, Kevin Mark (vollständiger Name)
|KURZBESCHREIBUNG=britischer Mathematiker
|GEBURTSDATUM=21. September 1968
|GEBURTSORT=
|STERBEDATUM=
|STERBEORT=
}}

Kevin Buzzard - Versionsgeschichte

145.224.74.166: Typo ein/eine