Top network posts
- 53 Why is writing down mathematical proofs more fault-proof than writing computer code?
- 39 Is there proof that the D-wave (one) is a quantum computer and is effective?
- 26 Turing machine + time dilation = solve the halting problem?
- 24 Is there a layman's explanation for why Grover's algorithm works?
- 21 How to return to academia after "don't walk, run"?
- 18 What kind of math problems can be solved by automated theorem provers?
- View more network posts →