Formal System
Overview In this post, I will talk about the Formal System. Haha; I said I would talk about lambda calculus in detail, but as I studied, I realized I couldn’t just gloss over this concept. After going through lambda calculus, I thought, “What did I just learn?” You define symbols, define rules, derive theorems… How is this related to lambda calculus? I was curious. Haha; to conclude, lambda calculus is a Formal System, so learning about lambda calculus is learning about its Formal System. ...