MathOverflow
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 14 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
40,293
reputation
1.1m
reached
218
answers
63
questions
Communities
View all
About

Kevin Buzzard. Algebraic number theorist in London. Interested in formal theorem proving.

My blog aimed at teaching undergraduates to use Lean, a formal proof verification system: https://xenaproject.wordpress.com/

Badges
View all badges
13
gold badges
163
silver badges
242
bronze badges
Top tags
View all tags
1,387
Score
143
Posts
51
Posts %
473
Score
41
Posts
15
Posts %
341
Score
30
Posts
11
Posts %
248
Score
14
Posts
5
Posts %
185
Score
21
Posts
7
Posts %
148
Score
20
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
192
What programming languages do mathematicians use?
Jan 8, 2010
answer
145
Proofs shown to be wrong after formalization with proof assistant
Oct 12, 2018
question
136
Which mathematical definitions should be formalised in Lean?
Sep 21, 2018
question
133
what mistakes did the Italian algebraic geometers actually make?
Mar 26, 2010
answer
120
Extent of “unscientific”, and of wrong, papers in research mathematics
Feb 1, 2020
answer
120
Etale cohomology -- Why study it?
Nov 19, 2009
question
106
solving $f(f(x))=g(x)$
Mar 9, 2010
question
85
What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?
Feb 9, 2010
answer
80
What would you want to see at the Museum of Mathematics?
Dec 25, 2010
answer
71
How do I check if a functor has a (left/right) adjoint?
Nov 18, 2009
Top network posts
View all network posts
56
Are some proof assistants better suited for given areas of math than others?
35
Proof assistants for beginners - a comparison
28
Why haven't all of the "hundred greatest theorems" been formalized yet?
26
Usage and Importance of Proof Assistants
20
Examples of formalisation of abelian categories

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.