Kaveh's user avatar
Kaveh's user avatar
Kaveh's user avatar
Kaveh
  • Member for 13 years, 8 months
  • Last seen this week
96 votes
7 answers
19k views

Can we cover the unit square by these rectangles?

60 votes
5 answers
11k views

Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?

27 votes
2 answers
2k views

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

21 votes
3 answers
3k views

What is a sieve and why are sieves useful?

21 votes
3 answers
5k views

History of the notation for substitution

15 votes
0 answers
1k views

Razborov's response to Almost Natural Proofs

13 votes
0 answers
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?

13 votes
3 answers
2k views

Are there natural examples of mathematical statements which follow from consistency statements?

13 votes
5 answers
4k views

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

11 votes
2 answers
461 views

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

9 votes
3 answers
2k views

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

8 votes
3 answers
726 views

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

7 votes
0 answers
293 views

Feasible Type Theories

5 votes
1 answer
355 views

History of provably total functions of a theory

3 votes
3 answers
294 views

Semantic reflection

3 votes
0 answers
253 views

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

0 votes
1 answer
73 views

Mapping an arrow from the direct limit of a diagram to the family of arrows from the diagram