This is the profile for member DavidSnider. This page shows details about DavidSnider like postings stats, blog posts, latest posts, trophies won and interests.
D

DavidSnider

Gold Member
A PF Organism
Joined
Messages
510
Reaction score
146
Points
178

Profile posts Latest activity Postings About Post areas 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…
  • Loading…

Find Member

Recent Insights

Top