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

DavidSnider

Gold Member
A PF Organism
Joined
Messages
511
Reaction score
147
Points
178

Profile posts Latest activity Postings About Trophies

  • ellipsis
    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…

Find Member

Recent Insights

Back
Top