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:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“He is not a true man of science who does not bring some sympathy to his studies, and expect to learn something by behavior as well as by application. It is childish to rest in the discovery of mere coincidences, or of partial and extraneous laws. The study of geometry is a petty and idle exercise of the mind, if it is applied to no larger system than the starry one.”
—Henry David Thoreau (1817–1862)
““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)
“This house was designed and constructed with the freedom of stroke of a forester’s axe, without other compass and square than Nature uses.”
—Henry David Thoreau (1817–1862)