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:
“Feminism is an entire world view or gestalt, not just a laundry list of women’s issues.”
—Charlotte Bunch (b. 1944)
“Hey, you dress up our town very nicely. You don’t look out the Chamber of Commerce is going to list you in their publicity with the local attractions.”
—Robert M. Fresco, and Jack Arnold. Dr. Matt Hastings (John Agar)
“What is history? Its beginning is that of the centuries of systematic work devoted to the solution of the enigma of death, so that death itself may eventually be overcome. That is why people write symphonies, and why they discover mathematical infinity and electromagnetic waves.”
—Boris Pasternak (1890–1960)
“The American Constitution, one of the few modern political documents drawn up by men who were forced by the sternest circumstances to think out what they really had to face instead of chopping logic in a university classroom.”
—George Bernard Shaw (1856–1950)