On folk theorems
On folk theorems
复制标题
关于民间定理
DOI：
--
复制
发表时间：
1980
期刊：
影响因子：
--
通讯作者：
D. Harel
中科院分区：
文献类型：
--
作者：
D. Harel
鉴于这些引文，人们可能会得出这样一个简单的结论，即一个定理是一个已被证明的普遍结论，它是普通人的传统信仰、传统或习俗。本文的目的是对这一定义作一些改进，使之适应计算机科学研究团体的目的。因此，我们将试图提供一个合理的定义，或者说，定理的准则，然后用一个详细的例子来说明这一思想。后一种奋进可能采取两种形式之一，我们可以采取一个定理并塔尔它是一个定理，或者采取一个定理并证明它是错误的。作为第一个定理的一个例子，我们本可以证明命题P ~ NP，也是一个定理。然而，由于我们决定在这篇论文中不引入新的技术材料，而且，由于我们社区的研究人员似乎对民间传说不如对定理那么熟悉，
In view of these quotatior~s one might be tempted m conclude simply than a {blk theorem is a ,general conclusion which has been proved and which is a traditional belief, ~egend, or custom current among common ~ople . The purpose of t, his paper is to refine this defimtion somewhaL adapting it to the purposes of the research community in computer science, Accordingly, we shall attempt to provide a reasonable definition of or, rather, criteria fbr ~btk theorems, followed by a detailed example illustrating the ideas, The latter endeavor might take one of two ~:~ ib te forms, We could take a piece of ~blklore and show thal it is a theorem, or take a theorem and show that it is ff~lklore. As an example of the first tbrm we could have shown that the statement P ~ NP, which is iblkiore, is also a theorem~ However, since we have resolved to inUoduce no new technical material in this pxaper~ and moreover, since researchers in our community seem to be less tamiliar with folklore than with theorems,