MathOverflow
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang
  • Member for 13 years, 11 months
  • Last seen more than a week ago
Profile Activity
Stats
521
reputation
19k
reached
3
answers
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
14
bronze badges
Top tags
View all tags
1
Score
1
Posts
8
Posts %
0
Score
4
Posts
33
Posts %
0
Score
2
Posts
17
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
-3
Score
5
Posts
42
Posts %
Top posts
View all questions and answers
question
6
Why is Cohen's result insufficient to settle CH?
Jun 20, 2010
question
5
How long is the longest path in the game tree of chess?
Dec 30, 2010
question
4
Independence of PA implies independence of PA union all true $\Pi_1$ statements
Jun 10, 2010
question
4
Provable(P) ⇒ provable(provable(P))?
Dec 20, 2010
question
3
Independence of P = NP?
Dec 21, 2010
question
2
Can SAT be solved in time n^k, for a specific k?
Jun 10, 2010
question
2
How to prove Con(PA) in ZFC? [closed]
Dec 22, 2010
question
1
Does the independence of P = NP imply existence of arbitrarily good super-polynomial upper bound for SAT?
Jun 12, 2010
answer
1
A polynomial-time algorithm for deciding whether a language has a polynomial time algorithm
Nov 30, 2010
question
-2
Why is any maximal minor of the Bezoutian matrix divisible by the resultant?
Aug 12, 2013
Top network posts
View all network posts
71
Is there an intuitive reason for a certain operation to be associative?
26
Is there a statement whose undecidability is undecidable?
23
Starting SAT solver papers
18
Example of an algorithm that lacks a proof of correctness
14
Every member of an ordinal is an ordinal