La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] indipendente dalla teoria degli insiemi diZermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco . Hoare ha fornito anche un sistemadiassiomi per la sua logica, che permette di dimostrare che un programma è corretto ...
Leggi Tutto