Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard's user avatar
Kevin Buzzard
  • Member for 14 years, 5 months
  • Last seen more than a week ago
192 votes

What programming languages do mathematicians use?

145 votes
Accepted

Proofs shown to be wrong after formalization with proof assistant

120 votes
Accepted

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

120 votes
Accepted

Etale cohomology -- Why study it?

80 votes

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

72 votes

How do I check if a functor has a (left/right) adjoint?

71 votes

What are "perfectoid spaces"?

68 votes
Accepted

Smooth proper scheme over Z

68 votes

What is the definition of "canonical"?

58 votes
Accepted

Fermat's Last Theorem for Gaussian Integers ( excluding $\mathbb{Z}$ or $i\mathbb{Z}$ )

54 votes
Accepted

What is the difference between PSL_2 and PGL_2?

52 votes
Accepted

Is it true that, as $\Bbb Z$-modules, the polynomial ring and the power series ring over integers are dual to each other?

50 votes

If $2^x $and $3^x$ are integers, must $x$ be as well?

49 votes

How do you approach your child's math education?

48 votes
Accepted

Are there Maass forms where the expected Galois representation is $\ell$-adic?

46 votes

Are there mistakes in the proof of FLT?

44 votes

A game on Noetherian rings

43 votes

What are the reasons for considering rings without identity?

43 votes

Tools for the Langlands Program?

41 votes

Character table does not determine group Vs Tannaka duality

40 votes
Accepted

How did Birch and Swinnerton Dyer arrive at their conjecture?

36 votes

How do you select an interesting and reasonable problem for a student?

36 votes
Accepted

Is "all categorical reasoning formally contradictory"?

34 votes

Still Difficult After All These Years

34 votes
Accepted

Integers not represented by $ 2 x^2 + x y + 3 y^2 + z^3 - z $

34 votes

Does anyone still seriously doubt the consistency of $ZFC$?

32 votes

What makes dependent type theory more suitable than set theory for proof assistants?

32 votes
Accepted

Why is one interested in the mod p reduction of modular curves and Shimura varieties?

31 votes

Particular problem solved by solving a more general problem.

31 votes

What to do when your research runs into a computationally challenging problem?

1
2 3 4 5
8