Talk:Proof: Difference between revisions
→Satisfaction
(narrow the scope of my objections to this task) |
|||
Line 6:
As it stands, this task is not very satisfying. The Salmon "implementation" attests to that. Perhaps the task should be extended to include some dis-proofs? --[[User:Rdm|Rdm]] 14:16, 28 May 2012 (UTC)
: The recent update to the task looks like an attempt to address this issue. But it's defined as a proof of a negative concept that a rejection of an invalid proof. That's not the same thing. To prove a negative concept we need a "not exists" proof which is universally true. The proof system accepts this proof which shows that the proof is valid. This does not show that the proof system is capable of rejecting an invalid proposition. --[[User:Rdm|Rdm]] 20:59, 30 May 2012 (UTC)
== Huh? ==
| |||