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

1 jan 1955 ano - Logic Theorist

Descrição:

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

Adicionado na linha do tempo:

Data:

1 jan 1955 ano
Agora
~ 70 years ago