On folk theorems

Abstract

This paper is to refine this definitionsomewhat, adapting it to the purposes of the researchcommunity in computer science. Accordingly, we shallattempt to provide a reasonable definition of or, rather,criteria for folk theorems, followed by a detailed exampleillustrating the ideas. The latter endeavor might take oneof two possible forms. We could take a piece of folkloreand show that it is a theorem, or take a theorem andshow that it is folklore. As an example of the first formwe could ...