Closed Formulas
A closed formula, also ground formula or sentence, is a formula in which there are no free occurrences of any variable. If A is a formula of a first-order language in which the variables v1, ..., vn have free occurrences, then A preceded by v1 ... vn is a closure of A.
Read more about this topic: Well-formed Formula
Famous quotes containing the words closed and/or formulas:
“What I call middle-class society is any society that becomes rigidified in predetermined forms, forbidding all evolution, all gains, all progress, all discovery. I call middle-class a closed society in which life has no taste, in which the air is tainted, in which ideas and men are corrupt. And I think that a man who takes a stand against this death is in a sense a revolutionary.”
—Frantz Fanon (1925–1961)
“You treat world history as a mathematician does mathematics, in which nothing but laws and formulas exist, no reality, no good and evil, no time, no yesterday, no tomorrow, nothing but an eternal, shallow, mathematical present.”
—Hermann Hesse (1877–1962)