> I might have found a place for logic and type theory. Doesn't that fit under a... | Hacker News

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

theteapot 16 days ago | parent | context | favorite | on: Terence Tao explains 6 essential mathematical conc...

> I might have found a place for logic and type theory.

Doesn't that fit under abstract algebra?

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