12

# Questions

1
7
1
207
views

### Defining measures over frames in place of $\sigma$-algebras

feb 2 at 2:27 Tom LaGatta 4,430619

3
1
171
views

### History of provably total functions of a theory

jun 27 at 5:03 Zhang Jing 351126

2
6
2
428
views

### Natural statements independent from true $\Pi^0_2$ sentences

nov 9 at 22:26 Julian Fernandez 835

1
2
0
166
views

### Oracle sparating FIP for bounded-depth Frege from FIP for Frege (and hardness conditions on DDH)

jul 16 11 at 6:48 Kaveh 2,197524

4
17
2
780
views

### Is there a syntactic characterization for BPP, BQP, or QMA?

aug 12 10 at 0:18 Robin Kothari 918411

6
11
1
2k
views

### How can an approach to $P$ vs $NP$ based on descriptive complexity avoid being a natural proof in the sense of Raborov-Rudich?

aug 27 10 at 12:39 Kaveh 2,197524

2
5
3
1k
views

### When would you read a paper claiming to have settled a long open problem like $P$ vs. $NP$? [closed]

aug 8 10 at 23:55 Oryx_Crake 1

8
11
5
962
views

### What are the most important results (and papers) in complexity theory that every one should know?

aug 5 10 at 18:24 Ryan Williams 3,126725

12
21
3
2k
views

### Can we cover the unit square by these rectangles?

jun 23 at 12:37 Denis Serre 18.8k13194

5
9