user avatar
user avatar
user avatar
usul
  • Member for 9 years, 6 months
  • Last seen this week
47 votes
1 answer
2k views

A function whose fixed points are the primes

34 votes
2 answers
3k views

An Entropy Inequality

  • 10.7k
32 votes
2 answers
2k views

Godel on recursion-theoretic hierarchies

21 votes
2 answers
2k views

Prospects for reverse mathematics in Homotopy Type Theory

  • 5,757
12 votes
2 answers
1k views

Maximum occupancy balls in bins with limited independence

  • 171
9 votes
0 answers
275 views

Convergence in $L^2$ of iterated expectations

  • 1,058
8 votes
0 answers
125 views

Functions between Markov chains that preserve local harmonicity

  • 17.3k
5 votes
1 answer
431 views

Coupling of non-probability/sub-probability measures

  • 1,575
4 votes
2 answers
187 views

Is duality of convex bodies in itself a convex function?

  • 43
1 vote
0 answers
222 views

Outer product of Gaussian vectors conditioned on their scaled sum being large