Complex Mellin Transforms and Contour Integrals for Approximating Mathematical Constants with Zeta Function Connections Anonymous Researcher
Some connections between presentability of complexity classes and the power of formal systems of reasoning