Peirce, Charles Sanders
Filosofo statunitense (Cambridge, Massachusetts, 1839 - Milford, Pennsylvania, 1914).
La vita
Risentì molto, nella sua giovinezza, dell’influenza del padre Benjamin, matematico [...] poi da Ernst Schröder nelle Vorlesungen über die Algebra der Logik (1890-1905), in materia di algebra di Boole, modificata e radicalmente trasformata per estenderne le applicazioni, l’introduzione di un anello di collegamento tra logica delle ...
Leggi Tutto
calcolo logico
calcolo logico locuzione che indica un sistema formale in cui è possibile tradurre rigorosamente il concetto di → dimostrazione. Ogni ragionamento formulato nel linguaggio naturale si [...] di calcolo per esprimere qualsiasi inferenza si ha nel xvii secolo con G.W. Leibniz e nel secolo successivo con G. Boole che, nella sua Analisi matematica della logica, introduce un vero e proprio calcolo logico, chiarendo come la validità di un ...
Leggi Tutto
anello
Luca Tomassini
La nozione di anello esprime in forma astratta le analogie presenti, per es., tra la manipolazione dei numeri interi relativi e quella dei polinomi. Il suo studio è stato decisivo [...] . In un anello qualunque inoltre non è sempre possibile ‘semplificare a’ in un’uguaglianza del tipo ax=ay. Per es., in un anello di Boole si ha sempre x2−x=x(x−1)=0 e quindi il prodotto di due elementi non nulli può essere uguale a zero. Consideriamo ...
Leggi Tutto
OPERATIVA, RICERCA (App. III, 11, p. 315)
Aldo Ruscitti
Gli sviluppi recenti della r. o. possono, ai fini di una loro sintetica comprensione (e sia pure correndo il rischio di semplificazioni arbitrarie) [...] valori solo nell'ambito dei numeri interi), e la connessa "programmazione booleiana" (dal nome del logico inglese G. Boole), ove le variabili assumono i soli valori 0 e 1; la "programmazione multiobiettiva", in cui si debbono ottimizzare (cioè ...
Leggi Tutto
matematica
L’enorme sviluppo del sapere in campo matematico dall’antichità sino ai nostri giorni non consente più di accettare, per tale disciplina, la definizione di «scienza razionale dei numeri e [...] e Ottocento, dell’idea di m. come scienza delle relazioni legata alla logica (così in Descartes, Leibniz, G. Boole, Frege), una definizione questa che lascia percepire fortemente l’eco degli studi algebrici e logici coevi. Un analogo discorso può ...
Leggi Tutto
Calcolatori
GGianfranco Bilardi e Raffaele Tripiccione
Nicola Cabibbo
Mario Rasetti
Hardware, di Gianfranco Bilardi e Raffaele Tripiccione
Calcolatori paralleli, di Nicola Cabibbo
Calcolo quantistico, [...] è molto più complesso dello stato classico e pertanto può codificare molta più informazione. In linea di principio, un circuito booleano quantistico con n bit di ingresso equivale a un gran numero (esponenziale in n) di copie di un circuito classico ...
Leggi Tutto
algoritmo di ricerca
algoritmo di ricerca algoritmo il cui obiettivo è la ricerca di un elemento specifico in una lista composta da numerosi elementi. Esempi elementari di ricerche possono essere la [...] di un campo dà come risultato un insieme di record, l’algoritmo di ricerca dovrà utilizzare le operazioni booleane (→ Boole, algebra di) per perfezionare la ricerca, operando i confronti opportuni. Per esempio, la query al programma di ricerca per ...
Leggi Tutto
algebra
algebra ramo della matematica che studia il calcolo numerico generalizzandone le operazioni mediante l’introduzione delle lettere dell’alfabeto a rappresentare i numeri. Un’altra caratteristica [...] W.R. Hamilton nel 1843) e l’applicazione di metodi di calcolo algebrico alla logica (come in A. De Morgan e G. Boole) e ai vettori (come in H. Grassmann). Tuttavia, la nascita dell’algebra moderna, intesa come disciplina che per indagare il problema ...
Leggi Tutto
GERACE, Giovan Battista
Giulio Maltese
Nacque a Roma il 17 nov. 1925 da Vincenzo, poeta, e Giulia Becciani. Conseguita la licenza liceale nel 1943, si iscrisse a ingegneria. Nello stesso anno, richiamato [...] circuits, in Calcolo, III [1966], pp. 493-539; Les aleas dans les circuits séquentiels commandés par impulsion, in Algèbre de Boole et machines logiques, a cura di J. Kuntzmann - P. Nastin, Paris 1967, pp. 213-245; Réalisation de systèmes séquentiels ...
Leggi Tutto
Ingegneria
Il termine a., introdotto negli anni 1940 da J. Diebold per descrivere il largo impiego di apparecchiature automatiche manifestatosi soprattutto nell’industria automobilistica, esprime oggi [...] di controllo del traffico stradale e ferroviario), ricorre all’algebra logica e in particolare all’algebra di Boole, la quale consente di interpretare il funzionamento dei sistemi, anche molto complessi, mediante operazioni logiche semplici (somma ...
Leggi Tutto
booleano
‹bul-› agg. [dal nome del matematico ingl. G. Boole (1815-1864)]. – Algebra b., particolare tipo di struttura algebrica nella quale possono esprimersi relazioni logiche in modo analogo a quello in cui nell’algebra convenzionale si...
Bowle
‹bóolë› s. f., ted. [voce di origine ingl., cfr. sved. bål]. – Bevanda alcolica in uso nei paesi germanici, costituita da una miscela zuccherata di varî vini bianchi (Reno, Mosella, Champagne) nella quale si lasciano in infusione per...