Ingliz matematigi Dzhordzh Bul: biografiyasi, ish

ijtimoiy sinfda emas, albatta noto'g'ri joyda, Dzhordzh Bul o'sha paytda tug'ilgan edi kambag'al ishchi oilasida kelayotgan, va. U matematik dahosi o'sishi imkoniyat yo'q edi, lekin u har bir narsaga qaramasdan, uni qilgan.

Dzhordzh Bul: Biografiya

Linkoln Ingliz sanoat shahrida 2 noyabr, 1815 tug'ilgan, Boole o'zi matematika manfaatdor edi va uning o'g'liga dars berdi, otasi bor, omadli bo'ldi. Bundan tashqari, u qanday optik asboblarni qilish o'rgatdi. Yosh Jorj g'ayrat uning o'qishni oldi va sakkiz yoshida, otasining o'z-o'zini o'rgatgan oshdi.

Bir oila do'sti, bir necha yil ichida bolani asosiy Lotin va charchagan o'rgatish yordam berdi. 12 yil davomida Bull qadimgi Rim she'r tarjima qilgan. 14 yil davomida, Jorj, nemis ravon Italiya va Frantsiya edi. 16 yoshida u assistent o'qituvchi bo'ldi va Yorkshire G'arb Riding qishloq maktablarida o'qitiladigan. yigirma, u o'zi tug'ilib o'sgan o'z maktabini ochdi.

Keyingi bir necha yil mobaynida bepul vaqti Dzhordzh toping qisqa davrlari mexanika mahalliy institutida qarz matematik jurnal o'qib o'tkazdi. U erda ish Isaaka Nyutona "Principia" va Frantsiya olimlar Laplace va Lagrange XVIII va XIX asrlarda "risolalar osmon mexanikasi haqida" va "Analitik mexanika" asarini o'qib. U yaqinda bu vaqt matematik tamoyillariga eng qiyin o'zlashtirildi va qiyin algebraik muammolarni hal qilish boshlandi.

Bu harakat vaqti keldi.

Rising yulduzlar

yoshi 24 da, Dzhordzh Bul matematik jurnalini Kembrij universiteti o'zining birinchi maqola, ruxsatini tushunchasi e'tibor bilan chiziqli o'zgarishlar va differensial tenglamalar algebraik muammolari haqida "analitik o'zgarishlar nazariyasi tadqiqotlar" chop etildi. Keyingi o'n yil mobaynida uning yulduz original maqolalar doimiy oqimi bilan chiqish edi, matematika keyinga cho'zilgan.

1844 yilga kelib, u juda kichik va abadiy sonli uchun kombinatoryel tahlil va matematik operatsiyalarni foydalanish faollashdi. matematik tahlil va differentsial algebraning va integral hisobni birlashtirish usullarini muhokama qilish uning hissasi uchun Royal Society jurnalida chop etilgan ish, "Falsafiy fanidan," uchun bir xil yilda, u bir oltin medal bilan taqdirlandi.

Dzhordzh Bul yaqinda mantiq muammolarni hal qilish uchun algebra foydalanish mumkinligini kashf boshladi. 1847 "Mantiq Matematik tahlil», u mantiq va matematika o'rtasidagi nisbat haqida avvalroq taxminlar Gotfrid Leybnits kengaytirilgan, balki sobiq o'rniga falsafiy ko'ra, birinchi navbatda, bir matematik intizom ekanini isbotladi nafaqat.

Bu ish mashhur mantiq Avgust De Morgan (ustoz Ady Bayron) ajoyib nafaqat sabab, balki, hatto, bir universitet ta'lim holda Irlandiyada Kuinz kolleji matematika professori uning o'rnini egalladi.

Dzhordzh Bul: Boolean algebra

maktab to'lovlaridan ozod, matematik qobiliyat «Matematik tahlil» kuchaytirishga e'tibor, o'z ish chuqurroq qazimoq boshladi va mantiqiy iddaolar ular manipulyatsiya va matematik hal qilish mumkin bo'ladi bo'lgan maxsus til yozish uchun yo'l topishga qaror qildi.

U til algebra kelib, uch yirik operatsiyalari (hali ham va) "va", "yoki" va "EMAS". Bu uch vazifalari, uning binosida asosini shakllantirish va taqqoslash operatsiyalari va asosiy matematik vazifalarni amalga oshirish uchun zarur faqat operatorlari edi.

Boole tizimi faqat ikki qo'shaloq yondashuv asosida 1854 yilda "mantiq va ehtimollar, barcha matematik nazariyalar asosidir fikr qonunlari o'rganish", uning ish, batafsil tasvirlangan, va u erdan - "ha" yoki "yo'q", "haqiqat" va " "," soxta "va" "1 0" uchun "off" va ".

Shahsiy hayot

Quyidagi yili dunyoda eng yuqori tog 'nomli kim keyin, Maryam Everest, Sir Jorj Everest jiyani uylangan. Er-xotin besh qizi bor edi. Ulardan biri, eng katta, kimyo fani o'qituvchisi bo'ldi. Boshqalar geometriya jalb etildi. Jorj Boole kenja qizi, Ethel Lilian Voynich, roman "so'nalar" eng mashhur bo'lgan bir necha asarlar yozgan mashhur yozuvchi bo'ldi.

izdoshlari

Ajablanarlisi shundaki, akademik doiralar matematika nufuzini berilgan, Boole g'oyasi tanqid yoki butunlay o'z zamondoshlari eng tomonidan e'tiborsiz. Yaxshiyamki, Amerika mantıkçı Charlz Sanders Peirce ko'proq ochiq edi.

O'n ikki yil "tadqiqot" Pirs qisqa nutq so'zladi nashr so'ng, g'oyasini bayon AQSh Boole san'at va Fanlar akademiyasi, so'ngra o'zgartirish va amalda nazariyasi salohiyatini ro'yobga uni to'ldirib, 20 yildan ortiq o'tkazdi. Bu oxir-oqibatda bazasi elektr mantiq pallasida dizayni olib keldi.

elektrik ko'proq olim edi, lekin universitet kurslarida bir boolean algebra mantiqiy falsafa joriy sifatida Pirs uning nazariy mantiq aslida, qurilgan hech qachon.

Nihoyat, bir iqtidorli talaba, Klod Shennon, bu g'oyani oldi va uni ishlab chiqildi.

Recent ish

1957-yilda, Jorj Boole Royal jamiyati Yo'ldoshlar saylandi.

"Research" so'ng, u ishlar, bir qator, qaysi eng nufuzli ikki "Differentsial tenglamalar haqida risola" bo'lgan (1859) va "Sonlu farqlar hisob risolada" (1860) chop etilgan. ko'p yillar davomida darsliklar sifatida ishlatiladi Kitoblar. U, shuningdek, voqealar har qanday tizimi ehtimollar ma'lumotlar mantiqiy belgilangan bilan bog'liq har qanday voqea keyingi yuzaga aniqlash uchun imkon beradigan ehtimollik nazariyasi umumiy usuli, yaratishga harakat.

oxirgi dalil

U yomg'ir 3 kilometr keyin 49 yoshida "hayajonlangan shamollash" vafot etdi, va ho'l kiyim ma'ruzalar bo'lsa Afsuski, ish Boulle uzildi. Bu u daho va umumiy tuyg'u, ba'zan umumiy oz ega ekanligini yana bir bor isbot edi.

merosi

"Matematik tahlil» va «Ilmiy-tadqiqot" Jorj Boole ba'zan Boolean fikrlarini deb ataladi Boolean algebra, tashabbusi.

ikki qadriyatlar Uning tizimi, keyin mavjudligi yoki muayyan xususiyatlari yo'qligi ko'ra amalga oshira turli sinflar, ichiga vajlari ajratish imkon qat'iy nazar individual elementlar soni xulosalar qilish qildik.

Ish yuritish Buhl u tasavvur ham qila olmas edi ilovalar yaratish, olib keldi. Misol uchun, kompyuterlar Boolean fikrlarini asoslangan bo'lgan ikkilik sonlar va mantiqiy elementlar, tuzilishi va amaliyot ishlatiladi. Dzhordzh top, kompyuter asoschisi hisoblanadi fan, ularni amalga oshirish uchun ma'lumot va hisoblash nazariy asoslarini, shuningdek, amaliy usullarini tekshirmoqda.