Dude whats up with that comment. Are you mocking me? No. I'm talking about how a computer is basically a logic simulator. You don't need to use empirical metho

Dude whats up with that comment. Are you mocking me? No. I'm talking about how a computer is basically a logic simulator. You don't need to use empirical methods to prove things in a logic simulator, you just use logic.