Kevin Buzzard

Member for 14 years, 2 months
Last seen more than a week ago

Summary

Reputation

40,293

40.3k
38k
35.7k

2020
2021
2022
2023

Next tag badge

ac.commutative-algebra

148/100 score

16/20 answers

Badges

13

163

242

Newest

Good Answer

Next badge

60/100

Socratic

Answers

View all 218 answers

Score Activity Newest

192

What programming languages do mathematicians use?

Jan 8, 2010

145

Proofs shown to be wrong after formalization with proof assistant

Oct 12, 2018

120

Extent of “unscientific”, and of wrong, papers in research mathematics

Feb 1, 2020

120

Etale cohomology -- Why study it?

Nov 19, 2009

80

What would you want to see at the Museum of Mathematics?

Dec 25, 2010

Questions

View all 63 questions

Score Activity Newest Views

136

Which mathematical definitions should be formalised in Lean?

Sep 21, 2018

133

what mistakes did the Italian algebraic geometers actually make?

Mar 26, 2010

106

solving $f(f(x))=g(x)$

Mar 9, 2010

85

What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?

Feb 9, 2010

67

Open project: Let's compute the Fourier expansion of a non-solvable algebraic Maass form.

May 5, 2010

Tags

View all 162 tags

nt.number-theory

1,387

Score

143

posts

ag.algebraic-geometry

473

Score

41

posts

modular-forms

341

Score

30

posts

arithmetic-geometry

248

Score

14

posts

rt.representation-theory

185

Score

21

posts

Reputation

+10

Hilbert Modular Newforms

+10

Are there motives which do not, or should not, show up in the cohomology of any Shimura variety?

+10

What's the point of a Whittaker model?

+10

"Understanding" $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$

Badges

View all badges

13

gold badges

Populist

Apr 15, 2020
Great Question

× 3

Jan 25, 2021
Great Answer

× 4

Feb 20, 2020

163

silver badges

nt.number-theory

Jan 10, 2017
Taxonomist

Jan 19, 2011
Inquisitive

Jul 2, 2014

242

bronze badges

modular-forms

Jun 25, 2013
ag.algebraic-geometry

Jun 25, 2013
Explainer

Sep 30, 2014

Accounts

View all 8 accounts

40.3k
13
163
242

Proof Assistants

2,237
11
20

424
2
5

390
9

250
1
8

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

391

upvotes

205

downvotes

284

question votes

312

answer votes

1

this month