100

Questions
votes newest views recent
2
13
votes
4
answers
2k
views

How true are theorems proved by Coq?

jun 15 11 at 6:30 joro 4,230●1●10●31

20
30
votes
4
answers
2k
views

A bestiary of topologies on Sch

oct 3 11 at 5:01 David Roberts 11.7k●2●18●55

5
8
votes
2
answers
2k
views

Separable and algebraic closures?

apr 11 at 8:19 Martin Brandenburg 29.1k●2●45●129

7
8
votes
3
answers
2k
views

Fast turn-around times

feb 21 11 at 3:58 Karl Schwede 11.3k●1●14●35

4
16
votes
4
answers
1k
views

How constructive is Doyle-Conway’s ‘Division by three’?

aug 26 10 at 11:21 Andrej Bauer 12.4k●26●68

4
13
votes
3
answers
1k
views

Stacks in modern number theory/arithmetic geometry

may 15 12 at 5:50 David Roberts 11.7k●2●18●55

2
8
votes
1
answer
1k
views

What is the wild fundamental group?

jan 18 11 at 16:34 Torsten Ekedahl 17.9k●1●42●68

5
17
votes
5
answers
937
views

What is the generic poset used in forcing, really?

jan 5 11 at 21:47 Stefan Geschke 10.5k●1●14●37

4
17
votes
1
answer
885
views

What about stacks of categories in algebraic geometry?

mar 1 11 at 18:32 Torsten Ekedahl 17.9k●1●42●68

4
11
votes
1
answer
870
views

At what point does number theory stop playing with finite rings?

dec 11 at 13:45 P Vanchinathan 731●3●10

1 2 3 4 5 … 10 next