Formal System Based On The Sheffer Stroke
The following is an example of a formal system based entirely on the Sheffer stroke, yet having the functional expressiveness of the propositional logic:
Read more about this topic: Sheffer Stroke
Famous quotes containing the words formal, system, based and/or stroke:
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (18711922)
“If mothers are to be successful in achieving their child-rearing goals, they must have the inner freedom to find their own value system and within that system to find what is acceptable to them and what is not. This means leaving behind the anxiety, but also the security, of simplistic good-bad formulations and deciding for themselves what they want to teach their children.”
—Elaine Heffner (20th century)
“Few white citizens are acquainted with blacks other than those projected by the media and the socalled educational system, which is nothing more than a system of rewards and punishments based upon ones ability to pledge loyalty oaths to Anglo culture. The media and the educational system are the prime sources of racism in the United States.”
—Ishmael Reed (b. 1938)
“This house was designed and constructed with the freedom of stroke of a foresters axe, without other compass and square than Nature uses.”
—Henry David Thoreau (18171862)