proiettore
proiettóre [Der. del part. pass. proiectus del lat. proicere "gettare innanzi"] [LSF] Che proietta, che lancia, anche in signif. figurati. ◆ [ALG] Dato un insieme X, è un endomorfismo P sull'insieme [...] dei p. di un insieme ha essa stessa una struttura algebrica, che, a seconda dei casi, può essere un'algebra di Boole, un reticolo, ecc. I p. hanno notevole interesse nella rappresentazione di operatori lineari, per es. in spazi di Banach e di ...
Leggi Tutto
Luigi Viola
La giurimetria si occupa dell’utilizzo del metodo scientifico per affrontare problemi giuridici, così da rafforzare certezza del diritto e prevedibilità della decisione, unitamente alla [...] la sentenza, in pratica, veniva vista come il risultato di una serie di operazioni misurabili e verificabili.
Anche George Boole, con l’opera The Mathematical Analysis of Logic, può essere menzionato in questo contesto: lavorò alla logica formale ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] fig. 29), e nella quale si delinea anche l’omogeneità (già accennata in Bolzano) con il ragionamento probabilistico.
La logica di Boole è in realtà un aspetto della svolta che la matematica inglese vive sin dall’inizio del xix secolo grazie al lavoro ...
Leggi Tutto
Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] a questo proposito A budget of paradoxes, post., 1915). Assertore di una conciliazione tra logica e matematica, la sua opera, insieme a quella di Boole e di Hamilton, getta i fondamenti per i successivi sviluppi della logica matematica moderna. ...
Leggi Tutto
funzione booleana
funzione booleana funzione binaria a variabili binarie. È una funzione che è applicata a un insieme di variabili binarie che assumono ciascuna uno di due possibili valori, per esempio [...] coppia di valori (1, 1) si ottiene un valore diverso da 1 o 0. Le varie operazioni definite nell’algebra di → Boole (prodotto logico, somma logica, complemento...) sono esempi di funzioni booleane. Interpretando i valori 0 e 1 come valori di verità ...
Leggi Tutto
Matematica
In algebra, particolare tipo di endomorfismo di un insieme A dotato di una qualsiasi struttura algebrica. Si tratta precisamente di un endomorfismo π (diverso dall’endomorfismo identico) idempotente [...] di un insieme A ha essa stessa una struttura algebrica che, a seconda dei casi, può essere un reticolo, un’algebra di Boole ecc. La nozione di p. ha però interesse soprattutto in relazione agli spazi, per es., di Banach, di Hilbert, di Kantorovič; in ...
Leggi Tutto
somma In matematica, il risultato dell’ordinaria operazione di addizione o anche l’operazione stessa; in senso estensivo, si parla spesso di s. anche con riferimento a operazioni che soddisfano le proprietà [...] modo simile si definisce la s. diretta di A-moduli, di algebre ecc. S. logica Nelle algebre di Boole, operazione corrispondente all’usuale operazione logica di congiunzione. Con significato simile, in elettronica, operazione logica elementare su due ...
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 [...] approfondito di ciò che i simboli sono presi a significare. È lecito tuttavia intendere che essi esprimano, come per Boole, le operazioni della nostra mente? (rist. 1987, pp. 188-89).
Più ancora del radicamento del neoidealismo nella cultura italiana ...
Leggi Tutto
complemento
complemento termine generico che si riferisce alla considerazione di un insieme di elementi residuali rispetto a una determinata caratteristica (→ complementazione; → complemento algebrico).
☐ [...] tale che il minimo comune maggiorante a ∨ b di a e b coincide con l’unità del reticolo.
☐ In un’algebra di Boole, il complemento, detto anche → not, è un’operazione unaria, corrispondente al connettivo logico «non» che all’elemento 0 associa 1 e all ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] 'inizio del 20°, l'edificazione della logica simbolica, o logica matematica, o logistica, intrapresa verso la metà dell'Ottocento da G. Boole e A. De Morgan, nonché portata ulteriormente innanzi da autori come E. Schröder, C. S. Peirce e altri, quale ...
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...