Skip to main content
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang's user avatar
Zirui Wang
  • Member for 13 years, 5 months
  • Last seen this week
71 votes
2 answers
4k views

Is there an intuitive reason for a certain operation to be associative?

26 votes
5 answers
3k views

Is there a statement whose undecidability is undecidable?

14 votes
2 answers
2k views

Every member of an ordinal is an ordinal

3 votes
3 answers
1k views

How is Kleene's T predicate defined?

2 votes
2 answers
851 views

What is the P versus NP question asking?

2 votes
3 answers
2k views

How to plot a complex trigonometric function with a computer?

2 votes
3 answers
493 views

Expected number of picked balls

1 vote
4 answers
810 views

Constructible universe and the standard model

1 vote
1 answer
217 views

Can CNF Hamiltonian graphs be turned to "DNF" graphs?

1 vote
3 answers
2k views

Simplify $\sqrt{1+\sqrt 2}$ [duplicate]

1 vote
2 answers
279 views

Provability and computability

0 votes
1 answer
19 views

Superscript of an integral of a marginal probability

0 votes
1 answer
61 views

Cumulative distribution function for min(X, 15)

0 votes
1 answer
348 views

How to express Con(PA) as a first-order statement?

0 votes
1 answer
511 views

Expressing P = NP as a first order formula

0 votes
1 answer
78 views

Seeking proofs of a limit expression of the gamma function

0 votes
4 answers
448 views

What does real multiplication have to do with area?

0 votes
1 answer
73 views

Area of a parallelogram formed by 2 vectors

0 votes
1 answer
47 views

Quote about trying before seeing

0 votes
0 answers
47 views

Is there a commutative ring with unity, zero divisors and only trivial ideals?

-1 votes
0 answers
71 views

Equal quotients imply equal rings? [duplicate]

-2 votes
2 answers
603 views

Can this version of the halting problem be solved?