On Folk Theorems

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 11
On Folk Theorems David Harel IBM Thomas J. Watson Research Center Yorktown Heights, New York Criteria are suggested for determining if @ statement is a folk theorem. The ideas are then illustrated with a detailed example from the theory of programming. Key Words and Phrases: flowchart, folk theorem, structured progamming, while-programs CR Categories: 2.1, 4.2, 5.24 1. Introduction Folklore: The traditional beliefs, legends and ‘customs, current among common people. ‘

You might also like