lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] in particolare a quei linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 AlfredTarski darà la prima definizione adeguata dei concetti semantici fondamentali di verità, modello, insieme definibile, conseguenza e ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] primitivi: se lo fosse, le due interpretazioni coinciderebbero anche rispetto a R. Questo procedimento, riscoperto da AlfredTarski negli anni Trenta, diventerà noto come metodo di Padoa. Un altro interessante risultato metateorico si registra nella ...
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ù [...] in particolare a quei linguaggi formali che la ricerca logica aveva elaborato per scopi fondazionali. Nel 1931 AlfredTarski darà la prima definizione adeguata dei concetti semantici fondamentali di verità, modello, insieme definibile, conseguenza e ...
Leggi Tutto