Coba jelasin Sejarah dari Aljabar Boolean (struktur) dong

Istilah "aljabar Boolean" sebagai tanda jasa oleh George Boole (1815–1864), seorang matematikawan Inggris yang belajar sendiri. Ia memperkenalkan sistem aljabar awalnya dalam pamflet kecil dengan buku The Mathematical Analysis of Logic, diterbitkan pada tahun 1847 sebagai tanggapan atas kontroversi publik yang sedang berlangsung diantara Augustus De Morgan dan William Hamilton, dan kemudian sebagai buku yang lebih substansial, buku The Laws of Thought, diterbitkan pada tahun 1854. Rumus Boole berbeda dari yang dijelaskan di atas dalam beberapa hal penting. Misalnya, konjungsi dan disjungsi dalam Boole bukanlah operasi sepasang ganda. Aljabar Boolean muncul pada tahun 1860-an, dalam makalah yang ditulis oleh William Jevons dan Charles Sanders Peirce. Presentasi sistematis pertama dari aljabar Boolean dan kekisi distributif adalah berkat "Vorlesungen" 1890 dari Ernst Schröder. Perlakuan ekstensif pertama kali dari aljabar Boolean dalam bahasa Inggris adalah A. N. Whitehead 1898 Aljabar Universal. Aljabar Boolean sebagai struktur aljabar aksiomatik dalam pengertian aksiomatik modern dimulai dengan makalah tahun 1904 oleh Edward V. Huntington. Aljabar Boolean muncul sebagai matematika dengan karya Marshall Stone pada 1930-an, dan dengan Garrett Birkhoff 1940 yang memperkenalkan Teori Kekisi. Pada tahun 1960-an, Paul Cohen, Dana Scott, dan lainnya menemukan hasil baru yang mendalam dalam logika matematika dan teori himpunan aksiomatik menggunakan cabang aljabar Boolean, yaitu paksaan dan model kenilaian Boolean.