Terry Tao's user avatar
Terry Tao's user avatar
Terry Tao's user avatar
Terry Tao
  • Member for 14 years, 5 months
  • Last seen this week
25 votes
1 answer
721 views

Proofs of the valence formula that avoid tricky contours?

53 votes
7 answers
6k views

Are there any undecidability results that are not known to have a diagonal argument proof?

17 votes
0 answers
1k views

Relations in a certain Lie algebra

17 votes
1 answer
2k views

Does anyone recognize this condition on a Riemannian metric on a vector space?

91 votes
8 answers
16k views

Is there a natural random process that is rigorously known to produce Zipf's law?

67 votes
3 answers
11k views

Is this differential identity known?

21 votes
1 answer
2k views

Is this an instance of the snake lemma?

8 votes
2 answers
984 views

A conceptual proof that bounded index subgroups of a bounded torsion abelian group contain bounded index complemented subgroups

11 votes
0 answers
655 views

John-type theorems: trading structure for accuracy?

28 votes
1 answer
6k views

What is the cofinality of the co-infinite subsets of ${\bf N}$?

73 votes
10 answers
10k views

Riemannian surfaces with an explicit distance function?

63 votes
7 answers
4k views

What well known results with countability assumptions can be naturally extended to uncountable settings?

35 votes
3 answers
5k views

What is the standard notation for a multiplicative integral?

22 votes
1 answer
2k views

What is the name of this relative semidirect product of groups?

33 votes
3 answers
2k views

Polar body of a convex body that avoids a lattice

44 votes
5 answers
6k views

Finding a 1-form adapted to a smooth flow

107 votes
6 answers
18k views

How small can a sum of a few roots of unity be?

45 votes
1 answer
3k views

Is there a nullstellensatz for trigonometric polynomials?

133 votes
5 answers
29k views

Does the inverse function theorem hold for everywhere differentiable maps?

31 votes
1 answer
2k views

Is this formal noncommutative power series identity known?

43 votes
1 answer
2k views

In the category of sigma algebras, are all epimorphisms surjective?

42 votes
1 answer
3k views

Is a symplectic camel actually prohibited from passing through the eye of a needle?

39 votes
2 answers
4k views

Can random variables that almost surely solve equations be repaired to surely solve these equations?

81 votes
4 answers
12k views

Can a group be a universal Turing machine?

100 votes
5 answers
11k views

Is there a high level reason why the inverse square law of gravitation yields periodic orbits without precession?

35 votes
2 answers
3k views

What is the most direct proof of the Riemann hypothesis for Dirichlet L-functions over function fields?

86 votes
7 answers
20k views

How many orders of infinity are there?

59 votes
4 answers
4k views

When can one continuously prescribe a unit vector orthogonal to a given orthonormal system?

37 votes
2 answers
3k views

When can a function be made positive by averaging?

21 votes
4 answers
1k views

Can one show the equivalence of the abstract and classical Jordan decompositions for simple Lie algebras without complete reducibility?