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:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (15641616)
“The professional celebrity, male and female, is the crowning result of the star system of a society that makes a fetish of competition. In America, this system is carried to the point where a man who can knock a small white ball into a series of holes in the ground with more efficiency than anyone else thereby gains social access to the President of the United States.”
—C. Wright Mills (19161962)
“A woman does not have to make decisions based on the need to survive. She can cut through issues, call shots as she sees them.... Many bad decisions are made by men in government because it is good for them personally to make bad public decisions.”
—Dianne Feinstein (b. 1933)
“All I have to do
is hear his name
and every hair on my body
just bristles with desire.
When I see
the moon of his face,
this frame of mine
oozes sweat like a moonstone.
When that man
as dear to me as breath
steps close enough to me
to stroke my neck,
the thought of jealousy
is shattered in my heart
thats hard as diamond
sometimes.”
—Amaru (c. seventh century A.D.)