Sommario:
Definizione - Cosa significa George Boole?
George Boole (1815-1864) è stato un logico inglese, matematico ed educatore. Iniziando come maestro di scuola in Inghilterra, divenne professore di matematica alla Queen's University di Cork, in Irlanda. Ha prodotto due grandi opere in logica, vale a dire "The Mathematical Analysis of Logic" (1847) e "The Laws of Thought" (1854).
Ha inventato l'algebra booleana, che ha ampliato il rapporto tra logica e matematica. In seguito divenne la base per verificare la validità delle proposizioni logiche, fatto con l'aiuto di un carattere binario a due valori: vero o falso. Per i suoi enormi contributi all'informatica, specialmente nella logica informatica digitale, Boole è considerato il "padre dell'era dell'informazione".
Techopedia spiega George Boole
Un bambino prodigio in gran parte autodidatta, Boole mai frequentato l'università. Fu costretto a scuola congedo a 16 anni dopo il commercio di scarpe di suo padre è crollato. Lo stesso anno, divenne assistente insegnante e successivamente aprì la sua scuola a 20 anni. Presto George si interessò alla matematica e scoprì un nuovo ramo della matematica noto come teoria invariante. Nel 1844, per un documento sulle equazioni differenziali, Boole si è aggiudicata la prima Medaglia d'Oro della Royal Society di Londra. Anche se Boole non aveva un titolo universitario, nel 1849 fu nominato professore di matematica alla Queen's University esclusivamente sulla base delle sue pubblicazioni.
Boole fu uno dei primi inglesi a scrivere sulla logica. Ha sviluppato un nuovo tipo di algebra linguistica, ora noto come algebra booleana, come metodo per manipolare e risolvere matematicamente argomenti logici. Boole propose che le proposizioni logiche potessero essere ridotte ad equazioni algebriche e che gli operandi matematici potessero essere sostituiti da parole logiche come AND, OR e NOT. Ha fornito algoritmi generali in un linguaggio algebrico che potrebbe essere applicato a diversi tipi di argomenti complessi. Nella sua opera "Le leggi del pensiero", ha anche cercato di trovare un metodo comune in probabilità.
