Login



Ricordami
Seguici su FACEBOOK Seguici su TWITTER

Morti caldi

Statistiche

  • Utenti attivi: 5619
  • Personaggi giocati: 10604
  • Personaggi morti: 2803
  • Inizio gioco: 4/11/2007

Martin Davis

Martin Davis

05/01/2023 - E' morto Martin Davis, matematico statunitense noto per il suo contributo al decimo problema di Hilbert. Aveva 94 anni. Di origini polacche, si è laureato nel 1950 nell'Università di Princeton. È professore emerito presso l'Università di New York. È uno degli autori dell'algoritmo DPLL e ha proposto un modello di macchine di Post-Turing. Nel 1975 gli è stato assegnato il Premio Chauvenet.

JoeFrangiflutty guadagna 28 punti.

Devi essere loggato per scrivere un commento