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 e sul calcolo delle differenze finite, è tuttavia principalmente noto per i suoi studî di logica matematica che lo pongono a fondatore dell'algebra della logica (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 nell'impiego degli elaboratori elettronici.

Vedi anche
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. 1. La logica antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità ... probabilità Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), probabilita di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che il valore minimo 0 corrisponda al caso in cui l’evento sia impossibile, mentre il valore massimo ... metamatematica Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la metamatematica, o teoria della dimostrazione (Beweistheorie), è la scienza, creata da D. Hilbert intorno al 1919, avente per oggetto intere teorie ...
Categorie
Tag
Altri risultati per Boole, George
  • Boole George
    Dizionario delle Scienze Fisiche (1996)
    Boole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebra di B.: insieme parzialmente ordinato in cui si definisce un elemento 1 e un elemento 0 in modo che per ogni elemento x- dell'insieme esista un unico elemento x tale che sup{x,x-} ...
  • BOOLE, George
    Enciclopedia Italiana (1930)
    Matematica, nato a Lincoln (Inghilterra) il 2 novembre 1815, morto in Cork l'8 dicembre 1864. Fu professore di matematica nel Queen's College di Cork dal 1849 in poi. Si occupò con successo dello studio delle equazioni differenziali e soprattutto del calcolo delle differenze finite. Oltre a numerose ...
Vocabolario
booleano
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...
georgiano¹
georgiano1 georgiano1 agg. e s. m. (f. -a). – 1. Della Georgia, regione e repubblica del Caucaso merid. (situata sulla costa orientale del Mar Nero) già incorporata nell’URSS e, dal 1991, stato indipendente; lingua g. (o georgiano s. m.),...