Usage Note
Some authors say that σ is independent of T if T simply cannot prove σ, and do not necessarily assert by this that T cannot refute σ. These authors will sometimes say "σ is independent of and consistent with T" to indicate that T can neither prove nor refute σ.
Read more about this topic: Independence (mathematical Logic)
Famous quotes containing the words usage and/or note:
“Pythagoras, Locke, Socrates—but pages
Might be filled up, as vainly as before,
With the sad usage of all sorts of sages,
Who in his life-time, each was deemed a bore!
The loftiest minds outrun their tardy ages.”
—George Gordon Noel Byron (1788–1824)
“Glorious bouquets and storms of applause ... are the trimmings which every artist naturally enjoys. But to move an audience in such a role, to hear in the applause that unmistakable note which breaks through good theatre manners and comes from the heart, is to feel that you have won through to life itself. Such pleasure does not vanish with the fall of the curtain, but becomes part of one’s own life.”
—Dame Alice Markova (b. 1910)