enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Foundations of mathematics - Wikipedia

    en.wikipedia.org/wiki/Foundations_of_mathematics

    Foundations of mathematics are the logical and mathematical framework that allows the development of mathematics without generating self-contradictory theories, and, in particular, to have reliable concepts of theorems, proofs, algorithms, etc. This may also include the philosophical study of the relation of this framework with reality. [1]

  3. Grundlagen der Mathematik - Wikipedia

    en.wikipedia.org/wiki/Grundlagen_der_Mathematik

    Grundlagen der Mathematik (English: Foundations of Mathematics) is a two-volume work by David Hilbert and Paul Bernays. Originally published in 1934 and 1939, it presents fundamental mathematical ideas and introduced second-order arithmetic.

  4. Univalent foundations - Wikipedia

    en.wikipedia.org/wiki/Univalent_foundations

    Univalent foundations are an approach to the foundations of mathematics in which mathematical structures are built out of objects called types.Types in univalent foundations do not correspond exactly to anything in set-theoretic foundations, but they may be thought of as spaces, with equal types corresponding to homotopy equivalent spaces and with equal elements of a type corresponding to ...

  5. Raymond Louis Wilder - Wikipedia

    en.wikipedia.org/wiki/Raymond_Louis_Wilder

    Introduction to the foundations of mathematics. [3] 1969. Evolution of mathematical concepts. An elementary study. 1981. Mathematics as a cultural system. (ISBN 0-08-025796-8) Biographical: Raymond, F., 2003, " Raymond Louis Wilder" in Biographical Memoirs National Academy of Sciences 82: 336–51. Related work cited in this entry:

  6. Steve Simpson (mathematician) - Wikipedia

    en.wikipedia.org/wiki/Steve_Simpson_(mathematician)

    Stephen George Simpson (born September 8, 1945) is an American mathematician whose research concerns the foundations of mathematics, including work in mathematical logic, recursion theory, and Ramsey theory.

  7. Metamathematics - Wikipedia

    en.wikipedia.org/wiki/Metamathematics

    Emphasis on metamathematics (and perhaps the creation of the term itself) owes itself to David Hilbert's attempt to secure the foundations of mathematics in the early part of the 20th century. Metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic " (Kleene ...

  8. The Foundations of Arithmetic - Wikipedia

    en.wikipedia.org/wiki/The_Foundations_of_Arithmetic

    The book was fundamental in the development of two main disciplines, the foundations of mathematics and philosophy. Although Bertrand Russell later found a major flaw in Frege's Basic Law V (this flaw is known as Russell's paradox , which is resolved by axiomatic set theory ), the book was influential in subsequent developments, such as ...

  9. Introduction to Mathematical Philosophy - Wikipedia

    en.wikipedia.org/wiki/Introduction_to...

    According to the preface, the book is intended for those with only limited knowledge of mathematics and no prior experience with the mathematical logic it deals with. [1] Accordingly, it is often used in introductory philosophy of mathematics courses at institutions of higher education.