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.
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
Profile posts Latest activity Postings About Trophies
-
-
Loading…
-
Loading…
-
Loading…
-
Loading…