Inggris matématikawan Dzhordzh Bul: biography, karya

Teka saka kulawarga pekerja miskin Dzhordzh Bul iki ora lair ing wektu sing, ing panggonan salah, lan mesthi ora ing kelas sosial. Iya ora duwe kasempatan kanggo tuwuh genius matematika, nanging iya iku ing éwadéné kabeh.

Dzhordzh Bul: biography

Lair 2 November 1815 ing kutha industri Inggris Lincoln, Boole bejo duwe bapa sing awake kasengsem ing matématika lan marang piwulang kang putra. Kajaba iku, dheweke mulang carane nggawe instruments optik. Young George zealously njupuk munggah studi, lan ing umur wolung taun, ngrumiyini rama otodidak.

A kanca kulawarga mbantu mulang bocah dhasar Latin lan kenthekan ing sawetara taun. Kanggo 12 taun Bull wis dijarwakake puisi Romawi kuna. Kanggo 14 taun, George fasih migunakaken ing Jerman, Italia lan Prancis. Ing umur 16 panjenenganipun dados asistèn guru lan mulang ing sekolah deso ing West Riding District. Ing puluh, mbuka sekolah dhewe ana ing tanah asalé.

Liwat sabanjuré sawetara taun wektu cendhak wektu free Dzhordzh Bul ngginakaken maca jurnal matematika diselang ing Institut lokal Mechanics. Ana kang maca karya Isaaka Nyutona "ing Principia" lan karya ilmuwan Perancis Laplace lan Lagrange XVIII lan XIX abad "risalah ing Mechanics benda" lan "Mechanics Analytical". Panjenenganipun rauh nguwasani paling angel ing wektu sing prinsip matematika lan wiwit ngatasi masalah aljabar angel.

Nanging wektu kanggo nerusake.

Rising lintang

Ing umur 24, Dzhordzh Bul diterbitake Jurnal matematika Cambridge University pisanan artikel, "Pasinaon teori transformasi analisa" aljabar masalah transformasi linear lan pepadhan diferensial karo emphasis ing konsep invariance. Swara sepuluh taun sabanjuré, star iki Rising karo stream pancet artikel asli, ngluwihi matématika.

Miturut 1844, sampun klempakan ing nggunakake analisis combinatorial lan operasi matématika ingkang maha cilik lan nomer tanpa wates. Ing taun sing padha kanggo karya, diterbitake ing Journal of the Royal Society "Transaksi Philosophical," kanggo sumbangan analisis matématika lan diskusi cara ing nggabungke aljabar kanggo differential lan kalkulus integral, piyambakipun dipunanugrahi Medali emas.

Dzhordzh Bul rauh wiwit njelajah kamungkinan saka nggunakake aljabar kanggo ngatasi masalah logika. Ing "Analysis matématika Logic" 1847, kang ora mung ditambahi pemanggih sadurungé Gottfried Leibniz ing korélasi logika lan matématika, nanging uga mbuktekaken sing mantan iku utamané disiplin matematika, tinimbang filosofis.

Karya iki wis nyebabake ora mung ing admiration saka logika pinunjul Augustus De Morgan (guru Ady Bayron), nanging uga aman Panggonan dhosèn matématika ing Queens College ing Irlandia malah tanpa pendidikan universitas.

Dzhordzh Bul: aljabar Boolean

Dibebaske saka pakaryan saka sekolah, genius matematika wiwit delve tuwa menyang karya dhewe, ngarahke ing Ngapikake "analisis matématika" lan mutusaké kanggo golek cara kanggo nulis bantahan logis basa khusus karo kang padha bakal bisa kanggo ngapusi lan ngatasi matématis.

Nekani aljabar linguistik, telung operasi utama kang padha (lan isih ana) "lan", "OR" lan "ora". Iki telung fungsi mbentuk basis saka latar lan padha mung operator dibutuhake kanggo nindakake operasi comparison lan fungsi matématika dhasar.

sistem Boole kang diterangake ing rinci ing karya kang "Sing sinau saka hukum panemu, kang basis saka kabeh téori matématika saka logika lan kamungkinan" ing taun 1854, adhedhasar pendekatan binar, lan dilakokno nganggo mung rong obyek - "ya" utawa "ora", "bebener" lan " palsu "," ing "lan" mati "kanggo" 0 "lan" 1 ".

urip pribadi

Taun iki nikahi Mary Everest, keponakan saking Sir George Everest, sawise kang dijenengi gunung paling dhuwur ing donya. Ing saperangan wis gangsal putri. Salah siji wong, eldest, dadi guru kimia. Liyane padha melu ing salebetipun géomètri. Putri paling enom saka George Boole, Ethel Lilian Voynich, dadi writer misuwur ingkang nyerat sapérangan karya, sing paling populer yaiku novel "The Gadfly".

pandherekipun

Kaget, diwenehi Prestige matématika ing bunderan akademisi, ing idea saka Boole ngritik utawa rampung digatèkaké dening paling contemporaries. Begjanipun, ing logician Amérika Charles Sanders Peirce ana liyane mbukak.

Rolas taun sawise publikasi saka "Research" Pearce damel wicara singkat, nggambaraké idea saka Boole saka Amérika Academy of Arts lan Ilmu, lan lajeng nelasaken luwih saka 20 taun, ganti lan ngembangaken mujudaken potensial saka teori ing laku. Iki wekasanipun nyebabaken desain sirkuit logika electrical basa.

Pierce logika teoritis bener tau dibangun, minangka dadi sarjana luwih saka ahli listrik, nanging ngenalaken aljabar Boolean di universitas filsafat logis.

Ing pungkasan, siji mahasiswa wasis, Klod Shennon, njupuk idea iki lan dikembangaké iku.

karya anyar

Ing taun 1957, George Boole kapilih Fellow ing Royal Society.

Sawisé "Research", kang diterbitake pirang-pirang karya, kang loro paling pengaruh sing "risalah ing bandhing persamaan" (1859) lan "risalah ing Kalkulus saka Beda Finite" (1860). Books digunakake minangka buku-buku kanggo pirang-pirang taun. Dheweke uga nyoba kanggo nggawe cara umum teori probabilitas, kang bakal ngidini data saka kamungkinan saka sistem sembarang acara kanggo nemtokake kemungkinan sakteruse saka acara gadhah kasebut logis.

Bukti paling anyar

Sayange, karya iki diselani Boulle nalika seda saka "colds feverish" ing umur 49 sawise arep 3 kilometer ing udan, lan dadi Perwakilan Tetap ing sandhangan udan. kang iki wis buktiaken sapisan liyane sing genius lan pangertèn umum kadang duwe sethitik ing umum.

warisan

"Analisis matématika" lan "Research" George Boole miwiti aljabar Boolean, kang kadhangkala diarani logika Boolean.

sistem kang loro nilai, bantahan misahake menyang kelas beda, kang banjur bisa nindakake operasi miturut ngarsane utawa anané saka tartamtu wis digawe iku bisa kanggo nggawe inferences preduli saka sawetara elemen individu.

Tindakan Buhl mimpin nitahaken saka aplikasi, kang bisa tau wis mbayangke. Contone, komputer sing digunakake ing nomer binar lan unsur logis, struktur lan operasi saka kang adhedhasar logika Boolean. Ilmu, kang dianggep minangka pangadeg Dzhordzh Bul, komputer, nylidiki dhasar teori informasi komputasi, uga cara praktis kanggo implementasine.