33
/es/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
August 1, 2025
427179
36814
2

1 ene 1955 año - Logic Theorist

Descripción:

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

Añadido al timeline:

fecha:

1 ene 1955 año
Ahora mismo
~ 70 years ago