Hacker News Reader

> Also of interest, he has won the Abel Prize in 2021, making it a rather unique combination of winning the top honors in both theoretical/abstract math & CS

The overlap between theoretical CS and math is way larger than most people know. For a simple example, check out the theoretical CS course catalog at MIT: https://catalog.mit.edu/subjects/6/ and how many of them are cross listed as course 18 (math) classes.

View on HN

Highlighting this, Terence Tao gave a tutorial at FOCS 2007.

https://terrytao.wordpress.com/2007/07/31/structure-and-rand...

Combinatorics seems to be a major subfield on the math side of the border.

Theoretical CS is basically a branch of applied math

Perhaps 'an applied branch of math' since the term 'applied math' is claimed by something usually disconnected from the discrete math subjects CS tends to study.

Theoretical CS is not at all applied math. Ordinary computer science overlaps with applied math, but theoretical CS is very abstract.

Reply on news.ycombinator.com