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 conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“While the system of holding people in hostage is as old as the oldest war, a fresher note is introduced when a tyrannic state is at war with its own subjects and may hold any citizen in hostage with no law to restrain it.”
—Vladimir Nabokov (18991977)
“Both magic and religion are based strictly on mythological tradition, and they also both exist in the atmosphere of the miraculous, in a constant revelation of their wonder-working power. They both are surrounded by taboos and observances which mark off their acts from those of the profane world.”
—Bronislaw Malinowski (18841942)
“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)