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

1 Jan 1955 Jahr - Logic Theorist

Beschreibung:

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

Zugefügt zum Band der Zeit:

Datum:

1 Jan 1955 Jahr
Jetzt
~ 70 years ago