22

Questions
votes newest views recent
21
37
votes
9
answers
3k
views

How do they verify a verifier of formalized proofs?

aug 19 at 21:40 Mark Adams 511●6●6

6
18
votes
5
answers
1k
views

Easy proof of the fact that isotropic spaces are Euclidean

jan 19 12 at 9:47 Jose Navarro 135●1●6

6
19
votes
1
answer
1k
views

What can be tiled by T-tetrominoes?

jun 16 11 at 7:46 fiufhg 1

5
17
votes
1
answer
1k
views

Is every smooth function Lebesgue-Lebesgue measurable?

mar 26 10 at 22:12 Anton Petrunin 16.4k●41●110

3
14
votes
5
answers
1k
views

Smoothness of $f(\sqrt x)$

mar 25 at 21:48 Bazin 2,948●2●8

2
16
votes
3
answers
963
views

A set that can be covered by arbitrarily small intervals

jun 16 11 at 16:49 mmm 732●3●8

2
9
votes
3
answers
957
views

Contractible manifold with boundary - is it a disc?

mar 27 10 at 19:12 Anton Petrunin 16.4k●41●110

10
19
votes
3
answers
809
views

Are fundamental groups of aspherical manifolds Hopfian?

may 20 10 at 17:28 Agol 23.9k●1●33●84

3
11
votes
3
answers
748
views

Is there Domain Invariance for Alexandrov spaces?

apr 22 10 at 20:06 Igor Belegradek 9,841●1●13●42

5
2
votes
4
answers
741
views

A book explaining power and limitations of Peano Axioms?

mar 22 10 at 14:33 Joel David Hamkins 74.8k●7●187●343

1 2 3 next