Wikipedia

George Boole

"Boole" dilencongkan ke sini. Untuk kegunaan lain, sila lihat Boole (nyahkekaburan).

George Boole (/ˈbuːl/; 2 November 1815 – 8 Disember 1864) adalah ahli matematik, pendidik, 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.[1] Boole menegaskan bahawa:

George Boole
George Boole
Kelahiran(1815-11-02)2 November 1815
Lincoln, Lincolnshire, England
Meninggal dunia8 Disember 1864(1864-12-08) (umur 49)
Ballintemple, County Cork, Ireland
WarganegaraBritish
EraFalsafah abd ke-19
FalsafahFalsafah barat
SekolahPengasasan matematik pengkomputeran
Kepentingan utama
Mathematik, Logik, Falsafah matematik
Idea cemerlang
Algebra Boole
Dipengaruhi
Mempengaruhi

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.[2]

Kehidupan awal

sunting

Boole dilahirkan di Lincolnshire, England. Bapanya, John Boole (1779-1848), adalah seorang pedagang di Lincoln[3] 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.[4] 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.[5] Beliau mengajar secara ringkas di Liverpool.[6]

Boole telah mengambil bahagian dalam tempatan Mekanik Institut, Institusi Mekanik Lincoln, yang ditubuhkan pada tahun 1833.[4][7] Edward Bromhead, yang tahu John Boole melalui institusi, membantu George Boole dengan buku-buku matematik[8] dan beliau telah diberikan teks kalkulus daripada Sylvestre François Lacroix oleh Rev. George Stevens Dickson Lincoln St Swithin ini.[9] Without a teacher, it took him many years to master calculus.[6]

Boole's Lincoln House
  •  
    Rumah dan Sekolah Boole di 3 Pottergate di Lincoln.
  •  
    Plak dari rumah di Lincoln.

Pada usia 19 tahun, Boole berjaya menubuhkan sekolah sendiri di Lincoln. Empat tahun kemudian beliau mengambil alih Akademi Dewan dalam Waddington, di luar Lincoln, berikutan kematian Robert Hall. Pada tahun 1840 beliau kembali ke Lincoln, di mana beliau menguruskan sebuah sekolah berasrama penuh.[6]

Boole menjadi seorang tokoh tempatan yang terkenal, seorang yang mengagumi John Kaye, si uskup.[10] He took part in the local campaign for early closing.[4] With E. R. Larken and others he set up a building society in 1847.[11] He associated also with the Chartist Thomas Cooper, whose wife was a relation.[12]

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.[6]

Profesor di Cork

sunting
Fail:Boole House Cork.jpg
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.[13] Beliau mengekalkan hubungan dengan Lincoln, bekerja di sana dengan ER Larken dalam kempen untuk mengurangkan pelacuran.[14]

Kepujian dan anugerah

sunting

Boole telah dianugerahkan Keith Pingat oleh Royal Society of Edinburgh pada tahun 1855 [15] dan dipilih sebagai Fellow Royal Society pada tahun 1857.[9] He received honorary degrees of LL.D. from the University of Dublin and Oxford University.[16]

Kematian

sunting

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.[perlu rujukan] 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 (pinggir bandar Cork City). Terdapat plak peringatan di dalam gereja bersebelahan itu.[17]

 
Batu nisan Boole, Cork, Ireland.
 
Butiran tingkap kaca berwarna di Katedral Lincoln khusus untuk George Boole.
 
Plak di bawah tingkap Boole di Katedral Lincoln.

Karya

sunting

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.  . 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.[18]

Pada tahun 1841 Boole menerbitkan satu kertas berpengaruh pada awal teori tak berubah.[9] 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.[19] The innovation in operational methods is to admit that operations may not commute.[20] Pada tahun 1847 Boole menerbitkan Analisis Matematik Logik, pertama karya-karya beliau kepada logik simbolik.[21]

Persamaan pembezaan

sunting

Dua karya sistematik pada mata pelajaran matematik telah disempurnakan oleh Boole semasa hayatnya. Treatise on Persamaan Pembezaan[22] muncul pada tahun 1859, dan diikuti, tahun yang berikutnya, oleh Treatise pada Kalculus daripada Perbezaan Terhingga, sekuel kepada kerja-kerja bekas.

Analisis

sunting

Pada tahun 1857, Boole menerbitkan Mengenai Perbandingan Transcendents, dengan Aplikasi tertentu kepada Teori Kamiran Pasti,[23] di mana beliau belajar jumlah sisa fungsi rasional. Antara keputusan yang lain, beliau membuktikan apa yang kini dikenali pengenalan Boole:

 

bagi mana-mana angka sebenar ak > 0, bk, dan t > 0.[24] Mengitlakkan identiti ini memainkan peranan yang penting dalam teori perubahan Hilbert.[24]

Logik simbolik

sunting
Rencana utama: Algebra Boolean algebra

Pada tahun 1847 Boole diterbitkan risalah Analisis Matematik Logik. Beliau kemudiannya dianggap sebagai pameran cacat sistem logik, dan mahu 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.[25] Penglibatan awal Boole dalam logik didorong oleh perdebatan semasa di kuantifikasi, antara 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.[26] Ia diasaskan apa yang pertama kali dikenali sebagai "algebra logik" tradisi.[27]

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[28] 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

sunting

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.[29]

Perlakuan tambahan dalam logik

sunting

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.[30] 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.[27][31]

Malah ada kemungkinan yang lain, bahawa + hendaklah dibaca sebagai Pemisahan,[30] 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.[9]

Teori kebarangkalian

sunting

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.[32]

Legasi

sunting

Algebra Boolean dinamakan sempena nama dia, seperti kawah Boole di Bulan. Kata kunci Bool mewakili jenis data Boolean dalam banyak bahasa pengaturcaraan, walaupun Pascal dan Java, antara lain, kegunaan nama penuh Boolean .[33] Perpustakaan, bawah tanah kompleks dewan kuliah dan Pusat Boole Penyelidikan Informatik[34] 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

sunting

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.[35] 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.[35] Ukur perkembangan ini telah diterbitkan oleh Ernst Schröder, Louis Couturat dan Clarence Irving Lewis.

Pembangunan abad ke-20

sunting
 
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.[36] 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 [37]

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 [Penjelasan diperlukan] 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.[38]

Perayaan abad ke-21

sunting
"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."

—Universiti College Cork.[1]

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 George Boole 200, termasuk edisi baru 1985 biografi Desmond Machale The Life and Work of George Boole: A Prelude to the Digital Age (Cork University Press, 2014).

Enjin carian Google menandakan ulang tahun ke-200 kelahirannya pada 2 November 2015 dengan Mengimej Semula algebra Google Doodle.[1]

Pandangan

sunting

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.[39] 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.[40] 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.[41] The Claims of Science diberikan pada tahun 1851 di Queen's College, Cork.[42] The Social Aspect of Intellectual Culture juga diberikan di Cork, pada tahun 1855 kepada Cuvierian Society.[43]

Walaupun biografi beliau Des Machale menerangkan Boole sebagai "perwujudan dewa agnostik",[44][45] 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",[46] Beliau juga menyatakan "Saya percaya, untuk pencapaian tujuan Minda Ilahi."[47][48]

Dua pengaruh pada Boole kemudiannya dituntut oleh isterinya, Mary Everest Boole: a mistik universal diganggu oleh Yahudi pemikiran, dan logik India.[49] Mary Boole menyatakan bahawa pengalaman mistik remaja disediakan untuk kerja hidupnya:

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 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."[50]

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.[51] Boole nampaknya malu-malu di kaunter penyambut tetamu buku ini hanya sebagai set perkakas matematik:

George selepas itu belajar, untuk kegembiraan besar, supaya konsep yang sama asas Logik telah diadakan oleh 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.[50]

Mary Boole mendakwa terdapat pengaruh yang mendalam — melalui bapa saudaranya George Everest — daripada fikiran India on George Boole, dan juga di Augustus De Morgan dan Charles Babbage:

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?[50]

Keluarga

sunting

Pada tahun 1855 beliau berkahwin dengan 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)[52] yang mengahwini ahli matematik dan pengarang Charles Howard Hinton dan mempunyai empat orang anak: George (1882–1943), Eric (*1884), William (1886–1909)[53] 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 – 1935) berkahwin dengan Edward Ingram Taylor, seorang artis.
  • Alicia (1860–1940), yang membuat sumbangan penting pada geometri empat dimensi
  • Lucy Everest (1862–1904), profesor kimia wanita pertama di England
  • Ethel Lilian (1864–1960), yang berkahwin dengan saintis dan perevolusi Poland Wilfrid Michael Voynich dan pengarang novel The Gadfly.

Lihat juga

sunting

Rujukan

sunting
  • University College Cork, George Boole 200 Bicentenary Celebration, GeorgeBoole.com.
  • Chisholm, Hugh, penyunting (1911). "Boole, George" . Encyclopædia Britannica (dalam bahasa Inggeris) (ed. ke-11). Cambridge University Press.
  • Ivor Grattan-Guinness, The Search for Mathematical Roots 1870–1940. Princeton University Press. 2000.
  • Francis Hill (1974), Victorian Lincoln; Google Books.
  • Des MacHale, George Boole: His Life and Work. Boole Press. 1985.
  • Des MacHale, The Life and Work of George Boole: A Prelude to the Digital Age (new edition). Cork University Press. 2014
  • Stephen Hawking, God Created the Integers. Running Press, Philadelphia. 2007.

Catatan

sunting
  1. ^ a b c "Who is George Boole: the mathematician behind the Google doodle". Sydney Morning Herald. 2 November 2015.
  2. ^ Boole, George (2012) [Originally published by Watts & Co., London, in 1952]. Rhees, Rush (penyunting). Studies in Logic and Probability (ed. Reprint). Mineola, NY: Dover Publications. m/s. 273. ISBN 978-0-486-48826-4. Dicapai pada 27 Oktober 2015.
  3. ^ Chisholm, Hugh, penyunting (1911). "Boole, George" . Encyclopædia Britannica (dalam bahasa Inggeris) (ed. ke-11). Cambridge University Press.
  4. ^ a b c Hill, p. 149; Google Books.
  5. ^ 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
  6. ^ a b c d John J. O'Connor dan Edmund F. Robertson. George Boole di Arkib Sejarah Matematik MacTutor.
  7. ^ Society for the History of Astronomy, Lincolnshire.
  8. ^ Templat:ODNBweb
  9. ^ a b c d "George Boole" article by Stanley Burris in the Stanford Encyclopedia of Philosophy
  10. ^ Hill, p. 172 note 2; Google Books.
  11. ^ Hill, p. 130 note 1; Google Books.
  12. ^ Hill, p. 148; Google Books.
  13. ^ Ronald Calinger, Vita mathematica: historical research and integration with teaching (1996), p. 292; Google Books.
  14. ^ Hill, p. 138 note 4; Google Books.
  15. ^ "Keith Awards 1827-1890". Canmbridge Journals Online. Dicapai pada 29 November 2014.
  16. ^ Ivor Grattan-Guinness, Gérard Bornet, George Boole: Selected manuscripts on logic and its philosophy (1997), p. xiv; Google Books.
  17. ^ 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/
  18. ^ 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. .. 198-215), dan dalam Jurnal Crelle. Turut termasuk adalah kertas secara matematik logik, yang disiarkan dalam Mechanic's Magazine pada tahun 1848.
  19. ^ 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; Google Books.
  20. ^ Jeremy Gray, Karen Hunger Parshall, Episodes in the History of Modern Algebra (1800–1950) (2007), p. 66; Google Books.
  21. ^ George Boole, The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning (London, England: Macmillan, Barclay, & Macmillan, 1847).
  22. ^ George Boole, A treatsie on differential equations (1859), Internet Archive.
  23. ^ Boole, George (1857). "On the Comparison of Transcendents, with Certain Applications to the Theory of Definite Integrals". Philosophical Transactions of the Royal Society of London. 147: 745–803. doi:10.1098/rstl.1857.0037. JSTOR 108643.
  24. ^ a b Cima, Joseph A.; Matheson, Alec; Ross, William T. (2005). "The Cauchy transform". Quadrature domains and their applications. Oper. Theory Adv. Appl. 156. Basel: Birkhäuser. m/s. 79–111. MR 2129737.
  25. ^ JOHN CORCORAN, Aristotle's Prior Analytics and Boole's Laws of Thought, History and Philosophy of Logic, vol. 24 (2003), pp. 261–288.
  26. ^ Templat:ODNBweb
  27. ^ a b Witold Marciszewski (editor), Dictionary of Logic as Applied in the Study of Language (1981), pp. 194–5.
  28. ^ 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).
  29. ^ 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.
  30. ^ a b Andrei Nikolaevich Kolmogorov, Adolf Pavlovich Yushkevich, Mathematics of the 19th Century: mathematical logic, algebra, number theory, probability theory (2001), pp. 15 (note 15)–16; Google Books.
  31. ^ "The Algebra of Logic Tradition" article by Stanley Burris in the Stanford Encyclopedia of Philosophy
  32. ^ Boole, George (1854). An Investigation of the Laws of Thought. London: Walton & Maberly. m/s. 265–275.
  33. ^ P. J. Brown, Pascal from Basic, Addison-Wesley, 1982. ISBN 0-201-13789-5, page 72
  34. ^ "Boole Centre for Research in Informatics". Diarkibkan daripada yang asal pada 16 Ogos 2019. Dicapai pada 20 Ogos 2021.
  35. ^ a b Ivor Grattan-Guinness, Gérard Bornet, George Boole: Selected manuscripts on logic and its philosophy (1997), p. xlvi; Google Books.
  36. ^ 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."
  37. ^ http://zeteticgleanings.com/boole.html
  38. ^ "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."Emerson, Andrew (8 Mac 2001). "Claude Shannon". United Kingdom: The Guardian.
  39. ^ 1902 Britannica article by Jevons; online text.
  40. ^ James Gasser, A Boole Anthology: recent and classical studies in the logic of George Boole (2000), p. 5; Google Books.
  41. ^ Gasser, p. 10; Google Books.
  42. ^ Boole, George (1851). The Claims of Science, especially as founded in its relations to human nature; a lecture. Dicapai pada 4 Mac 2012.
  43. ^ Boole, George (1855). 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. George Purcell & Co. Dicapai pada 4 Mac 2012.
  44. ^ International Association for Semiotic Studies; International Council for Philosophy and Humanistic Studies; International Social Science Council (1995). "Sebuah kisah dua amatur". Semiotica, Volume 105. Mouton. m/s. 56. 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. |access-date= requires |url= (bantuan)
  45. ^ International Association for Semiotic Studies; International Council for Philosophy and Humanistic Studies; International Social Science Council (1996). Semiotica, Volume 105. Mouton. m/s. 17. 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. |access-date= requires |url= (bantuan)
  46. ^ Boole, George. Studies in Logic and Probability. 2002. Courier Dover Publications. p. 201-202
  47. ^ 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)
  48. ^ Boole, George (1851). The claims of science, especially as founded in its relations to human nature; a lecture, Volume 15. p. 24
  49. ^ Jonardon Ganeri (2001), Indian Logic: a reader, Routledge, p. 7, ISBN 0-7007-1306-9; Google Books.
  50. ^ a b c 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
  51. ^ Grattan-Guinness and Bornet, p. 16; Google Books.
  52. ^ `My Right To Die´, Woman Kills Self di The Washington Times v. 28 May 1908 (PDF); Mrs. Mary Hinton A Suicide in The New York Times v. 29 May 1908 (PDF).
  53. ^ Smothers In Orchard di The Los Angeles Times v. 27 Februari 1909.

Pautan luar

sunting
Ketahui lebih lanjut tentang George Boole di Wikipedia:
  Imej dan media dari Commons
  Petikan dari Wikipetikan
  Teks sumber dari Wikisumber

Templat:Notable logicians

Abad ke-Kategori Penulis Inggeris Abad ke-Kategori ahli matematik Inggeris Ahli falsafah abad ke-Kategori

Diambil daripada "https://ms.wikipedia.org/w/index.php?title=George_Boole&oldid=5228334"