Boole Cebiri ve Dijital Etkileri
Ünlü İngiliz matematikçi George Boole, cebir konusundaki yöntemlerini mantığa uygulamıştır. Onun bu konuya değindiği eseri, 'Mantığın Matematiksel Analizi' dir ve bu eseri 1847 yılında kaleme almıştır.
Boole taraması- Boole yöntemi-, genel algoritmalara matematiksel bir dil kazandırmıştır. Ona göre, mantık ve matematik birbirlerine sıkı sıkıya bağlıdır. Boole, Aristoteles'in aksine mantığın felsefeyle değil matematikle birlikte anılması gerektiğini savunmuştur.
Boole, mantıksal argümanları, matematiksel olarak değerlendirecek ve çözebilecek bir dile kodlamak üzerine çalışmıştır. Çalışmaları sonucunda da, “Boole Cebiri” olarak bilinen bir tür dilsel matematiği icat etti.
Boole cebiri, ve, veya ve değil terimlerine dayanır. Bu terimler matematiksel kümelerin oluşmasını ve niteliğini anlamamızı sağlar.
Ve: Biraradalık, birliktelik ilişkisini içerir.
Örn: Bina ve beton
Veya: Birbirlerinin yerine geçebilecek, yerine kullanılabilecek öğeler için kullanılır.
Örn: Futbol ya da basketbol
Değil: Sonuçlardan bağımsız olan ve istenmeyen öğeleri anlatır.
Örn: Kitap ve sözlük, ansiklopedi değil
Boole’un sembolleri ve bağlaçları kullanması, matematiksel kimlikler de dahil olmak üzere mantıksal ifadeleri de basitleştirmiştir. Bu yöntemin, gündelik hayata ve elektronik disiplinlere uygulanmaya başlanması sonrasında dijital bilgisayarların temeli haline geldi. Hatta Boole, bilgisayar bilim alanının kurucusu olarak anılmaya başlandı.
Boole'un adı, dijital çağın temelini atan düşünür olarak da geçer. Boole araması, web üzerinde arama yapmanın temel ve en etkili ilkelerini sağlar.
