Turinys:
Apibrėžimas - ką reiškia George'as Boole'as?
George'as Boole'as (1815–1864) buvo anglų logikas, matematikas ir pedagogas. Pradėjęs dirbti mokyklų mokytoju Anglijoje, jis tapo matematikos profesoriumi Karalienės universitete, Korke, Airijoje. Jis sukūrė du pagrindinius logikos darbus, būtent „Matematinė logikos analizė“ (1847) ir „Minties įstatymai“ (1854).
Jis išrado Boole algebrą, kuri išplėtė logikos ir matematikos ryšį. Vėliau tai tapo pagrindu patikrinti loginių teiginių pagrįstumą, padarytą naudojant dviejų verčių dvejetainį ženklą - teisingą ar klaidingą. Už didžiulį indėlį į informatiką, ypač skaitmeninės kompiuterinės logikos srityje, Boole laikomas „informacinio amžiaus tėvu“.
„Techopedia“ aiškina George'as Boole'as
Būtent iš esmės savamokslis vaikų proveržis, Boole niekada nelankė universiteto. Žlugus tėvo batų verslui, jis buvo priverstas palikti mokyklą būdamas 16 metų. Tais pačiais metais jis tapo mokytojo padėjėju, o vėliau, kai jam buvo 20 metų, atidarė savo mokyklą. Netrukus George'as susidomėjo matematika ir išvyko atrasti naują matematikos šaką, žinomą kaip invariantinė teorija. 1844 m. Už knygą apie diferencialines lygtis Boliui buvo suteiktas pirmasis Londono karališkosios draugijos aukso medalis. Nors Boole neturėjo universitetinio laipsnio, 1849 m. Jis buvo paskirtas tik matematikos profesoriumi Karalienės universitete remiantis vien jo publikacijomis.
Boole buvo vienas iš pirmųjų anglai, rašiusių logika. Jis sukūrė naujo tipo kalbinę algebrą, dabar žinomą kaip Boolean algebra, kaip metodą, skirtą manipuliuoti ir matematiškai spręsti loginius argumentus. Boole pasiūlė, kad loginius teiginius būtų galima sumažinti iki algebrinių lygčių, o matematinius operandus galima pakeisti loginiais žodžiais, tokiais kaip AND, OR ir NOT. Jis pateikė bendruosius algoritmus algebrine kalba, kuriuos buvo galima pritaikyti skirtingiems sudėtingų argumentų tipams. Savo darbe „Minties įstatymai“ jis taip pat bandė rasti bendrą tikimybių metodą.
