Lihat sumber bagi George Boole

{{redirect|Boole}}
{{Use dmy dates|date=May 2013}}
{{Infobox philosopher
|region           = Falsafah barat
|era              = [[Falsafah abd ke-19]]
|color            = #B0C4DE
|image            = George Boole color.jpg
|caption          = George Boole
|name             = George Boole
|birth_date       = {{birth date|df=yes|1815|11|02}}
|birth_place      = [[Lincoln, Lincolnshire|Lincoln]], [[Lincolnshire]], [[England]]
|death_date       = {{death date and age|1864|12|08|1815|11|02|df=y}}
|death_place      = [[Ballintemple, Cork|Ballintemple]], [[County Cork]], Ireland
|nationality      = British
|school_tradition = Pengasasan matematik [[pengkomputeran]]
|main_interests   = Mathematik, [[Logik]], [[Falsafah matematik]]
|religion         = [[Unitarianism|Unitarian]]
|influences       = [[Aristotle]], [[Baruch Spinoza|Spinoza]], [[Isaac Newton|Newton]]
|influenced       = Saintis komputer modern, [[William Stanley Jevons|Jevons]], [[Augustus De Morgan|De Morgan]], [[John Maynard Keynes|Keynes]], [[Bertrand Russell|Russell]], [[Charles Sanders Peirce|Peirce]], [[William Ernest Johnson|Johnson]], [[Claude Shannon|Shannon]], [[Victor Shestakov|Shestakov]]
|notable_ideas    = [[Algebra Boole]]
}}

'''George Boole''' ({{IPAc-en|ˈ|b|uː|l}}; 2 November 1815&nbsp;– 8 Disember 1864) adalah ahli [[matematik]], pendidik, [[falsafah|ahli falsafah]] dan [[logik]] Inggeris. Beliau bekerja dalam bidang [[persamaan pembezaan]] dan [[logik algebra]], dan terkenal sebagai pengarang ''[[Undang-undang Pemikiran]]'' yang mengandungi [[Boolean algebra]]. Logik Boolean dikreditkan dengan meletakkan asas-asas untuk era maklumat.<ref name="Commemoration"/> Boole menegaskan bahawa:
{{Quote|text= Tidak kaedah ''umum'' bagi penyelesaian soalan dalam teori kebarangkalian boleh ditubuhkan yang tidak jelas mengiktiraf, bukan sahaja asas berangka khas sains, tetapi juga mereka undang-undang universal pemikiran yang menjadi asas kepada semua penaakulan , dan yang, apa sahaja yang mereka boleh berfungsi untuk intipati mereka, sekurang-kurangnya matematik untuk bentuk mereka.<ref name="Boole Studies in Logic p 273">{{cite book 
| last = Boole | first = George 
| title = Studies in Logic and Probability 
| publisher = Dover Publications | location = Mineola, NY 
| date = 2012 | edition = Reprint | isbn=978-0-486-48826-4 
| orig-year= Originally published by Watts & Co., London, in 1952
| url = https://books.google.com/books?id=pr35F8N9eaoC&lpg=PP1&pg=PA273 <!-- URL for p. 273 -->
| page = 273
| editor-last= Rhees |editor-first= Rush |editor-link= Rush Rhees 
| access-date=27 October 2015}}</ref>}}

== Kehidupan awal ==
Boole dilahirkan di [[Lincolnshire]], England. Bapanya, John Boole (1779-1848), adalah seorang pedagang di Lincoln<ref>{{Cite EB1911|wstitle=Boole, George}}</ref> dan memberi pelajaran. Beliau mempunyai pendidikan sekolah rendah, tetapi pengajaran lebih formal dan akademik sedikit. William Brooke, seorang penjual buku di Lincoln, mungkin telah membantu beliau dengan Latin, yang mungkin juga telah belajar di sekolah Thomas Bainbridge. Beliau adalah otodidak dalam bahasa-bahasa moden.<ref name=Hill149>Hill, p. 149; [https://books.google.com/books?id=-A89AAAAIAAJ&pg=PA149 Google Books].</ref> Pada usia 16 Boole menjadi pencari nafkah untuk ibu bapa dan tiga adik-beradik yang lebih muda, mengambil kedudukan pengajaran junior di [[Doncaster]] di Sekolah Heigham ini.<ref name=Rhees1954>[[Rush Rhees|Rhees, Rush]]. (1954) "George Boole as Student and Teacher. By Some of His Friends and Pupils", ''Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences''. Vol. 57. Royal Irish Academy</ref> Beliau mengajar secara ringkas di [[Liverpool]].<ref name=MacTutor>{{MacTutor Biography|id=Boole}}</ref>

Boole telah mengambil bahagian dalam tempatan [[Mekanik Institut]], Institusi Mekanik Lincoln, yang ditubuhkan pada tahun 1833.<ref name=Hill149/><ref>[http://www.freewebs.com/sochistastro/lincolnshire.htm Society for the History of Astronomy, ''Lincolnshire''.]</ref> [[Edward Bromhead]], yang tahu John Boole melalui institusi, membantu George Boole dengan buku-buku matematik<ref>{{ODNBweb|id=37224|title=Bromhead, Sir Edward Thomas French|first=A. W. F.|last=Edwards}}</ref> dan beliau telah diberikan teks kalkulus daripada [[Sylvestre François Lacroix]] oleh Rev. George Stevens Dickson Lincoln St Swithin ini.<ref name=SED>{{Sep entry|boole|George Boole|Stanley Burris}}</ref> Without a teacher, it took him many years to master calculus.<ref name=MacTutor/>

{|align=right
|-
! style="color:#black; background:#dddddd; font-size:100%; text-align:center;" colspan="2"|Boole's Lincoln House
|-
|<gallery>
File:3 Pottergate - geograph.org.uk - 657140.jpg|Rumah dan Sekolah Boole di 3 Pottergate di Lincoln.
File:BoolePlacque.jpg|Plak dari rumah di Lincoln.
</gallery>
|}

Pada usia 19 tahun, Boole berjaya menubuhkan sekolah sendiri di Lincoln. Empat tahun kemudian beliau mengambil alih Akademi Dewan dalam [[Waddington, Lincolnshire|Waddington]], di luar Lincoln, berikutan kematian Robert Hall. Pada tahun 1840 beliau kembali ke Lincoln, di mana beliau menguruskan sebuah sekolah berasrama penuh.<ref name=MacTutor/>

Boole menjadi seorang tokoh tempatan yang terkenal, seorang yang mengagumi [[John Kaye (biskop)|John Kaye]], si uskup.<ref>Hill, p. 172 note 2; [https://books.google.com/books?id=-A89AAAAIAAJ&pg=PA172 Google Books].</ref> He took part in the local campaign for [[early closing]].<ref name=Hill149/> With [[E. R. Larken]] and others he set up a [[building society]] in 1847.<ref>Hill, p. 130 note 1; [https://books.google.com/books?id=-A89AAAAIAAJ&pg=PA130 Google Books].</ref> He associated also with the [[Chartism|Chartist]] [[Thomas Cooper (poet)|Thomas Cooper]], whose wife was a relation.<ref>Hill, p. 148; [https://books.google.com/books?id=-A89AAAAIAAJ&pg=PA148 Google Books].</ref>

Dari tahun 1838 dan seterusnya Boole telah membuat hubungan dengan bersimpati matematik akademik British dan membaca dengan lebih meluas. Beliau belajar algebra dalam bentuk kaedah simbolik, kerana ini difahami pada masa itu, dan mula menerbit kertas penyelidikan.<ref name=MacTutor/>

==Profesor di Cork==
[[File:Boole House Cork.jpg|thumb|Rumah di Cork di mana Boole hidup antara 1849 dan 1855.]]
Status Boole sebagai ahli matematik telah diiktiraf oleh pelantikan beliau pada tahun 1849 sebagai profesor pertama matematik di [[Kolej Queen, Cork]] (kini [[Kolej Universiti Cork]] (UCC)) di Ireland. Beliau bertemu dengan bakal isterinya, Mary Everest, terdapat pada tahun 1850 semasa beliau melawat bapa saudaranya John Ryall yang merupakan Profesor Greek. Mereka berkahwin beberapa tahun kemudian.<ref>Ronald Calinger, ''Vita mathematica: historical research and integration with teaching'' (1996), p. 292; [https://books.google.com/books?id=D21wKHoYGg0C&pg=PA292 Google Books].</ref> Beliau mengekalkan hubungan dengan Lincoln, bekerja di sana dengan ER Larken dalam kempen untuk mengurangkan pelacuran.<ref>Hill, p. 138 note 4; [https://books.google.com/books?id=-A89AAAAIAAJ&pg=PA138 Google Books].</ref>

==Kepujian dan anugerah==
Boole telah dianugerahkan [[Keith Pingat]] oleh [[Royal Society of Edinburgh]] pada tahun 1855 <ref>{{cite web|url = http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8735503|title= Keith Awards 1827-1890|publisher=Canmbridge Journals Online|accessdate = 29 November 2014}}</ref> dan dipilih sebagai [[Fellow Royal Society]] pada tahun 1857.<ref name=SED/> He received [[honorary degrees]] of [[LL.D.]] from the [[University of Dublin]] and [[Oxford University]].<ref>[[Ivor Grattan-Guinness]], [[Gérard Bornet]], ''George Boole: Selected manuscripts on logic and its philosophy'' (1997), p. xiv; [https://books.google.com/books?id=pzg7UFsIVJIC&pg=PR14 Google Books].</ref>

==Kematian==
Pada tahun 1864, Boole berjalan dua batu dalam hujan pemberian ubat cacing dan berceramah memakai pakaian basah beliau. Beliau tidak lama lagi jatuh sakit, demam sejuk dan tinggi yang teruk. Sebagai isterinya percaya bahawa ubat harus menyerupai perjuangan mereka, beliau meletakkan suaminya tidur dan dicurahkan baldi air ke atas beliau & ndash; basah telah disebabkan penyakitnya.{{citation needed}} Keadaan Boole bertambah buruk dan pada 8 Disember 1864, beliau meninggal dunia akibat demam yang disebabkan oleh [[pengaliran cairan pleural]].

Beliau dikebumikan di Gereja Ireland perkuburan St Michael, Jalan Gereja, [[Blackrock, Cork|Blackrock]] (pinggir bandar [[Cork City]]). Terdapat plak peringatan di dalam gereja bersebelahan itu.<ref>Plak itu berbunyi: ‘Untuk ingatan George Boole, LLD, DCL, FRS, Cork, dalam perintah yang paling tinggi akal diusahakan oleh industri unwearied menghasilkan buah-buahan rendah diri dalam dan amanah seperti kanak-kanak. Beliau dilahirkan di Lincoln pada 2 November 1815 dan meninggal dunia di Ballintemple pada 8 Disember 1864. Untuk selama-lamanya Ya Tuhan kata-kata-MU tetap teguh di syurga.’ http://georgeboole.com/boole/life/ucc/death/</ref>
[[File:Grave of George Boole in Ireland.jpg|thumb|Batu nisan Boole, Cork, Ireland.]]
[[File:BooleWindow(bottom third).jpg|thumb|Butiran tingkap kaca berwarna di [[Katedral Lincoln]] khusus untuk George Boole.]]
[[File:BoolePlaque2.jpg|thumb|Plak di bawah tingkap Boole di Katedral Lincoln.]]

==Karya==
Kertas pertama diterbitkan Boole adalah ''Penyelidikan dalam teori transformasi analisis, dengan aplikasi khas untuk pengurangan persamaan umum perintah kedua'', yang dicetak dalam ''[[Journal Cambridge Matematik]]'' dalam Februari 1840 (Jilid 2, no 8, ms. &nbsp;. 64-73), dan ia membawa kepada persahabatan antara Boole dan [[Duncan Farquharson Gregory]], editor jurnal. Karya-karya beliau adalah dalam kira-kira 50 artikel dan beberapa penerbitan berasingan.<ref>Senarai memoir dan kertas Boole adalah dalam '' Catalogue of Scientific Memoirs '' diterbitkan oleh [[Royal Society]], dan dalam jumlah tambahan itu pada persamaan pembezaan, disunting oleh [[Ishak Todhunter]]. Kepada ''Journal Cambridge Matematik'' dan penggantinya, ''[[Jurnal Matematik Cambridge dan Dublin]]'', Boole menyumbang 22 artikel di dalam semua. Dalam siri ketiga dan keempat ''[[Philosophical Magazine]]'' terdapat 16 kertas. The Royal Society mencetak enam memoir dalam ''[[Philosophical Transactions]]'', dan beberapa memoir yang lain boleh didapati di '' Transaksi '' daripada [[Royal Society of Edinburgh]] dan yang [[Royal Irish Academy]], dalam ''Buletin de l'Académie de St-Pétersbourg'' untuk 1862 (di bawah nama G. Boldt itu, vol iv pp.&nbsp;.. 198-215), dan dalam ''[[Jurnal Crelle]]''. Turut termasuk adalah kertas secara matematik logik, yang disiarkan dalam ''[[Mechanic's Magazine]]'' pada tahun 1848.</ref>

Pada tahun 1841 Boole menerbitkan satu kertas berpengaruh pada awal [[teori tak berubah]].<ref name=SED/> Beliau menerima pingat dari [[Royal Society]] untuk memoir beliau tahun 1844, ''Pada Tatacara Am Analisis''. Ia merupakan satu sumbangan kepada teori [[persamaan pembezaan linear]] s, bergerak dari hal pekali malar di mana beliau telah pun diterbitkan, untuk pekali pembolehubah.<ref>[[Andrei Nikolaevich Kolmogorov]], [[Adolf Pavlovich Yushkevich]] (editors), ''Mathematics of the 19th Century: function theory according to Chebyshev, ordinary differential equations, calculus of variations, theory of finite differences'' (1998), pp. 130–2; [https://books.google.com/books?id=Mw6JMdZQO-wC&pg=PA130 Google Books].</ref> The innovation in operational methods is to admit that operations may not [[commutative law|commute]].<ref>[[Jeremy Gray]], [[Karen Hunger Parshall]], ''Episodes in the History of Modern Algebra (1800–1950)'' (2007), p. 66; [https://books.google.com/books?id=zMSl6QLlJZsC&pg=PA66 Google Books].</ref> Pada tahun 1847 Boole menerbitkan ''Analisis Matematik Logik'', pertama karya-karya beliau kepada logik simbolik.<ref>George Boole, [https://books.google.com/books?id=zv4YAQAAIAAJ&pg=PP9#v=onepage&q&f=false ''The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning''] (London, England: Macmillan, Barclay, & Macmillan, 1847).</ref>

===Persamaan pembezaan===
Dua karya sistematik pada mata pelajaran matematik telah disempurnakan oleh Boole semasa hayatnya. ''Treatise on Persamaan Pembezaan''<ref>George Boole, ''A treatsie on differential equations'' (1859), [https://archive.org/details/atreatiseondiff06boolgooga Internet Archive].</ref> muncul pada tahun 1859, dan diikuti, tahun yang berikutnya, oleh ''Treatise pada [[Kalculus]] daripada Perbezaan Terhingga'', sekuel kepada kerja-kerja bekas.

===Analisis===
Pada tahun 1857, Boole menerbitkan ''Mengenai Perbandingan Transcendents, dengan Aplikasi tertentu kepada Teori Kamiran Pasti'',<ref>{{cite journal |title=On the Comparison of Transcendents, with Certain Applications to the Theory of Definite Integrals |first=George |last=Boole |journal=Philosophical Transactions of the Royal Society of London |volume=147 |year=1857 |pages=745–803 |jstor=108643 |doi=10.1098/rstl.1857.0037}}</ref> di mana beliau belajar jumlah [[sisa (analisis kompleks)|sisa]] [[fungsi rasional]]. Antara keputusan yang lain, beliau membuktikan apa yang kini dikenali pengenalan Boole:

:<math>\mathrm{mes} \left\{ x \in \mathbb{R} \, \mid \, \Re \frac{1}{\pi} \sum \frac{a_k}{x - b_k} \geq t \right\} = \frac{\sum a_k}{\pi t} </math>

bagi mana-mana angka sebenar ''a''<sub>''k''</sub>&nbsp;>&nbsp;0, ''b''<sub>''k''</sub>, dan ''t''&nbsp;>&nbsp;0.<ref name=cmr>{{cite book|mr=2129737|last1=Cima|first1=Joseph A.|last2=Matheson|first2=Alec|last3=Ross|first3=William T.|chapter=The Cauchy transform|title=Quadrature domains and their applications|pages=79–111|series=Oper. Theory Adv. Appl.|volume=156|publisher=Birkhäuser|location=Basel|year=2005}}</ref> Mengitlakkan identiti ini memainkan peranan yang penting dalam teori [[perubahan Hilbert]].<ref name=cmr/>

===Logik simbolik===
{{main|Algebra Boolean algebra}}
Pada tahun 1847 Boole diterbitkan risalah ''Analisis Matematik Logik''. Beliau kemudiannya dianggap sebagai pameran cacat sistem logik, dan mahu ''[[Undang-undang Pemikiran|Suatu kajian Undang-Undang Pemikiran pada Yang sedang Ditubuhkan Teori Matematik Logik dan Kebarangkalian]] '' dilihat sebagai kenyataan itu matang pandangannya. Bertentangan dengan kepercayaan meluas, Boole tidak pernah berniat untuk mengkritik atau tidak bersetuju dengan prinsip-prinsip utama logik Aristotle. Sebaliknya beliau berhasrat untuk bersistem, untuk menyediakan dengan dasar, dan meluaskan rangkaian produk-tidaknya.<ref>[[John Corcoran (ahli logik)|JOHN CORCORAN]], Aristotle's Prior Analytics and Boole's Laws of Thought, History and Philosophy of Logic, vol.  24 (2003), pp. 261–288.</ref> Penglibatan awal Boole dalam logik didorong oleh perdebatan semasa di [[kuantifikasi (logik)|kuantifikasi]], antara [[Sir William Hamilton, Baronet 9|Sir William Hamilton]] yang menyokong teori "kuantifikasi predikat", dan penyokong Boole [[Augustus De Morgan]] yang maju versi [[De Morgan berbelah]], kerana ia kini dikenali. Pendekatan Boole telah akhirnya mencapai lebih jauh daripada sama ada pihak dalam kontroversi.<ref name=ODNB>{{ODNBweb|id=2868|title=Boole, George|first=I.|last=Grattan-Guinness}}</ref> Ia diasaskan apa yang pertama kali dikenali sebagai "algebra logik" tradisi.<ref name=Marc>Witold Marciszewski (editor), ''Dictionary of Logic as Applied in the Study of Language'' (1981), pp. 194–5.</ref>

Di antara inovasi beliau adalah prinsip [[rujukan holistik]] beliau, yang kemudiannya, dan mungkin secara bebas, yang diterima pakai oleh [[Gottlob Frege]] dan oleh logicians yang melanggan standard logik tertib pertama. Satu rencana 2003<ref>Corcoran, John (2003). "Aristotle's Prior Analytics and Boole's Laws of Thought". ''History and Philosophy of Logic'', '''24''': 261–288. Reviewed by Risto Vilkko. ''Bulletin of Symbolic Logic'', '''11'''(2005) 89–91. Also by Marcel Guillaume, ''Mathematical Reviews'' 2033867 (2004m:03006).</ref> menyediakan perbandingan sistematik dan penilaian kritikal [[logik Aristotle]] dan [[logik Boole]]; ia juga mendedahkan keutamaan [[rujukan holistik]] dalam [[falsafah logik]] Boole.

====Takrif 1854 Boole pada [[alam semesta wacana]]====
Dalam tiap-tiap wacana, sama ada minda berbual dengan fikiran sendiri, atau individu dalam hubungan dengan orang lain, terdapat had diandaikan atau dinyatakan dalam mana mata pelajaran operasinya adalah terhad. Wacana paling tidak terbatas yang di dalamnya perkataan yang kita gunakan difahami dalam permohonan itu seluas mungkin, dan bagi mereka had wacana adalah bersama dengan orang-orang yang banyak alam semesta itu sendiri. Tetapi yang lebih biasanya kita membataskan diri kita kepada bidang yang kurang luas. Kadang-kadang, berpidato manusia kita membayangkan (tanpa menyatakan had) bahawa adalah lelaki hanya di bawah keadaan dan syarat-syarat tertentu yang kita bercakap, sebagai manusia bertamadun, atau lelaki dalam tenaga hidup, atau orang di bawah beberapa syarat lain atau hubungan. Kini, walau apa jua sejauh mana bidang di mana semua objek wacana kami berada, bidang itu boleh dengan sepatutnya dipanggil alam semesta wacana. Tambahan pula, alam semesta ini wacana adalah di dalam pengertian sebenar subjek utama perbincangan.<ref>George Boole. 1854/2003. The Laws of Thought, facsimile of 1854 edition, with an introduction by J. Corcoran. Buffalo: Prometheus Books (2003). Reviewed by James van Evra in Philosophy in Review.24 (2004) 167–169.</ref>

====Perlakuan tambahan dalam logik====
Boole mengandung "simbol elektif" jenis itu sebagai [[struktur algebra]]. Tetapi ini konsep umum tidak boleh didapati kepadanya: beliau tidak mempunyai standard pengasingan dalam [algebra [abstrak]] daripada mengandaikan (disangkal) sifat-sifat operasi, dan sifat-sifat disimpulkan.<ref name=KY>[[Andrei Nikolaevich Kolmogorov]], [[Adolf Pavlovich Yushkevich]], ''Mathematics of the 19th Century: mathematical logic, algebra, number theory, probability theory'' (2001), pp. 15 (note 15)–16; [https://books.google.com/books?id=X3u5hJCkobYC&pg=PA15 Google Books].</ref> Hasil kerja beliau adalah satu permulaan kepada [[algebra set]], sekali lagi tidak konsep yang disediakan untuk Boole sebagai model biasa. Usaha-usaha beliau menghadapi masalah tertentu, dan rawatan tambahan adalah satu kesukaran yang jelas dalam hari-hari awal.

Boole digantikan operasi pendaraban dengan perkataan 'dan' dan tambahan dengan perkataan 'atau'. Tetapi dalam sistem asal Boole, + adalah [[operasi separa]]: dalam bahasa [[teori set]] ia akan sesuai hanya untuk [[kesatuan tak berkait]] subset. Penulis kemudian ditukar tafsiran, biasa membacanya sebagai [[eksklusif atau]], atau di set segi teori [[perbezaan simetri]]; langkah ini bermakna selain sentiasa ditakrifkan.<ref name=Marc/><ref>{{sep entry|algebra-logic-tradition|The Algebra of Logic Tradition|Stanley Burris}}</ref>

Malah ada kemungkinan yang lain, bahawa + hendaklah dibaca sebagai [[Pemisahan]],<ref name=KY/> Ini kemungkinan lain bermula dari kes tak berkait kesatuan, di mana eksklusif atau dan tidak eksklusif atau kedua-duanya memberikan jawapan yang sama . Pengendalian kekaburan ini adalah satu masalah awal teori, mencerminkan penggunaan moden kedua-dua [[ring Boolean]] s dan aljabar Boolean (yang hanya aspek-aspek yang berbeza satu jenis struktur). Boole dan Jevons bergelut lebih hanya isu ini pada tahun 1863, dalam bentuk penilaian yang betul ''x'' + ''x''. Jevons berhujah untuk keputusan yang ''x'', yang betul untuk + sebagai Pemisahan. Boole disimpan hasilnya sebagai sesuatu undefined. Beliau berhujah terhadap keputusan 0, yang betul untuk eksklusif atau, kerana beliau melihat persamaan ''x'' + ''x'' = 0 sebagi sedia tersirat memberikan ''x'' = 0, analogi palsu dengan algebra biasa.<ref name=SED/>

===Teori kebarangkalian===
Bahagian kedua daripada ''Undang-Undang Pemikiran'' yang terkandung satu percubaan yang sepadan dengan menemui kaedah umum dalam kebarangkalian. Di sini matlamatnya adalah algoritma: dari kebarangkalian diberikan apa-apa sistem peristiwa, untuk menentukan kebarangkalian berbangkit apa-apa kejadian lain secara logik yang berkaitan dengan peristiwa-peristiwa.<ref>{{cite book |last=Boole |first=George |title=An Investigation of the Laws of Thought |publisher=Walton & Maberly |year=1854 |location=London |pages=265–275 |url=http://archive.org/stream/investigationofl00boolrich#page/264/mode/2up}}</ref>

==Legasi==

[[Algebra Boolean]] dinamakan sempena nama dia, seperti kawah [[Boole (kawah)|Boole]] di Bulan. Kata kunci ''Bool'' mewakili [[jenis data Boolean]] dalam banyak bahasa pengaturcaraan, walaupun [[Pascal (bahasa pengaturcaraan)|Pascal]] dan [[Java (bahasa pengaturcaraan)|Java]], antara lain, kegunaan nama penuh '' Boolean ''.<ref>P. J. Brown, ''Pascal from Basic'', Addison-Wesley, 1982. ISBN 0-201-13789-5, page 72</ref> Perpustakaan, bawah tanah kompleks dewan kuliah dan Pusat Boole Penyelidikan Informatik<ref>{{Cite web |url=http://www.bcri.ucc.ie/ |title=Boole Centre for Research in Informatics |access-date=2021-08-20 |archive-date=2019-08-16 |archive-url=https://web.archive.org/web/20190816105620/http://www.bcri.ucc.ie/ |url-status=dead }}</ref> di [[University College Cork]] yang dinamakan sempena nama beliau. Satu jalan yang dikenali sebagai '' Boole Heights '' di Bracknell, Berkshire dinamakan sempena nama dia.

=== Pembangunan abad ke-19 ===
Kerja Boole telah dilanjutkan dan ditapis oleh beberapa penulis, bermula dengan [[William Stanley Jevons]]. [[Augustus De Morgan]] telah bekerja di [[logik hubungan]] dan [[Charles Sanders Peirce]] bersepadu kerja dengan ini Boole semasa tahun 1870-an.<ref name=GGB>[[Ivor Grattan-Guinness]], [[Gérard Bornet]], ''George Boole: Selected manuscripts on logic and its philosophy'' (1997), p. xlvi; [https://books.google.com/books?id=pzg7UFsIVJIC&pg=PR46 Google Books].</ref> Angka bererti yang lain ialah [[Platon Sergeevich Poretskii]] dan [[William Ernest Johnson]]. Konsep struktur algebra Boolean atas penyata bersamaan dengan [[kalkulus usulan]] dikreditkan ke [[Hugh MacColl]] (1877), dalam kerja-kerja yang dikaji 15 tahun kemudian oleh Johnson.<ref name=GGB/> Ukur perkembangan ini telah diterbitkan oleh [[Ernst Schröder]], [[Louis Couturat]] dan [[Clarence Irving Lewis]].

=== Pembangunan abad ke-20 ===
[[File:Hasse2Free.png|thumb|Dalam notasi moden, [[percuma Boolean algebra]] pada usul asas ''p'' dan ''q'' disusun dalam [[gambar rajah Hasse]]. Gabungan Boolean membentuk 16 usul yang berbeza, dan garis-garis menunjukkan yang secara logiknya berkaitan.]]

Pada tahun 1921 ahli ekonomi [[John Maynard Keynes]] menerbitkan sebuah buku mengenai teori kebarangkalian, ''A Treatise of Probability''. Keynes percaya Boole telah membuat kesilapan asas dalam definisi beliau kemerdekaan yang vitiated banyak analisis dia.<ref>Chapter XVI, p. 167, section 6 of ''A treatise on probability'', volume 4: "The central error in his system of probability arises out of his giving two inconsistent definitions of 'independence' (2) He first wins the reader's acquiescence by giving a perfectly correct definition: "Two events are said to be independent when the probability of either of them is unaffected by our ''expectation'' of the occurrence or failure of the other." (3) But a moment later he interprets the term in quite a different sense; for, according to Boole's second definition, we must regard the events as independent unless we are told either that they ''must'' concur or that they ''cannot'' concur. That is to say, they are independent unless we know for certain that there is, in fact, an invariable connection between them. "The simple events, ''x'', ''y'', ''z'', will be said to be ''conditioned'' when they are not free to occur in every possible combination; in other words, when some compound event depending upon them is precluded from occurring. ... Simple unconditioned events are by definition independent." (1) In fact as long as ''xz'' is ''possible'', ''x'' and ''z'' are independent. This is plainly inconsistent with Boole's first definition, with which he makes no attempt to reconcile it. The consequences of his employing the term independence in a double sense are far-reaching. For he uses a method of reduction which is only valid when the arguments to which it is applied are independent in the first sense, and assumes that it is valid if they are independent in second sense. While his theorems are true if all propositions or events involved are independent in the first sense, they are not true, as he supposes them to be, if the events are independent only in the second sense."</ref> Dalam bukunya ''Masalah Cabaran Terakhir'', David Miller menyediakan kaedah yang umum sesuai dengan sistem dan cuba untuk menyelesaikan masalah-masalah yang diiktiraf sebelum ini oleh Keynes dan lain-lain Boole. Theodore Hailperin menunjukkan lebih awal yang Boole telah menggunakan definisi matematik yang betul bagi kemerdekaan pada masalah beliau bekerja di luar <ref name=Miller>[http://zeteticgleanings.com/boole.html http://zeteticgleanings.com/boole.html]</ref>

Karya Boole dan juga logicians kemudian mulanya kelihatan tidak mempunyai kegunaan kejuruteraan. [[Claude Shannon]] menghadiri kelas falsafah di [[Universiti Michigan]] yang memperkenalkannya kepada kajian Boole. Shannon diiktiraf bahawa kerja Boole itu boleh menjadi asas kepada mekanisme dan proses dalam dunia sebenar dan oleh itu adalah sangat relevan. Pada tahun 1937 Shannon pergi untuk menulis tesis sarjana, di [[Massachusetts Institute of Technology]], di mana beliau menunjukkan bagaimana algebra Boolean boleh mengoptimumkan reka bentuk sistem elektromekanik [[relay]] s kemudian digunakan dalam routing telefon suis. Beliau juga membuktikan bahawa litar dengan relay dapat menyelesaikan masalah algebra Boolean. Menggunakan sifat-sifat suis elektrik untuk memproses logik adalah konsep asas yang mendasari semua elektronik [[komputer digital]] moden. [[Victor Shestakov]] di Moscow State University (1907-1987) mencadangkan satu teori suis elektrik berdasarkan logik Boolean lebih awal daripada [[Claude Shannon]] pada tahun 1935 atas keterangan logicians Soviet dan ahli matematik [[Sofya Yanovskaya]] ., Gaaze-Rapoport, [[Roland Dobrushin]], Lupanov, Medvedev dan Uspensky, walaupun mereka menyampaikan tesis akademik mereka pada tahun yang sama, 1938 {{Jelaskan | date = Jun 2009}} Tetapi terbitan pertama hasil Shestakov ini tempat mengambil hanya pada tahun 1941 (di Rusia). Oleh itu, algebra Boolean menjadi asas praktikal [[litar digital]] reka bentuk; dan Boole, melalui Shannon dan Shestakov, dengan syarat asas teori bagi [[Maklumat Umur]].<ref>"That dissertation has since been hailed as one of the most significant master's theses of the 20th century. To all intents and purposes, its use of binary code and Boolean algebra paved the way for the digital circuitry that is crucial to the operation of modern computers and telecommunications equipment."{{cite web |url=http://www.guardian.co.uk/science/2001/mar/08/obituaries.news |publisher=The Guardian |location=United Kingdom |date=8 March 2001 |title=Claude Shannon |first=Andrew |last=Emerson}}</ref>{{Clear}}

===Perayaan abad ke-21===
{{Quote box|width=30%|align=right|quote="Legasi Boole mengelilingi kita mana-mana, dalam komputer, penyimpanan maklumat dan dapatan semula, litar, dan kawalan yang menyokong kehidupan, pembelajaran dan komunikasi pada abad ke-21 elektronik. Kemajuan penting dalam matematik, logik dan kebarangkalian yang diberikan asas yang penting untuk matematik moden, kejuruteraan mikroelektronik dan sains komputer."|source=—Universiti College Cork.<ref name="Commemoration">{{cite news|title=Who is George Boole: the mathematician behind the Google doodle|url=http://www.smh.com.au/technology/technology-news/who-is-george-boole-the-mathematician-behind-the-google-doodle-20151102-gkofyg.html#ixzz3qIcv6ii2|publisher=Sydney Morning Herald|date=2 November 2015}}</ref>}}
Tahun 2015 melihat ulang tahun ke-200 kelahiran George Boole ini, pada tahun 1815. Sempena tahun kurun masa dua abad, [[Kolej Universiti Cork]] akan menyertai penyokong Boole di seluruh dunia untuk meraikan kehidupan dan segala sumbangannya.

Projek, ciri-ciri acara, aktiviti jangkauan pelajar dan persidangan akademik legasi Boole dalam era digital UCC [http://georgeboole.com George Boole 200], termasuk edisi baru 1985 biografi Desmond Machale '' The Life and Work of George Boole: A Prelude to the Digital Age'' ([http://www.corkuniversitypress.com/SearchResults.asp?Search=boole&Submit= Cork University Press], 2014).

Enjin carian [[Google]] menandakan ulang tahun ke-200 kelahirannya pada 2 November 2015 dengan Mengimej Semula algebra [[Google Doodle]].<ref name="Commemoration"/>

==Pandangan==
Pandangan Boole diberi dalam empat alamat yang diterbitkan: ''The Genius of Sir Isaac Newton''; ''The Right Use of Leisure''; ''The Claims of Science''; dan ''The Social Aspect of Intellectual Culture''.<ref>1902 ''Britannica'' article by Jevons; [http://www.1902encyclopedia.com/B/BOO/george-boole.html online text.]</ref> Yang pertama ini adalah dari tahun 1835, apabila [[Charles Anderson-Pelham, 1st Earl of Yarborough]] telah memberikan sebuah patung Newton kepada Institut Mekanik 'di Lincoln.<ref>James Gasser, ''A Boole Anthology: recent and classical studies in the logic of George Boole'' (2000), p. 5; [https://books.google.com/books?id=A2Q5Yghl000C&pg=PA5 Google Books].</ref> Yang wajar kedua dan diraikan pada tahun 1847 hasil daripada kempen yang berjaya untuk tutup awal di Lincoln, yang diketuai oleh Alexander Leslie-Melville, daripada [[Branston Hall]].<ref>Gasser, p. 10; [https://books.google.com/books?id=A2Q5Yghl000C&pg=PA10 Google Books].</ref> ''The Claims of Science'' diberikan pada tahun 1851 di Queen's College, Cork.<ref>{{cite book|last=Boole |first=George |title=The Claims of Science, especially as founded in its relations to human nature; a lecture |url=https://books.google.com/books?id=BAlcAAAAQAAJ |accessdate=4 March 2012 |year=1851}}</ref> ''The Social Aspect of Intellectual Culture'' juga diberikan di Cork, pada tahun 1855 kepada Cuvierian Society.<ref>{{cite book |last=Boole |first=George |title=The Social Aspect of Intellectual Culture: an address delivered in the Cork Athenæum, May 29th, 1855 : at the soirée of the Cuvierian Society |url=https://books.google.com/books?id=PFWkZwEACAAJ |accessdate=4 March 2012 |year=1855 |publisher=George Purcell & Co.}}</ref>

Walaupun biografi beliau Des Machale menerangkan Boole sebagai "perwujudan dewa agnostik",<ref>{{cite book|title=Semiotica, Volume 105|year=1995|publisher=Mouton|page=56|author1=International Association for Semiotic Studies |author2=International Council for Philosophy and Humanistic Studies |author3=International Social Science Council|accessdate=31 March 2013|chapter=Sebuah kisah dua amatur|quote=biografi Machale ini memerlukan George Boole 'perwujudan dewa agnostik. 'Klasifikasi' Kedua-dua Booles falsafah agama 'sebagai monistik, dualistik, dan trinitarian meninggalkan sedikit keraguan tentang pilihan mereka untuk 'agama perpaduan', sama ada Yahudi atau Unitarian.}}</ref><ref>{{cite book|title=Semiotica, Volume 105|year=1996|publisher=Mouton|page=17|author1=International Association for Semiotic Studies |author2=International Council for Philosophy and Humanistic Studies |author3=International Social Science Council|accessdate=31 March 2013|quote=MacHale does not repress this or other evidence of the Boole's nineteenth-century beliefs and practices in the paranormal and in religious mysticism. He even concedes that George Boole's many distinguished contributions to logic and mathematics may have been motivated by his distinctive religious beliefs as an "agnostic deist" and by an unusual personal sensitivity to the sufferings of other people.}}</ref> Boole read a wide variety of Christian theology. Combining his interests in mathematics and theology, he compared the Christian trinity of Father, Son, and Holy Ghost with the three dimensions of space, and was attracted to the Hebrew conception of God as an absolute unity. Boole considered converting to [[Judaism]] but in the end was said to have chosen [[Unitarianism]]. Boole came to speak against a what he saw as "prideful" scepticism, and instead, favoured the belief in a "Supreme Intelligent Cause",<ref>Boole, George. Studies in Logic and Probability. 2002. Courier Dover Publications. p. 201-202</ref> Beliau juga menyatakan "Saya percaya, untuk pencapaian tujuan Minda [[Ilahi]]."<ref>Concluding remarks of his treatise of "Clarke and Spinoza", as found in Boole, George (2007). An Investigation of the Laws of Thought. Cosimo, Inc. Chap . XIII. p. 217-218. (Original work published 1854)</ref><ref>Boole, George (1851). The claims of science, especially as founded in its relations to human nature; a lecture, Volume 15. p. 24</ref>

Dua pengaruh pada Boole kemudiannya dituntut oleh isterinya, [[Mary Everest Boole]]: a mistik universal diganggu oleh [[Yahudi | Yahudi]] pemikiran, dan [[logik India]].<ref name=Ganeri>Jonardon Ganeri (2001), ''Indian Logic: a reader'', Routledge, p. 7, ISBN 0-7007-1306-9; [https://books.google.com/books?id=t_nOiqFmxOIC&pg=PA7 Google Books].</ref> Mary Boole menyatakan bahawa pengalaman mistik remaja disediakan untuk kerja hidupnya:
<blockquote>Suami saya memberitahu saya bahawa apabila beliau adalah seorang pemuda yang tujuh belas pemikiran yang melanda beliau tiba-tiba, yang menjadi asas kepada semua penemuan masa depannya. Ia adalah satu flash wawasan psikologi ke dalam keadaan di mana fikiran yang paling mudah berkumpul pengetahuan [...] Untuk beberapa tahun beliau sepatutnya dirinya yakin dengan kebenaran "Alkitab" secara keseluruhannya, dan juga bertujuan untuk mengambil pesanan sebagai seorang pendeta Gereja Inggeris. Tetapi dengan bantuan belajar [[Yahudi | Yahudi]] di Lincoln beliau mendapati sifat sebenar penemuan yang telah bersinar ke atasnya. Ini adalah bahawa fikiran manusia berfungsi melalui beberapa mekanisme yang "fungsi biasanya ke arah [[Monisme]]."<ref name=MaryBoole>Boole, Mary Everest ''Indian Thought and Western Science in the Nineteenth Century'', Boole, Mary Everest ''Collected Works'' eds. E. M. Cobham and E. S. Dummer, London, Daniel 1931 pp.947–967</ref></blockquote>

Dalam Bab 13 ''Undang-Undang Pemikiran'' Boole menggunakan contoh-contoh dalil dari [[Baruch Spinoza]] dan [[Samuel Clarke]]. Kerja-kerja ini mengandungi beberapa kenyataan mengenai hubungan logik kepada agama, tetapi mereka sedikit dan samar.<ref>Grattan-Guinness and Bornet, p. 16; [https://books.google.com/books?id=pzg7UFsIVJIC&pg=PR16 Google Books].</ref> Boole nampaknya malu-malu di kaunter penyambut tetamu buku ini hanya sebagai set perkakas matematik:
<blockquote>George selepas itu belajar, untuk kegembiraan besar, supaya konsep yang sama asas Logik telah diadakan oleh [[Gottfried Wilhelm Leibniz | Leibnitz]], kontemporari Newton. De Morgan, sudah tentu, memahami formula dalam erti kata sebenar; beliau adalah kolaborator Boole selama ini. Herbert Spencer, Jowett dan [[Robert Leslie Ellis]] difahami, saya rasa pasti; dan beberapa orang lain, tetapi hampir semua logicians dan ahli matematik diabaikan [953] Kenyataan bahawa buku itu bertujuan untuk memberi penerangan kepada sifat minda manusia; dan dirawat formula sepenuhnya sebagai satu kaedah baru yang indah untuk mengurangkan kepada rakyat susunan logik bukti tentang hakikat luaran.<ref name=MaryBoole/></blockquote>

Mary Boole mendakwa terdapat pengaruh yang mendalam {{mdash}} melalui bapa saudaranya [[George Everest]] {{mdash}} daripada fikiran [[India]] on George Boole, dan juga di [[Augustus De Morgan]] dan [[Charles Babbage]]:
<blockquote> Fikirkan apa yang mesti mempunyai kesan pengHinduan yang berasal dari tiga lelaki seperti Babbage, De Morgan, dan George Boole pada suasana matematik 1830-1865. Apa saham telah ia dalam menjana [[Analisis Vektor]] dan matematik yang mana siasatan dalam bidang sains fizikal kini dijalankan?<ref name=MaryBoole/></blockquote>

==Keluarga==
Pada tahun 1855 beliau berkahwin dengan [[Mary Everest Boole|Mary Everest]] (anak saudara [[George Everest]]), yang kemudiannya menulis beberapa karya pendidikan prinsip suaminya.

The Booles mempunyai lima orang anak perempuan:
* Mary Lucy Margret (1856–1908)<ref>''`My Right To Die´, Woman Kills Self'' di ''The Washington Times'' v. 28 May 1908 ([http://chroniclingamerica.loc.gov/lccn/sn84026749/1908-05-28/ed-1/seq-1.pdf PDF]); ''Mrs. Mary Hinton A Suicide'' in ''The New York Times'' v. 29 May 1908 ([http://query.nytimes.com/mem/archive-free/pdf?res=9E02E5DB1631E233A2575AC2A9639C946997D6CF PDF]).</ref> yang mengahwini ahli matematik dan pengarang [[Charles Howard Hinton]] dan mempunyai empat orang anak: George (1882–1943), Eric (*1884), William (1886–1909)<ref>''Smothers In Orchard'' di ''The Los Angeles Times'' v. 27 Februari 1909.</ref> dan Sebastian (1887–1923) pencipta [[Jungle gym]]. Sebastian mempunyai tiga orang anak:
**Jean Hinton (nama nikah Rosner) (1917–2002) aktivis kedamaian.
**[[William H. Hinton]] (1919–2004) melawat China pada zaman 1930an dan 40an dan menulis keterangan berpengaruh pembaharuan tanah Komunis.
**[[Joan Hinton]] (1921–2010) bekerja untuk [[Projek Manhattan]] dan tinggal di China dari 1948 hingga kematiannya pada 8hb Jun 2010; dia berkahwin dengan [[Sid Engst]].
* Margaret, (1858&nbsp;– 1935) berkahwin dengan [[Edward Ingram Taylor]], seorang artis.
** Anak lelaki sulung mereka [[Geoffrey Ingram Taylor]] menjadi seorang ahli matematik dan seorang Felo [[Royal Society]].
** Anak lelaki bongsu mereka [[Julian Taylor (pembedahn)|Julian]] adalah seorang profesor pembedahan.
* [[Alicia Boole Stott|Alicia]] (1860–1940), yang membuat sumbangan penting pada geometri empat dimensi
* [[Lucy Everest Boole|Lucy Everest]] (1862–1904), profesor kimia wanita pertama di England
* [[Ethel Lilian Voynich|Ethel Lilian]] (1864–1960), yang berkahwin dengan saintis dan perevolusi Poland [[Wilfrid Michael Voynich]] dan pengarang novel ''[[The Gadfly]]''.

==Lihat juga==
{{Portal|Logik|Matematik|Biografi}}
* [[Logik Boole]]

==Rujukan==
{{Refbegin}}
*[[University College Cork]], ''George Boole 200 Bicentenary Celebration'', [http://georgeboole.com GeorgeBoole.com].
*{{Cite EB1911|wstitle=Boole, George}}
*[[Ivor Grattan-Guinness]], ''The Search for Mathematical Roots 1870–1940''. Princeton University Press. 2000.
*[[Francis Hill]] (1974), ''Victorian Lincoln''; [https://books.google.com/books?id=-A89AAAAIAAJ&pg=PA149 Google Books].
*[[Des MacHale]], '' George Boole: His Life and Work''. [http://boolepress.com/ Boole Press]. 1985.
*[[Des MacHale]], '' The Life and Work of George Boole: A Prelude to the Digital Age'' (new edition). [http://www.corkuniversitypress.com/SearchResults.asp?Search=boole&Submit= Cork University Press]. 2014
*[[Stephen Hawking]], '' God Created the Integers''. Running Press, Philadelphia. 2007.

{{Refend}}

==Catatan==
{{Reflist|colwidth=30em}}

==Pautan luar==

{{Sister project links| wikt=no | commons=Category:George Boole | b=no | n=no | q=George Boole | s=Author:George Boole | v=no | voy=no | species=no | d=q134661}}
*[http://www.rogerparsons.info/george/boole.html Roger Parsons' article on Boole]
* {{Gutenberg author |id=Boole,+George | name=George Boole}}
* {{Internet Archive author |sname=George Boole}}
*[http://www.ucc.ie/academic/undersci/pages/sci_georgeboole.htm George Boole's work as first Professor of Mathematics in University College, Cork, Ireland]
*[http://georgeboole.com George Boole Website]
*[https://zbmath.org/authors/?q=ai:boole.george Author profile] in the database [[Zentralblatt MATH|zbMATH]] 
 
{{Notable logicians}}
{{Authority control}}

{{Persondata <!-- Metadata: see [[Wikipedia:Persondata]]. -->
| NAME              = Boole, George
| ALTERNATIVE NAMES =
| SHORT DESCRIPTION = British mathematician
| DATE OF BIRTH     = 2 November 1815
| PLACE OF BIRTH    = [[Lincoln, Lincolnshire]], England
| DATE OF DEATH     = 8 December 1864
| PLACE OF DEATH    = [[Ballintemple, Cork|Ballintemple]], [[County Cork]], Ireland
}}
{{DEFAULTSORT:Boole, George}}
[[Kategori:Kelahiran 1815]]
[[Kategori:Kematian 1864]]
[[Kategori:Orang dari Lincoln, England]]
[[Kategori:British deists]]
[[Kategori:Ahli logik Inggeris]]
[[Kategori:Ahli falsafah Inggeris]]
[[Kategori:Unitarian Inggeris]]
[[Kategori:Penulis Zaman Victoria]]
[[Abad ke-Kategori Penulis Inggeris]]
[[Abad ke-Kategori ahli matematik Inggeris]]
[[Ahli falsafah abad ke-Kategori]]
[[Kategori:Ahli logik matematik]]
[[Kategori:Fellow Royal Society]]
[[Kategori:Ahli akademik Queens College Cork]]
[[Kategori:Pemenang Pingat Royal]]