[Henry Cohn's Home Page]

18.504 Seminar in Logic

Which problems can be solved by systematic algorithms, and which cannot? One of the marvelous qualities of mathematics is that it can analyze its own limitations. In this class, we'll study problems from various domains—geometry, algebra, analysis, number theory, computer science, and logic itself—and we'll explore which ones can or cannot be solved. The problems will all be relatively elementary (no specialized background will be required beyond a clear understanding of proofs and abstraction, obtained from 18.100 and one further course), but they will be fundamental to how we think about mathematics.

Whenever possible, we'll examine the original research papers. This is not always so easy, and we'll certainly fall back on modern expositions whenever the original papers are overly obscure or difficult to read, but it's important to understand where the ideas actually came from. Mathematics is not just a collection of facts, but also a story, so we need to understand both what and why.

Handouts and Papers