6 ms·Logic Theorist: The program that rewrote the foundations of mathematics4 points by YeGoblynQueenne 1y ago