Ask HN: Give me your own definition of theoretical computer science

Theoretical computing is perhaps for you philosophical, logical, paradise, without limit or more?