Logic and epistemology give us the tools to create proofs and algorithms, and it’s basically the foundation of modern mathematics.

Not that I disagree, but logic and mathematics have a rocky relationship. We thought we could marry them forever with set theory, but when they asked if anyone objected, Bertrand Russel stood up.