Talk:Proof: Difference between revisions
→Satisfaction
No edit summary |
|||
Line 10:
:: 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)
::: The issue is not about the use of metatheory but is about the use of programming. Currently, we have the Salmon implementation for the task, which does not correspond to code that I can run. More generally, the task requires no machine output. In my experience, the educational value of this site is significantly improved when short bits of machine output are included to illustrate the behavior of the code. --[[User:Rdm|Rdm]] 13:04, 31 May 2012 (UTC)
== Huh? ==
| |||