Logic Theorist: The program that rewrote the foundations of mathematics