Top Network Posts
- 53 Why is writing down mathematical proofs more fault-proof than writing computer code?
- 37 Is there proof that the D-wave (one) is a quantum computer and is effective?
- 26 Turing machine + time dilation = solve the halting problem?
- 23 Is there a layman's explanation for why Grover's algorithm works?
- 21 How to return to academia after "don't walk, run"?
- 17 Why do ¬, ∀ and ∃ have the same precedence?
- 17 What kind of math problems can be solved by automated theorem provers?
- View more network posts →
Top Tags (14)
9 Is MathJax in title allowed? Jan 21 '18
4 When is the proof-techniques tag appropriate? Jan 22 '18