I guess not a physical science (although there was some crossover last year between some results in quantum computing and physics, there's probably lots other e

I guess not a physical science (although there was some crossover last year between some results in quantum computing and physics, there's probably lots other examples that I'm not familiar with too) [1] but it fits squarely in the formal sciences (which includes math, logic, etc). And it doesn't concern any particular physical computer, but it does have topics on what an idealized/ theoretical computer could do haha [1] https://www.quantamagazine.org/landmark-computer-science-proof-cascades-through-physics-and-math-20200304/ https://www.quantamagazine.org/landmark-computer-science-pro...