Hmmm, maybe I am missing something, but my understanding is that computer science may use bits or on and off but at the quantum level, things are both on and off at once. This requires a paraconsistent ternary logic, not so applicable in computer science.

Godel showed us that only computer science has the benefits of of being able to conform to proofs while other systems it’s just not possible to know