Anonymous user
Talk:Proof: Difference between revisions
no edit summary
No edit summary |
|||
Line 8:
: 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)
:: Right, it demonstrates a specific technique which allows to evidence the falsity of something. Your question sounds more like a question about whether used metatheory is [[wp:Consistency|consistent]]. There is [http://coq.inria.fr/faq?som=2#htoc7 an answer] on such a question. — [[User:Ht|Ht]] 02:48, 31 May 2012 (UTC)
== Huh? ==
| |||