Fakir bir işçi sınıfı ailesinden gelen George Buhl, yanlış zamanda, yanlış yerde ve kesinlikle yanlış sosyal sınıfta doğdu. Büyüyüp bir matematik dehası olma şansı yoktu ama her şeye rağmen biri oldu.
George Buhl: Biyografi
2 Kasım 1815'te İngiliz sanayi şehri Lincoln'de dünyaya gelen Boole, matematiğe düşkün ve oğluna ders veren bir babası olduğu için şanslıydı. Ayrıca ona optik aletlerin nasıl yapıldığını öğretti. Genç George öğrenmeye hevesliydi ve sekiz yaşındayken kendi kendini yetiştirmiş babasını geride bıraktı.
Bir aile dostu, çocuğa temel Latince öğretmesine yardım etti ve birkaç yıl içinde kendini tüketti. 12 yaşına geldiğinde, Buhl zaten antik Roma şiirini tercüme ediyordu. 14 yaşına geldiğinde, George Almanca, İtalyanca ve Fransızca bilmektedir. 16 yaşında öğretmen asistanı oldu ve Yorkshire'daki West Riding ülke okullarında ders verdi. Yirmi yaşında memleketinde kendi eğitim kurumunu açtı.
Önümüzdeki birkaç yıl boyunca George Boole kısa boş zamanlarını yerel Mekanik Enstitüsünden ödünç alınan matematik dergilerini okuyarak geçirdi. Orada Isaac Newton'un "Principia"sını okudu veFransız bilim adamları Laplace ve Lagrange'ın 18. ve 19. yüzyıllardaki "Gök Mekaniği Üzerine İnceleme" ve "Analitik Mekanik" eserleri. Kısa süre sonra o zamanın en zor matematiksel ilkelerine hakim oldu ve zor cebirsel problemleri çözmeye başladı.
Devam etme zamanı.
Yıldız Yükseliyor
24 yaşında, George Boole, Cambridge Üniversitesi Matematik Dergisi'nde değişmezlik kavramına odaklanarak lineer dönüşümlerin ve diferansiyel denklemlerin cebirsel problemleri üzerine "Investigations in the Theory of Analytic Transformations" adlı ilk makalesini yayınladı. Önümüzdeki on yıl boyunca yıldızı, matematiğin sınırlarını zorlayan düzenli bir orijinal makale akışıyla yükseldi.
1844'e kadar, sonsuz küçük ve sonsuz büyük sayılar üzerinde çalışmak için kombinatorik ve hesabı kullanmaya odaklandı. Aynı yıl, Royal Society'nin Felsefi İşlemlerinde yayınlanan çalışması, matematiksel analize katkılarından ve cebiri diferansiyel ve integral hesaplarla birleştirme yöntemlerinin tartışılmasından dolayı altın madalya ile ödüllendirildi.
Yakında George Boole, mantıksal problemleri çözmek için cebir kullanma olanaklarını keşfetmeye başladı. 1847'deki The Mathematical Analysis of Logic adlı çalışmasında, Gottfried Leibniz'in mantık ve matematik arasındaki bağıntı hakkında daha önceki önerilerini genişletmekle kalmadı, aynı zamanda ilkinin felsefi değil, öncelikle matematiksel bir disiplin olduğunu kanıtladı.
Bu eser sadece seçkin mantıkçının hayranlığını uyandırmadıAugustus de Morgan (Ada Byron'ın akıl hocası) ama üniversite diploması olmasa bile İrlanda'daki Queen's College'da matematik profesörü olarak bir pozisyon sağladı.
George Buhl: Boole Cebiri
Okul görevlerinden kurtulan matematikçi, "Matematiksel Analizi" geliştirmeye odaklanarak kendi işinin derinliklerine inmeye başladı ve mantıksal argümanları özel bir dilde yazmanın bir yolunu bulmaya karar verdi. matematiksel olarak manipüle edildi ve çözüldü.
Üç temel işlemi "VE", "VEYA" ve "DEĞİL" olan (ve hala olan) dilsel cebire geldi. Önermesinin temelini oluşturan ve karşılaştırma işlemlerini ve temel matematiksel işlevleri gerçekleştirmek için gerekli olan tek operatörler bu üç işlevdi.
Boole'un 1854'teki "Tüm matematiksel mantık ve olasılık teorilerinin temeli olan düşünce yasalarının araştırılması" adlı çalışmasında ayrıntılı olarak açıklanan sistemi, ikili bir yaklaşıma dayanıyordu ve sadece iki nesne ile çalışıyordu. - "evet" ve "hayır", "doğru" ve "yanlış", "açık" ve "kapalı", "0" ve "1".
Özel hayat
Ertesi yıl, Sir George Everest'in yeğeni Mary Everest ile evlendi ve adını dünyanın en yüksek dağı olarak aldı. Çiftin 5 kızı oldu. İçlerinden en yaşlısı kimya öğretmeni oldu. Diğeri geometrideydi. George Boole'un en küçük kızı Ethel LillianVoynich, en popüleri The Gadfly romanı olan birkaç eser yazan ünlü bir yazar oldu.
Takipçiler
Şaşırtıcı bir şekilde, matematikçinin akademik çevrelerdeki yetkisi göz önüne alındığında, Boole'un fikri çağdaşlarının çoğu tarafından eleştirildi veya tamamen görmezden gelindi. Neyse ki, Amerikalı mantıkçı Charles Sanders Pierce daha açıktı.
Çalışmanın yayınlanmasından on iki yıl sonra Peirce, Boole'un fikrini Amerikan Sanat ve Bilim Akademisi'ne açıklayan kısa bir konuşma yaptı ve ardından teorinin pratikteki potansiyelini gerçekleştirmek için 20 yıldan fazla bir süre onu değiştirerek ve genişleterek geçirdi.. Bu, sonunda temel elektriksel mantık devresinin tasarımına yol açtı.
Pierce aslında teorik mantık devresini asla kurmadı, çünkü o bir elektrikçiden çok bir bilim insanıydı, ancak Boole cebrini üniversitenin mantık felsefesi derslerine soktu.
Sonunda, yetenekli bir öğrenci olan Claude Shannon bu fikri aldı ve geliştirdi.
Son çalışmalar
1957'de George Boole, Royal Society üyeliğine seçildi.
"İnceleme"den sonra, en etkili ikisi "Diferansiyel Denklemler Üzerine İnceleme" (1859) ve "Sonlu Farklar Hesabı Üzerine İnceleme" (1860) olan bir dizi eser yayınladı. Kitaplar uzun yıllar ders kitabı olarak kullanılmıştır. Ayrıca, herhangi bir olay sisteminin verilen olasılıklarından sonraki olayları belirlemesine izin verecek genel bir olasılık teorisi yöntemi yaratmaya çalıştı.mantıksal olarak verilen herhangi bir olayın olasılığı.
Son kanıt
Maalesef Boole'un çalışması, 49 yaşında ıslak giysilerle ders anlatırken yağmurda 3 km yürüdükten sonra "ateşli bir soğuktan" öldüğünde yarıda kesildi. Bununla dahilerin ve sağduyunun bazen çok az ortak noktası olduğunu bir kez daha kanıtladı.
Eski
George Boole'un "Matematiksel Analizi" ve "Araştırma", bazen Boole mantığı olarak adlandırılan Boole cebirinin temelini attı.
İki değerden oluşan sistemi, argümanları daha sonra belirli özelliklere sahip olup olmadıklarına göre çalıştırılabilen farklı sınıflara bölerek, farklı öğelerin sayısından bağımsız olarak çıkarımların yapılmasına izin verdi.
Buhl'un çalışması, hayal bile edemeyeceği uygulamalara yol açtı. Örneğin bilgisayarlar, tasarımı ve işleyişi Boole mantığına dayanan ikili sayılar ve mantıksal öğeler kullanır. Kurucusu bilgisayar bilimi olan George Boole olan bilim, bilgi ve hesaplamaların teorik temellerini ve bunların uygulanması için pratik yöntemleri araştırıyor.
