And where is Category Theory and Lambda Calculus? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Avtomatk on March 16, 2024 \| parent \| context \| favorite \| on: Great ideas in theoretical computer science And where is Category Theory and Lambda Calculus?

bsdpufferfish on March 16, 2024 [–]

lambda calculus is one way to describe computable functions. this course chose to focus on Turing machines.

category theory is historically not important to theory of computation, and it has questionable use if you aren't familiar with abstract algebra

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact