Забони англисӣ математик Dzhordzh Bul: Тарҷумаи, кор

Меояд, аз як оилаи камбизоат синфи Dzhordzh Bul дар он замон таваллуд нашуда буд, ки дар ҷои нодуруст, ва албатта на дар синфи иљтимої. Вай имконият ба воя як доҳӣ математика надоранд, вале ӯ аз он сарфи назар аз ҳама чиз буд.

Dzhordzh Bul: Тарҷумаи

2 ноябри соли 1815 таваллуд шудааст, дар шаҳри саноатии англисӣ Линколн, Boole бахти дошта падар, ки худро манфиатдор дар математика буд ва дарсҳои ба писараш дод шуд. Илова бар ин, вай таълим медод, ки чӣ тавр ба ӯ ба воситаҳои оптикӣ. Ҷавон Ҷорҷ ҷидду ҷаҳд гирифта, то таҳқиқоти худ, ва дар синни ҳашт сол, болотар рафта-худидоракунии таълим падарашро.

Як дӯсти оила кӯмак таълим писар асосии лотинӣ ва фарсуда дар муддати чанд сол. Зеро 12 сол Бул шеъри Рум қадим тарҷума кард. Зеро 14 сол, Ҷорҷ танг дар Олмон, Италия ва Фаронса буд. Дар синни 16 ӯ як муаллими ёрдамчии шуд ва дар мактабҳои деҳот дар Riding Ғарб аз Йоркшир таълим медод. Дар бист, ӯ мактаби худро дар зодгоҳи худ кушода шуд.

Дар давоми чанд соли оянда давраи кӯтоҳи вақт озод Dzhordzh Bul сарф хондани маҷаллаҳои математикии қарз дар Донишкадаи маҳаллии Механикаи. Дар он ҷо ӯ хонда кори Isaaka Nyutona ки «Principia» ва кори олимони фаронсавӣ Laplace ва Lagrange XVIII ва XIX аср "имониву оид ба Механикаи осмонӣ» ва «Механикаи таҳлилии«. Ӯ ба зудӣ ба ҳама мушкил дар он принсипҳои математика вақт азхуд ва сар ба ҳалли масъалаҳои мушкил алгебравии.

Он вақт ба ҳаракат дар мекунад.

ситора Баландшавии

Дар синни 24, Dzhordzh Bul маҷаллаи математикии Донишгоҳи Кембриҷ якуми моддаи ӯ, «Таълимоти назарияи дигаргуниҳои тањлилї« дар бораи мушкилоти алгебравии дигаргуниҳои хаттӣ ва муодилаҳои дифференсиалии бо таъкид ба консепсияи инвариант чоп карда мешавад. Дар давоми даҳ соли оянда, ки ситораи Ӯро бо як сели доимии мақолаҳои аслии болоравии буд, берун аз математика меафканад.

Бо 1844, ки ӯ дар бораи истифодаи таҳлили combinatorial ва амалиёти математикӣ барои бениҳоят хурд ва шумораи беохир мутамарказ гардидааст. Дар ҳамон сол барои кор, ки дар Маҷаллаи Ҷамъияти Роял нашр "аҳдҳои фалсафаи», барои саҳми худ ба таҳлили математикӣ ва муҳокимаи усулҳои омезиши алгебра ба дифференсиалии ва ҳисоби таркибии, ӯ медали тилло мукофотонида шуд.

Dzhordzh Bul ба зудӣ оғоз ба омӯхтани имконияти истифодаи алгебра барои ҳалли масъалаҳои мантиқ. Дар 1847 «Таҳлили математикӣ аз Мантиқ», ки на танҳо пиндоштҳо пештар Gottfried носифрии оид ба таносуби байни мантиқ ва математика васеъ, балки низ исбот кард, ки собиқ аст, пеш аз ҳама интизоми математика, на фалсафаи.

Ин кор сабаби на танҳо мафтуни аз мантиқ барҷастаи Авғустус De Morgan (мураббиёну Ady Bayron), балки ҷои ӯ профессори математика дар Коллеҷи маликаҳо дар Ирландия ҳатто бе маълумоти донишгоҳ таъмин шудааст.

Dzhordzh Bul: алгебра мақодири мантиқиро

Озод аз вазифаҳои худро дар мактаб, доҳӣ математика оғоз чуқур омӯхтани амиқтар ба кори худ, тамаркуз оид ба беҳтар намудани «Таҳлили математикӣ» ва қарор кард, ки пайдо кардани як роҳи ба навиштани далелҳои мантиқӣ забони махсус, ки ба онҳо имкон бухгалтер ва ҳалли математикӣ.

Ӯ ба алгебра забонї омада, се амалиёти бузурге, ки буданд (ва ҳанӯз ҳастанд) »ВА», «Ё» ва «НЕСТ». Ин се функсияи ташкил асоси бинои он ва танҳо операторони талаб иҷрои амалиёт муќоиса ва функсияҳои асосии математикӣ буданд.

Системаи Boole аст, ба таври муфассал дар асари ӯ «Омӯзиши қонунҳои андеша аст, ки дар асоси ҳамаи назарияҳои математикӣ мантиқ ва probabilities», 1854, дар асоси муносибати дуӣ шарҳ дода шудааст, ва идора танҳо бо ду иншооти - «ҳа» ё «не», «ростӣ» ва « козиб »,« дар бораи "ва" истироҳат "ба" 0 "ва" 1 ".

ҳаёти шахсӣ

Баъди як сол, бо вай издивоҷ Марям Эверест, ҷияни Эй оғо! Ҷорҷ Эверест, пас аз кӣ аст, ба номи баландтарин кӯҳ дар ҷаҳон. Ин ҳамсарон панҷ духтар буданд. Яке аз онҳо, ки ба каноре рафтанд, муаллими химия гардид. Дигарон бошанд, дар геометрия иштирок мекарданд. Дар духтари хурдии Ҷорҷ Boole, Ethel Lilian Voynich, нависандаи машҳури, ки якчанд корҳо, ки машҳуртарини он романи «The Gadfly» аст, навишт гардид.

пайравони

Ҳайратовар буд, ки эътибори математика дар доираҳои академӣ дода мешавад, идеяи Boole танқид ва ё пурра аз тарафи аксарияти ҳамзамононаш аҳамият намедиҳанд. Хушбахтона, logician Амрико Чарлз Сандерс Peirce кушода бештар буд.

Дувоздаҳ сол пас аз нашри «Research" Pearce дод суханронии кӯтоҳ, тасвир идеяи Boole аз Амрико Академияи санъат ва илмҳои, ва сипас сарф беш аз 20 сол, тағйир ва густариши онро дарк нерўи назария дар амал. Ин дар ниҳояти кор ба тарҳрезии пойгоҳи ноҳиявӣ мантиқи барқ гардид.

Пирс мантиқи назариявӣ ӯ дар асл ҳеҷ гоҳ сохта, ҳамчун олими бузургтар аз як барқ буд, вале ҷорӣ алгебра мақодири мантиқиро, ки дар курсҳои донишгоҳҳо фалсафаи мантиқӣ.

Дар охир, як донишҷӯи боистеъдод буд, Klod Shennon, гирифта, ин фикри он тањия карда мешавад.

кори охирин

Дар соли 1957, Ҷорҷ Boole ҳамимонон Ҷамъияти Роял интихоб шуд.

Пас аз он ки "тадқиқотӣ», ки ӯ нашр як қатор корҳо, ки аз он ду бонуфузтарин мебошанд "имониву оид ба муодилаҳои дифференсиалии» (1859) ва «A имониву оид ба ҳисоб намудани Тафовут ниҳоӣ» (1860). Китобҳо ба сифати китобҳои дарсӣ барои чандин сол истифода бурда мешавад. Ӯ ҳамчунин кӯшиш барои эҷоди як усули умумии назарияи эҳтимолият, ки имкон медиҳад маълумот дар бораи probabilities гуна системаи чорабиниҳо оид ба муайян намудани эњтимолияти минбаъдаи ҳар гуна ҳодисаи марбут ба мантиқӣ муайян карда мешавад.

Дар охирин далели

Мутаассифона, кори Boulle қатъ шуда буд, вақте ки ӯ «colds саросемавор" дар синни 49, пас ба зудӣ 3 километр дар бороне, мурд, ва дар либоси тар lectured. Ин бор бештар, ки доҳӣ ва ақли солим баъзан каме дар умумӣ доранд, исбот кард.

мероси

«Таҳлили математикӣ» ва «Research" George Boole ташаббуси алгебра мақодири мантиқиро, ки баъзан мантиқи мақодири мантиқиро номида мешавад.

системаи Ӯ яке аз ин ду, зиндагии ҷудогона далелҳои ба дарсҳо гуногун, ки пас метавонад амалиёти мувофиқи ҳузури ё набудани хосиятҳои муайян анҷом дод имкон барои хулосабарорӣ новобаста аз шумораи элементҳои алоҳида.

Мурофиа Buhl ба эҷоди барномаҳои, ки ӯ ҳеҷ гоҳ тасаввур кардаанд, оварда расонд. Масалан, компютер дар рақамҳои дуӣ ва унсурҳои мантиқӣ, сохтор ва фаъолияти он дар мантиқи мақодири мантиқиро, дар асоси истифода бурда мешавад. Илм аст, ки ба ҳисоб асосгузори Dzhordzh Bul, компютер, омӯхта асосҳои назариявӣ иттилоот ва ҳисоб, инчунин усулҳои амалии татбиқи онҳо.