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:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“Those words freedom and opportunity do not mean a license to climb upwards by pushing other people down. Any paternalistic system that tries to provide for security for everyone from above only calls for an impossible task and a regimentation utterly uncongenial to the spirit of our people.”
—Franklin D. Roosevelt (1882–1945)
““Next time,” said the Inventor, “a woman will be added. Beauty is easy to render because beauty is based on the rendering of beauty, but we are still working on her hips, we want her to roll them, and that is difficult.””
—Vladimir Nabokov (1899–1977)
“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
that’s hard as diamond
sometimes.”
—Amaru (c. seventh century A.D.)