This is a list of mathematical logic topics, by Wikipedia page.
For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and complexity topics for more theory of algorithms.
Read more about List Of Mathematical Logic Topics: Working Foundations, Model Theory, Set Theory, Descriptive Set Theory, Large Cardinals, Recursion Theory, Proof Theory, Mathematical Constructivism, Modal Logic, Theorem Provers, Discovery Systems, Historical
Famous quotes containing the words list of, list, mathematical and/or logic:
“A man’s interest in a single bluebird is worth more than a complete but dry list of the fauna and flora of a town.”
—Henry David Thoreau (1817–1862)
“Feminism is an entire world view or gestalt, not just a laundry list of women’s issues.”
—Charlotte Bunch (b. 1944)
“An accurate charting of the American woman’s progress through history might look more like a corkscrew tilted slightly to one side, its loops inching closer to the line of freedom with the passage of time—but like a mathematical curve approaching infinity, never touching its goal. . . . Each time, the spiral turns her back just short of the finish line.”
—Susan Faludi (20th century)
“...some sort of false logic has crept into our schools, for the people whom I have seen doing housework or cooking know nothing of botany or chemistry, and the people who know botany and chemistry do not cook or sweep. The conclusion seems to be, if one knows chemistry she must not cook or do housework.”
—Ellen Henrietta Swallow Richards (1842–1911)