somma logica

Enciclopedia della Matematica (2013)

somma logica somma logica detta anche → or, è uno degli operatori dell’algebra di → Boole. La somma logica fra due variabili booleane a e b corrisponde, nel linguaggio degli enunciati, alla → disgiunzione [...] fra due enunciati A e B. Nel modello insiemistico del linguaggio degli enunciati, la disgiunzione corrisponde all’→ unione di due insiemi. ... Leggi Tutto

TAGS: ALGEBRA DI → BOOLE

algebra

Enciclopedia on line

Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] in un insieme, si hanno diversi tipi di strutture algebriche: struttura di gruppo, di anello, di corpo, di campo, di modulo, di semigruppo, di quasicorpo, di spazio vettoriale, di a. di Lie, di a. di Boole, di a. in senso proprio ecc. In alcuni ... Leggi Tutto

CATEGORIA: ALGEBRA

TAGS: TEORIA DELLE RAPPRESENTAZIONI – PROPRIETÀ COMMUTATIVA – GEOMETRIA ALGEBRICA – LEONARDO FIBONACCI – SPAZIO VETTORIALE

ALGEBRA

Enciclopedia Italiana - IV Appendice (1978)

Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] è lo studio delle operazioni finitarie su di un insieme, e l'obiettivo della ricerca è quello di trovare e trattare le eventuali proprietà che a. tra di loro così diverse come anelli, campi, algebre di Boole, reticoli e gruppi possono avere in comune ... Leggi Tutto

TAGS: ACCADEMIA NAZIONALE DEI LINCEI – SISTEMI ALGEBRICI GENERALI – TEORIA DEL PRIMO ORDINE – ESTENSIONE TRASCENDENTE – TEORIA DELLE CATEGORIE

Boole, George

Enciclopedia on line

Matematico e logico inglese (Lincoln 1815 - Cork 1864). Già nel 1844 ebbe riconoscimenti dalla Royal Society; prof. di matematica dal 1849 al Queen College di Cork. Autore di ricerche sulle equazioni differenziali [...] (The mathematical analysis of logic, 1847; An investigation of the laws of thought, 1854). Egli introdusse un nuovo tipo di algebra che da lui prende nome e che ha assunto oggi grande importanza principalmente per le sue applicazioni nella teoria e ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: EQUAZIONI DIFFERENZIALI – LOGICA MATEMATICA – ROYAL SOCIETY – LINCOLN – ALGEBRA

algebra binaria

Enciclopedia della Matematica (2013)

algebra binaria algebra binaria → Boole, algebra di. ... Leggi Tutto

TAGS: BOOLE

algebra

Enciclopedia della Matematica (2013)

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

TAGS: TEOREMA FONDAMENTALE DELL’ALGEBRA – RELAZIONE DI EQUIVALENZA – EQUAZIONE DI PRIMO GRADO – STORIA DELLA MATEMATICA – CALCOLO INFINITESIMALE

EPISTEMOLOGIA

Enciclopedia Italiana - IV Appendice (1978)

. 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 [...] i fondamenti e la struttura, nonché ad arricchire l'intera matematica di nuove branche (le geometrie non euclidee, le algebre di W. R. Hamilton, H. Grassmann, G. Boole, ecc.), è risultato possibile (e per determinati scopi necessario) operare ... Leggi Tutto

TAGS: TRACTATUS LOGICO-PHILOSOPHICUS – PRINCIPIO D'INDETERMINAZIONE – METODO IPOTETICO-DEDUTTIVO – FILOSOFIA DELLA MATEMATICA – FILOSOFIA DELLA SCIENZA

STORIA DELLA MATEMATICA

Enciclopedia della Matematica (2013)

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 [...] significato se non nelle applicazioni fisiche, nell’algebra astratta esso appare invece definito dal sistema di assiomi che caratterizza la struttura algebrica. La logica di Boole La logica nel Settecento era diventata una disciplina marginale che ... Leggi Tutto

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – METODO DEI MOLTIPLICATORI DI LAGRANGE – ACCADEMIA DELLE SCIENZE DI BERLINO – TEOREMA FONDAMENTALE DELL’ALGEBRA – MEDITATIONES DE PRIMA PHILOSOPHIA

L'Ottocento: matematica. Teoria degli invarianti

Storia della Scienza (2003)

L'Ottocento: matematica. Teoria degli invarianti Leo Corry Teoria degli invarianti L'algebra del XIX sec. ebbe uno sviluppo intenso che coprì numerosi domini. Nuove entità matematiche come gruppi, anelli [...] di Boole, dimostrò nel 1844 che se f si trasforma in T(f), allora φ(f)=δ2φ(T(f)). A partire dal 1848 Siegfried Heinrich Aronhold (1819-1884), uno studente di Hesse, proseguì lo studio di queste tematiche in termini puramente algebrici distaccandole ... Leggi Tutto

CATEGORIA: ALGEBRA – STORIA DELLA MATEMATICA

tautologia

Enciclopedia della Scienza e della Tecnica (2008)

tautologia Silvio Bozzi Termine che definisce ogni formula di un linguaggio preposizionale che sia logicamente valida, vale a dire vera in ogni interpretazione delle costanti extralogiche (le costanti [...] . Possiamo così provare che le tautologie della logica classica coincidono con le tautologie le cui matrici hanno come algebre le algebre di Boole e il valore designato è 1, mentre tautologie intuizioniste saranno le tautologie rispetto a matrici su ... Leggi Tutto

CATEGORIA: LOGICA