enow.com Web Search

Search results

1. Results from the WOW.Com Content Network

2. Elliott Mendelson - Wikipedia

   en.wikipedia.org/wiki/Elliott_Mendelson

   Mendelson earned his BA from Columbia University and PhD from Cornell University. [3]Mendelson taught mathematics at the college level for more than 30 years, and is the author of books on logic, philosophy of mathematics, calculus, game theory and mathematical analysis.

3. Proof theory - Wikipedia

   en.wikipedia.org/wiki/Proof_theory

   Proof theory is a major branch [1] of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed ...

4. Foundations of mathematics - Wikipedia

   en.wikipedia.org/wiki/Foundations_of_mathematics

   The resolution of this crisis involved the rise of a new mathematical discipline called mathematical logic that includes set theory, model theory, proof theory, computability and computational complexity theory, and more recently, parts of computer science. Subsequent discoveries in the 20th century then stabilized the foundations of ...

5. Harvey Friedman - Wikipedia

   en.wikipedia.org/wiki/Harvey_Friedman

   Harvey Friedman. Harvey Friedman (born 23 September 1948) [1] is an American mathematical logician at Ohio State University in Columbus, Ohio.He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary.

6. Lindström's theorem - Wikipedia

   en.wikipedia.org/wiki/Lindström's_theorem

   In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the strongest logic [1] (satisfying certain conditions, e.g. closure under classical negation) having both the (countable) compactness property and the (downward) Löwenheim–Skolem property. [2]

7. Category:Mathematical logic - Wikipedia

   en.wikipedia.org/wiki/Category:Mathematical_logic

   Mathematical logic is the study of formal logic within mathematics. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. Mathematical logic is divided into four parts: Model theory; Proof theory; Recursion theory, also known as computability theory ...

8. Metamath - Wikipedia

   en.wikipedia.org/wiki/Metamath

   Metamath is a formal language and an associated computer program (a proof assistant) for archiving and verifying mathematical proofs. [2] Several databases of proved theorems have been developed using Metamath covering standard results in logic, set theory, number theory, algebra, topology and analysis, among others.

9. List of important publications in mathematics - Wikipedia

   en.wikipedia.org/wiki/List_of_important...

   Published in 1854, The Laws of Thought was the first book to provide a mathematical foundation for logic. Its aim was a complete re-expression and extension of Aristotle's logic in the language of mathematics. Boole's work founded the discipline of algebraic logic and would later be central for Claude Shannon in the development of digital logic.