User Brad Rodgers - MathOverflow Meta

Brad Rodgers

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

brad-rodgers.github.io

Stats

2,151

reputation

0

reached

0

answers

0

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

10

silver badges

Yearling

× 10

May 15, 2022

1

bronze badge

Supporter

Mar 15, 2016

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

37

A question of Erdős on equidistribution

26

What can be proven in Peano arithmetic but not Heyting arithmetic?

19

On an asymptotic formula of Keating and Snaith involving the Riemann zeta function

16

Evaluation of a combinatorial sum (that comes from random matrices)

14

What is the reason the eigenvalues of GUE and CUE matrices tend locally to the same distribution?