33
/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
May 1, 2025
427179
36814
2

jan 1, 1955 - Logic Theorist

Description:

Program that proved 38 of the first 52 theorems in Pricipia Methematica

Added to timeline:

Date:

jan 1, 1955
Now
~ 70 years ago