7

# Questions

2
11
3
698
views

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

apr 28 at 11:58 Danko Ilik 111

2
4
1
767
views

### The Guinand-Weil explicit formula without entire function theory

jan 28 12 at 16:01 Marc Palm 6,926720

6
10
2
509
views

### Order of $\zeta(1+it)$

mar 7 11 at 18:18 Micah Milinovich 3,39011023

4
11
2
839
views

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

jul 8 10 at 9:58 Pietro Majer 19.7k12469

3
2
2
245
views

### Explicit representations of finite fields

jul 3 10 at 9:41 Charles Matthews 9,7201239

7
25
1
723
views

### A question of Erdős on equidistribution

jun 6 10 at 1:45 George Lowther 9,40812444

2