DavidSnider — A PF Organism on Physics Forums. 511 contributions to physics, math and engineering discussions since 2007.
D

DavidSnider

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

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   Reactions: 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…