9

Questions
votes newest views recent
2
1
vote
8
answers
2k
views

Independence of P = NP?

feb 23 11 at 0:32 none 31●1

4
6
votes
4
answers
1k
views

Why is Cohen’s result insufficient to settle CH?

jun 20 10 at 19:02 T. 2,131●7●12

 
2
votes
2
answers
1k
views

Independence of PA implies independence of PA union all true $\Pi_1$ statements

dec 21 10 at 9:36 arsmath 2,144●10●19

1
4
votes
4
answers
1k
views

How long is the longest path in the game tree of chess?

dec 30 10 at 21:05 Ross Millikan 182●8

2
2
votes
4
answers
909
views

Provable(P) ⇒ provable(provable(P))?

dec 21 10 at 1:22 Adam 1,970●1●5●18

 
-1
votes
2
answers
705
views

How to prove Con(PA) in ZFC? [closed]

dec 22 10 at 18:32 Terry Tao 28.3k●4●111●186

2
1
vote
2
answers
693
views

Does the independence of P = NP imply existence of arbitrarily good super-polynomial upper bound for SAT?

jun 26 10 at 22:08 JBL 1,415●1●7●14

1
1
vote
3
answers
535
views

Can SAT be solved in time n^k, for a specific k?

jun 12 10 at 5:55 Suresh Venkat 2,697●8●17

 
0
votes
0
answers
203
views

Form of Bezoutian

may 30 10 at 16:25 Zirui Wang 345●1●10