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 manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.”
—Franz Grillparzer (1791–1872)
“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)
“You know, there’s a cowboy movie where one joker says, “Mighty quiet out there. Too quiet,” he says. Same thing every time; it’s too quiet.”
—James Poe, U.S. screenwriter, and Based On Play. Robert Aldrich. Sergeant Costa (Jack Palance)
“You can stroke people with words.”
—F. Scott Fitzgerald (1896–1940)