Zirui Wang

345
Reputation
1102 views
Is this your account?

Registered User 

Name Zirui Wang
Member for 2 years
Seen Nov 7 2011 at 8:10
Website
Location Singapore
Age 30
信心，决心，恒心。-- 陈景润
9

Questions
votes newest views recent
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●6●12

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
881
views

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

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

 

2

1
1
vote
3
answers
531
views

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

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

2
1
vote
8
answers
2k
views

Independence of P = NP?

feb 23 11 at 0:32 none 31●1

 
0
votes
0
answers
203
views

Form of Bezoutian

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

 
-1
votes
2
answers
698
views

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

dec 22 10 at 18:32 Terry Tao 28k●4●108●183

 

3

Answers
votes newest views recent
1
A polynomial-time algorithm for deciding whether a language has a polynomial time algorithm
-3
Is this a well known NP-complete problem?
-5
Do there exist chess positions that require exponentially many moves to reach?

 

0

Votes

 

12

Tags
× 6
× 4
× 2
× 2
× 2

 

11

Badges
● Popular Question× 4
● Yearling
 ● Teacher
● Commentator
 ● Scholar
● Student
 ● Autobiographer
● Editor