>>12260265it's not the same as the physics situation because theoretical CS covers a lot of topics that are very close to the foundations of mathematics. Type theories in particular demonstrate this, but you also have strong associations between descriptive set theory and the "universality" of the complexity classes we've defined, known of course as descriptive complexity.
theoretical CS is in many ways mathematics.
>>12260330>computer engineeringmaybe a few decades back but it's been a classic EE and CS topic for a while now
