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ù [...] queste proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base di Zarinski, in cui i sottoinsiemi definibili di DMn sono combinazioni booleane di elementi di una topologia su DM che simula quelle della topologia ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] definita ¬a:=a→0, dove 0 è l'elemento minimo del reticolo (un'algebra booleana è un caso speciale di un'algebra di Heyting).
Metamatematica della logica e dell'aritmetica intuizioniste dopo il 1940
Agli inizi degli anni Quaranta Kleene concepì un ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] , con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti l. 615 b, 621 e. ◆ [ELT] [INF] Livello l.: nell'algebra booleana dei circuiti l., ciascuno dei valori 0 e 1 che possono assumere le ...
Leggi Tutto
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti logici: I 619 b. ◆ [FAF] [ALG] Funzione di v.: nella logica proposizionale, v. logica: III 483 e. ◆ [ALG] [ELT] [FAF] Valori ...
Leggi Tutto
booleano
booleano [agg. Relativo al matematico G. Boole] [ALG] Algebra b.: lo stesso che algebra di Boole (→ Boole, George). ◆ [ALG] Funzioni e operazioni b.: le funzioni e le operazioni dell'algebra [...] b., quali la somma logica (OR), il prodotto logico (AND), ecc.: v. circuiti logici: I 618 b. ◆ [ALG] Reticolo b.: lo stesso che algebra booleana. ...
Leggi Tutto