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 [...] Inoltre, per qualsiasi elemento a di B, risulta a⋃0=a, a⋂1=a, a⋃a′=1, a⋂a′=0.
Un esempio tipico di algebrabooleana è l'insieme di tutti i sottoinsiemi di un dato insieme V, dove i simboli ⋃ e ⋂ denotano, rispettivamente, l'unione e l'intersezione di ...
Leggi Tutto
Dissenso
LLewis S. Feuer
di Lewis S. Feuer
Dissenso
sommario: 1. Definizioni preliminari: tipi di ‛dissenso'. 2. La repressione del dissenso nell'Europa antica e medioevale. 3. La libertà di dissenso [...] sembra assai meno piacevole e meno intrinsecamente degna di perpetuazione. La verità è che Mozart, Pascal, l'algebrabooleana, Shakespeare, il regime parlamentare, le chiese barocche, Newton [...] non riscattano ciò che questa particolare civiltà ha ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebrabooleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] alla s. di categoria e di monoide parzialmente additivo, nella semantica denotazionale interviene anche la s. di algebrabooleana, la quale può essere utilmente introdotta nell'insieme dei morfismi di controllo p, precedentemente definiti, relativi ...
Leggi Tutto
MATEMATICA NON COMMUTATIVA
La seconda metà del 20° secolo ha visto lo sviluppo di una molteplicità di ricerche matematiche, alcune motivate da considerazioni puramente interne, altre ispirate da problemi [...] ', cioè uno spazio S con una misura di probabilità P definita su un'algebrabooleana ^ di sottoinsiemi di S chiusa per unioni numerabili (Û-algebra). Le variabili aleatorie vengono identificate con funzioni misurabili sullo spazio S e l ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] ), delle attività neurali del cervello alle operazioni di una macchina di calcolo operante secondo le regole logiche dell'algebrabooleana. Analogie tra cervello e calcolatore, anche se in forma alquanto cauta, sarebbero state poi delineate da J. Von ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] teoremi (come quello di Wos, Overbeek e Lusk che ha permesso di scoprire nuovi teoremi in vari campi, dall'algebrabooleana ternaria alla teoria dei nodi) nonché di varie estensioni del PROLOG.
La logica come linguaggio di programmazione. − Il metodo ...
Leggi Tutto
SVILUPPO, Limiti dello
Roberto Vacca
L'esistenza di l. dello s., almeno della popolazione, fu già intuita da G. Botero alla fine del Cinquecento. Alla metà del Settecento R. Wallace, precorrendo T.R. [...] . Un nuovo approccio sistemistico promettente è stato suggerito da J.N. Warfield. Consiste nell'usare strumenti come l'algebrabooleana e la teoria dei grafi per analizzare le interazioni di fattori tecnici, economici e sociali e per controllare la ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Tecnologie digitali
Franco Filippazz
Giulio Occhini
Fulvia Sala
Il diffondersi sempre più rapido delle tecnologie digitali in tutte le attività umane è il fenomeno che meglio caratterizza l’epoca [...] of the laws of thought (1854), in cui individuava uno stretto legame tra matematica e logica, fondando la cosiddetta algebrabooleana.
Basandosi su queste idee, il primo a formulare la moderna teoria della computabilità fu Alan Turing (1912-1954) con ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] la computazione si serve (per es., tipicamente, 0 e 1, gli elementi binari che stanno alla base dell’algebrabooleana usata nei computer classici, ed eventualmente nulla); una testa, capace di leggere, scrivere e cancellare il contenuto delle caselle ...
Leggi Tutto