Top Network Posts
- 53 Why is writing down mathematical proofs more fault-proof than writing computer code?
- 35 Is there proof that the D-wave (one) is a quantum computer and is effective?
- 26 Turing machine + time dilation = solve the halting problem?
- 22 Is there a layman's explanation for why Grover's algorithm works?
- 21 How to return to academia after "don't walk, run"?
- 17 What kind of math problems can be solved by automated theorem provers?
- 17 How to give assignments that require heavy computational resources?
- View more network posts →
Top Tags (13)
8 Is MathJax in title allowed? Jan 21 '18
4 When is the proof-techniques tag appropriate? Jan 22 '18
3 When is the proof-techniques tag appropriate? Jan 23 '18
2 2019 Moderator Election Q&A - Question Collection 2 days ago
2 When is it appropriate to re-tag old questions? Apr 15 '18