Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] und angewandte Mathematik", 218, 1965, pp. 79-108.
Blum 1998: Blum, Lenore e altri, Complexity and real computation, New York, Osterwalder, Schrader 1973: Osterwalder, Konrad - Schrader, Robert, Axioms for Euclidean Green's functions, "Communications ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] . A tali studi hanno fatto seguito quelli di Manuel Blum e Albert Meyer, aventi per oggetto le proprietà astratte degli anni Sessanta, sono state proposte adeguate metodologie per opera di Robert W. Floyd, Peter Naur e, in particolare, Hoare. Nel ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] consideriamo la relazione di estensione elementare, introdotta da Tarski e Robert L. Vaught nel 1957. Supponiamo che M′ sia una zero ce ne sono infiniti. Sarà solo nel 1968 che Leonore Blum darà degli assiomi espliciti per la teoria che da allora è ...
Leggi Tutto