33
/it/
AIzaSyB4mHJ5NPEv-XzF7P6NDYXjlkCWaeKw5bc
November 30, 2025
427179
36814
2
Public Timelines
FAQ

1 gen 1955 anni - Logic Theorist

Descrizione:

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

Aggiunto al nastro di tempo:

Data:

1 gen 1955 anni
Adesso
~ 70 years ago