Tartalomjegyzék:
Meghatározás - Mit jelent George Boole?
George Boole (1815–1864) angol logikus, matematikus és oktató volt. Angliában iskolavezetőként kezdte a matematikai professzort a Queen's University-ben, Cork, Írország. Két nagy logikai munkát készített, nevezetesen: "A logika matematikai elemzése" (1847) és "A gondolat törvényei" (1854).
Megtalálta a logikai algebrát, amely kibővítette a logika és a matematika kapcsolatát. Később ez lett a logikai állítások érvényességének ellenőrzésének alapja, kétértékű bináris - igaz vagy hamis - karakter segítségével. A számítástechnikához való hatalmas hozzájárulása miatt, különösen a digitális számítógépes logika területén Boole-t „az információs kor atyjának” tekintik.
A Techopedia magyarázza George Boole-t
Boole, amely nagyrészt önálló tanuló gyermekprémium, soha nem járt egyetemen. 16 éves korában kénytelen volt elhagyni az iskolát, miután apja cipőüzlete összeomlott. Ugyanebben az évben tanársegéd lett, később pedig 20 éves korában megnyitotta saját iskoláját. Hamarosan George iránt érdeklődött a matematika, majd felfedezte a matematika új ágait, az invariáns elmélet néven ismertté vált. 1844-ben a differenciálegyenletekről szóló cikkért Boole elnyerte a londoni királyi társaság első aranyérmét. Annak ellenére, hogy Boole-nak nem volt egyetemi végzettsége, 1849-ben kizárólag kiadványai alapján nevezték ki a Queen's University matematikai professzorává.
Boole volt az egyik első angol, aki logikát írt. Kifejlesztett egy új típusú nyelvi algebrát, amelyet ma logikai algebra néven ismertek el, mint logikai érvek manipulálásának és matematikai megoldásának módszerét. Boole azt javasolta, hogy a logikai állítások algebrai egyenletekre redukálhatók és a matematikai operandusok helyettesíthetőek logikai szavakkal, mint például AND, OR vagy NOT. Általános algoritmusokat adott algebrai nyelven, amelyeket különféle típusú összetett érvekhez lehet alkalmazni. A "Gondolat törvényei" című munkájában a valószínűségek közös módszerét is megpróbálta megtalálni.
