Course page Home page Home page CoursesNew course

Formal languages and Gödel coding: Mathematical Logic course | Zoonk

26. Formal languages and Gödel coding

Develops alphabets, strings, formal languages, Gödel numbering, and effective encodings of formulas and proofs. These tools make it possible for formal systems and machines to operate on descriptions of their own expressions.

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