User Kevin Buzzard

194 votes

What programming languages do mathematicians use?

answered Jan 8, 2010 at 11:26

156 votes

Accepted

Proofs shown to be wrong after formalization with proof assistant

answered Oct 12, 2018 at 11:23

124 votes

Accepted

Etale cohomology -- Why study it?

answered Nov 19, 2009 at 8:51

121 votes

Accepted

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

answered Feb 1, 2020 at 22:25

80 votes

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

answered Dec 25, 2010 at 16:57

73 votes

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

answered Nov 18, 2009 at 8:32

72 votes

What are "perfectoid spaces"?

answered Jul 31, 2018 at 11:53

71 votes

What is the definition of "canonical"?

answered Mar 28, 2010 at 20:27

68 votes

Accepted

Smooth proper scheme over Z

answered Dec 23, 2009 at 9:18

59 votes

Accepted

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

answered Mar 14, 2012 at 12:02

58 votes

Accepted

What is the difference between PSL_2 and PGL_2?

answered Feb 23, 2010 at 12:11

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?

answered Dec 31, 2009 at 8:29

50 votes

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

answered Mar 9, 2010 at 7:58

50 votes

How do you approach your child's math education?

answered Mar 31, 2010 at 16:09

49 votes

Accepted

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

answered Jun 6, 2012 at 6:40

49 votes

Are there mistakes in the proof of FLT?

answered Nov 21, 2021 at 16:48

45 votes

A game on Noetherian rings

answered Apr 7, 2012 at 11:15

44 votes

Tools for the Langlands Program?

answered Feb 15, 2010 at 23:36

43 votes

What are the reasons for considering rings without identity?

answered Apr 26, 2010 at 10:41

41 votes

Character table does not determine group Vs Tannaka duality

answered Jan 10, 2010 at 11:01

40 votes

Accepted

How did Birch and Swinnerton Dyer arrive at their conjecture?

answered Jun 1, 2011 at 8:00

37 votes

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

answered Dec 24, 2022 at 23:07

37 votes

Accepted

Is "all categorical reasoning formally contradictory"?

answered May 5, 2010 at 10:52

36 votes

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

answered Apr 28, 2010 at 12:39

34 votes

Still Difficult After All These Years

answered Nov 2, 2010 at 19:38

34 votes

Accepted

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

answered Jan 29, 2010 at 11:59

33 votes

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

answered Nov 20, 2020 at 13:59

32 votes

Accepted

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

answered Jan 19, 2010 at 12:11

31 votes

Particular problem solved by solving a more general problem.

answered Apr 13, 2010 at 16:17

31 votes

Most 'unintuitive' application of the Axiom of Choice?

answered Apr 10, 2010 at 16:19

Stack Exchange Network

218 Answers

What programming languages do mathematicians use?

Proofs shown to be wrong after formalization with proof assistant

Etale cohomology -- Why study it?

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

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

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

What are "perfectoid spaces"?

What is the definition of "canonical"?

Smooth proper scheme over Z

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

What is the difference between PSL_2 and PGL_2?

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

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

How do you approach your child's math education?

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

Are there mistakes in the proof of FLT?

A game on Noetherian rings

Tools for the Langlands Program?

What are the reasons for considering rings without identity?

Character table does not determine group Vs Tannaka duality

How did Birch and Swinnerton Dyer arrive at their conjecture?

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

Is "all categorical reasoning formally contradictory"?

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

Still Difficult After All These Years

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

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

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

Particular problem solved by solving a more general problem.

Most 'unintuitive' application of the Axiom of Choice?