15 Febbraio 1970

Jurij Matijasievic scova l’ultima tessera del puzzle e dimostra l’asserzione di Julia Robinson e quindi il decimo problema di Hilbert: non esiste un programma che permetta di stabilire se qualsiasi equazione ha soluzione