Course page Home page Home page CoursesNew course

The evolution of mathematical logic: Mathematical Logic course | Zoonk

6. The evolution of mathematical logic

Traces logic from Aristotle and the Stoics through Boole, Frege, Hilbert, Gödel, Turing, and modern formal methods. It connects major technical changes to foundational debates, computing, and machine-checked proof.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc