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)
“Psychoanalysis is an attempt to examine a persons self-justifications. Hence it can be undertaken only with the patients cooperation and can succeed only when the patient has something to gain by abandoning or modifying his system of self-justification.”
—Thomas Szasz (b. 1920)
“Italy is such a delightful place to live in if you happen to be a man. There one may enjoy that exquisite luxury of Socialismthat true Socialism which is based not on equality of income or character, but on the equality of manners. In the democracy of the caffè or the street the great question of our life has been solved, and the brotherhood of man is a reality. But it is accomplished at the expense of the sisterhood of women.”
—E.M. (Edward Morgan)
“Now what sort of man or woman or monster would stroke a centipede I have ever seen? And here is my good big centipede! If such a man exists, I say kill him without more ado. He is a traitor to the human race.”
—William Burroughs (b. 1914)