Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] matematica in modo che siano mutuamente indipendenti, vale a dire in modo che nessun assiomadella teoria sia deducibile dagli altri. Infine Hilbert richiamò l'attenzione sull'esigenza di escogitare procedimenti, soprattutto per l'aritmetica, che ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] dicano nulla; sicuramente non attuano una riduzione dell'infinito al finito ma ci permettono di comprendere meglio avrà −1.
Per quanto riguarda le regole d'identità, l'assioma di identità verrà ristretto alla zona lineare mentre si avranno tre regole ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] operatori modali iterati e in [2] il numero di passi della relazione R (ponendo w1R0wk uguale a wi=wk). Per esempio l'assioma 4 (p⊃p) è il caso speciale di [1] fondata (cioè non esiste nessuna sequenza infinita ordinata da essa), ma questa proprietà ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] ℑ: per A e B in ℑ si ha
A ≥ B se e solo se Ac ≥ Bc.
Infine la relazione d'ordine in senso stretto > è definita nel solito modo: A* > B* della teoria delle decisioni, ampiamente usato in economia e in psicologia. Gli assiomidell'utilità, o dell ...
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 [...] saggio Sopra gli assiomi aritmetici («Bollettino dell’Accademia gioenia di scienze naturali», 1907, 1-2, pp. 26-30). Il primo assioma è «esiste almeno un numero», il secondo e il terzo sono il primo e il secondo assioma di Padoa; infine, il principio ...
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ù [...] finiti fosse elementare dovrebbe coincidere con ModTGF. Sia ora C un insieme infinito di nuove costanti individuali cn per n∈ℕ e consideriamo l'insieme
[ T′ dato da T più un numero finito di assiomidella forma Ap; sia quindi q il più piccolo tra i ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...