Main Profile

At A Glance

Mathematical Logic and Theory of Computation

Mathematics is about structure, about reasoning, and about modeling. This course braids these three threads together. Mathematical logic began as the study of the reasoning used in mathematics, but it turns out to be useful in describing the mathematical concept of structure and in modeling automated reasoning—that is, modeling computation.The logical approach to structure gives an alternate perspective on such other mathematical subjects as combinatorics and abstract algebra. This, for the m...

Topics: Algebra, General Mathematics, Logic
Cost: Free

Contact

Mathematical Logic and Theory of Computation's Full Profile

Overview

Description

Mathematics is about structure, about reasoning, and about modeling. This course braids these three threads together. Mathematical logic began as the study of the reasoning used in mathematics, but it turns out to be useful in describing the mathematical concept of structure and in modeling automated reasoning—that is, modeling computation.The logical approach to structure gives an alternate perspective on such other mathematical subjects as combinatorics and abstract algebra. This, for the most part, is described by the area of model theory, which is the focus of Unit 1.In Unit 2, we will look at modeling computation. The central fact of these models, from a logical standpoint, is that once we can handle a computation as a definable mathematical object, we can prove that certain computations are impossible. The most famous such proof is Gödel’s Incompleteness Theorem, showing that it is impossible to compute truth in a system sufficiently strong to describe natural number arithmetic.Finally, in Unit 3, we turn to proof theory. Just as modeling computations results in new insights, modeling the process of mathematical proof results in a surprising connection: a proof is analogous to a computation.These three often interact. Proofs and computations have natural parallels with the language we use to describe structures. Structures from model theory give natural settings for computation, as in Gödel’s Incompleteness Theorem. After completing this course, you will understand all three.

Details

  • Days of the Week: Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday
  • Level of Difficulty: All Levels
  • Size: One-on-One
  • Cost: Free
  • Institution: Saylor
  • Topics: Algebra, General Mathematics, Logic

Provider Overview

About Saylor: The mission of the Saylor Foundation is to make education freely available to all. Guided by the belief that technology has the potential to circumvent barriers that prevent many individuals from participating in traditional schooling models, the Foundation is committed to developing and advancing inventive and effective ways of harnessing technology in order to drive the cost of education down to zero

Latest Tweet

Saylor Offers Courses In: Mathematics

Questions about Mathematical Logic and Theory of Computation

Want more info about Mathematical Logic and Theory of Computation? Get free advice from education experts and Noodle community members.

  • Answer