Scribd Logo
Upload

Welcome to Scribd!

  • Mlogic

    Uploaded by

    Aisa
    8 views1 page
    Mathematical logic investigates mathematical reasoning itself through studying foundational notions like sets, proof, computation, and models. During the 1930s to 1970s, logic saw great progress and MIT was a major center in the field from the 1950s to 1980s. Today, exciting areas of logic include set theory, model theory, and connections to computer science, with set theory addressing ways to axiomatize mathematics and model theory investigating theories like algebraic geometry.

    Original Description:

    lOGICS

    Original Title

    mlogic

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Mathematical logic investigates mathematical reasoning itself through studying foundational notions like sets, proof, computation, and models. During the 1930s to 1970s, logic saw great progress and MIT was a major center in the field from the 1950s to 1980s. Today, exciting areas of logic include set theory, model theory, and connections to computer science, with set theory addressing ways to axiomatize mathematics and model theory investigating theories like algebraic geometry.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as docx, pdf, or txt
    8 views1 page

    Mlogic

    Uploaded by

    Aisa
    Mathematical logic investigates mathematical reasoning itself through studying foundational notions like sets, proof, computation, and models. During the 1930s to 1970s, logic saw great progress and MIT was a major center in the field from the 1950s to 1980s. Today, exciting areas of logic include set theory, model theory, and connections to computer science, with set theory addressing ways to axiomatize mathematics and model theory investigating theories like algebraic geometry.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as docx, pdf, or txt
    of 1

    Mathematical Logic & Foundations

    Mathematical logic investigates the power of mathematical reasoning itself. The various
    subfields of this area are connected through their study of foundational notions: sets,
    proof, computation, and models. The period from the 1930s thru the 1970s saw great
    progress in logic. MIT was a major center in the field from the 1950s through the 1980s.

    The exciting and active areas of logic today are set theory, model theory and
    connections with computer science. Set theory addresses various ways to axiomatize
    mathematics, with implications for understanding the properties of sets having large
    infinite cardinalities and connections with the axiomatization of mathematics. Model
    theory investigates particular mathematical theories such as complex algebraic
    geometry, and has been used to settle open questions in these areas. Theoretical
    computer science developed partially out of logic, and questions such as P =? NP are
    being pursued with techniques from logic.

    Department Members in This Field

    You might also like