This is the profile for member DavidSnider. This page shows details about DavidSnider like postings stats, blog posts, latest posts, trophies won and interests. If you want to follow or message this user you must register an account.
D
Reaction score
146

Profile posts Latest activity Postings About Trophies

  • Finally thought of a rebuttal. Proving theorems is in the same subset of problems as generation of correct programs, namely, NP-complete. Automated theorem provers (ATPs) exist, work well, and are used by serious researchers.
    • Like
    Likes mega
    D
    DavidSnider
    That's not a rebuttal, that was part of the premise of what I said.
    ellipsis
    ellipsis
    Then we have the same position, and are merely talking past each other.
  • Loading…
  • Loading…
  • Loading…
  • Loading…
Back
Top