Англис математик Джордж Bul: өмүр баяны, эмгек

кедей жумушчу үй-бүлөдө Джордж Bul келген туура эмес жерде, ошол мезгилде төрөлгөн эмес, жана, албетте, коомдук класста эмес. Ал математикалык гений өстүрүү үчүн мүмкүнчүлүк жок болчу, бирок ал эч нерсеге карабастан кылды.

Джордж Bul: өмүр баяны

Туулган 2-ноябрында, 1815 Lincoln англис өнөр жай шаарында, Логикалык өзүнүн уулу үчүн математика жана сабак берген кызыкдар болгон атасы бактысына туш болгон. Мындан тышкары, ал кандай оптикалык приборлор үчүн аны үйрөткөн. Янг Жорж ынталуулук менен изилдөө алып, сегиз жашында, атасынын өзүн-өзү окуткан ашып.

Бир үй-бүлө досу, бир нече жылдардан кийин, баланы негизги Латын чарчап, жардам берген. 12 жыл бою Bull байыркы Рим ыр которуп койду. 14 жыл бою, Джордж немис тилинде эркин сүйлөйт экен, Италиялык жана French. 16 жашка чыкканда ал окутуучу болуп, Йоркшир Батыш минип айылдык мектептерде окутулган. жыйырма, ал өз жеринде өз мектебин ачты.

Кийинки бир нече жыл бою акысыз убакыт Джордж тактап кыска мөөнөтү механиканын жергиликтүү институтунун заемдук математикалык журналдарды окууга жумшаган. Ал жерде Isaaka Nyutona ишин "Principia" жана French окумуштуулар Лапластын жана Lagrange XVIII жана XIX кылымдарда "Асман механикасы и Нурдун" жана "Аналитикалык механика" ишин окуп. Ал арада бул жолу математикалык негиздери өтө кыйын өздөштүрүп, оор алгебралык көйгөйлөр чечиле баштады.

Бул боюнча өтүү мезгили келди.

Rising жылдыз

жашы 24, Джордж Bul invariance түшүнүгүнө басым жасоо менен сызыктуу кайра түзүүлөр жана түрдүү тендемелердин алгебралык көйгөйлөр тууралуу биринчи макала математикалык журнал Cambridge University, "аналитикалык өзгөрүүлөр теориясы изилдөө" жарыяланат. кийинки он жыл ичинде, анын жылдыз оригиналдуу макалалардын туруктуу дарыя менен өсүп жаткан, математика тышкары жайылтылат.

1844-жылы, ал чексиз кичине жана чексиз бир нече комбинатордук талдоонун жана математикалык иш пайдалануу боюнча топтолгон элек. Алгебра жана интегралдык эсептөө үчүн бириктирип, ыкмаларын математикалык анализ жана талкуулоо үчүн Салымдарымды Royal Society журналына жарыяланган чыгарманын, "Йорк бүтүмдөрү", ошол эле жылы, ал алтын медалы менен сыйланды.

Джордж Bul жакында логикалык маселелерди чечүү үчүн алгебра пайдалануу мүмкүндүгүн изилдөө баштаган. 1847 "Математикалык логика анализи", ал логика, математика жана ортосундагы өз ара гана мурдагы божомолдорун жануу күч жок, бирок ошондой эле мурдагы ордуна ой эмес, биринчи кезекте бир математикалык акыл экенин далилдешти.

Бул иш Augustus-де-Морган зор логика (устат Ади Байрон) гана эмес, суктануу менен шартталган, ошондой эле Ирландиянын Куинз колледжинде математика окутуучу, анын турак жайын да жогорку билими жок кылынган.

Джордж Bul: Boolean алгебра

мектептин милдеттерин жеткиребиз математикалык гений "Математикалык анализ" жакшыртууга багытталган, өз ишин аяктаган изилдеп баштаган жана өзгөчө тилди логикалык далилдер жазып, алар башкаруу жана мүмкүн боло турган менен математикалык чечүү жолун табуу жөнүндө чечим кабыл алды.

Ал тил алгебранын келип, үч негизги иш-аракеттер (жана дагы деле бар) "И", "ЖЕ" жана "ЭМЕС". Бул үч иш-милдеттери, анын турак жайдын негизин түзгөн жана салыштыруу иштери жана негизги математикалык милдеттерди аткаруу үчүн зарыл болгон жалгыз операторлор эмес.

Логикалык системасы эки объекттер менен бинардык ыкманын негизинде өз ишин 1854-жылы "логиканын жана ыктымалдуулук бардык математикалык теорияларды негиз болуп ой мыйзамдарын изилдөө", анын ичинде майда-чүйдөсүнө чейин айтып, ошондой эле иштеп жатат - "ооба" же "жок", "чындык" жана " жалган "," "жана" 0 "менен" өчүрүп "жана" 1 ".

Жеке жашоо

дүйнөдөгү бийик тоо деген ким кийин кийинки жылы ал Мариям Everest, сэр George Everest Кенже үйлөнгөн. жубайлар беш кызы бар. Алардын бири, улуу, химия мугалими болуп калды. Башкалары геометриядагы тартылган. Джордж Логикалык, Ethel Лилиан Voynich кичүү кызы, сөздөн турган абдан популярдуу "көгөөн" бир нече чыгармаларын жазып, белгилүү жазуучу болуп калды.

жолдоочулары

Кызыгы, академиялык чөйрөлөрдүн Математиканы кадыр-баркын эске алып, Логикалык идеясы сынга же толугу менен анын көпчүлүк замандаштары тарабынан четке кагылган. Бактыга жараша, америкалык Брюнн Charles Сандерс Peirce ачык болчу.

"Изилдөө" Пирс кыска сөз сүйлөдү жарыялангандан он эки жыл өткөндөн кийин, идеясы баяндалат Америка Логикалык жүзүндө теориясынын мүмкүнчүлүктөрүн ишке ашыруу үчүн, аны өзгөртүүгө жана өнүктүрүү, 20 жылдан ашуун Билим жана илимдер, анан өткөргөн академиясы. Бул акыр аягында база электрдик логика чынжыры долбоор алып келди.

электрик ашкан аалым болчу, бирок университет курстарды бир логикалык алгебра логикалык көз карашын киргизилип, анын теориялык логика Пирс иш жүзүндө курулган эмес.

Акыр-аягы, бир таланттуу студенти Klod Shennon, бул идеяны алып, аны иштеп чыккан.

Жашыруун иш

1957-жылы Джордж Логикалык Royal коомунун жөлөк болуп шайланган.

"Изилдөө" кийин, ал эки таасирдүү "Студенттерди математикалык жөнүндө трактат" деген (1859) жана "Чектүү айырмалардын эсептелиши жөнүндө трактат" (1860), алардын чыгармаларын бир катар жарыяланган. көп жылдар бою окуу катары колдонулган китептер. Ошондой эле, иш-чаралардын бир системасын ыктымалдуулукту маалыматтарды логикалык көрсөтүлгөн менен байланышкан ар кандай иш-чаранын кийинки ыктымалдыгы аныктоого мүмкүндүк берет ыктымалдуулук теориясынын жалпы ыкмасын түзүү үчүн аракет кылды.

акыркы далили

Тилекке каршы, иш ал Boulle үзгүлтүккө учурады кийин "чоктой суук" 49 жашка жамгыр 3 километр кийин каза тапкан, ал эми нымдуу кийим, дарс окуп жүрөт. Бул анын таланты жана жалпы мааниде, кээде экөөнүн жалпылыгы аз экенин дагы бир жолу далилдеген болчу.

мурасы

"Математикалык анализ" жана "изилдөө", Джордж Логикалык кээде логикалык логика деп аталган логикалык, алгебра, демилгеленген.

эки баалуулуктарды Анын системасы, анда кээ бир өзгөчөлүктөрү бар же жок экендиги боюнча иштерин жүргүзө алат ар түрдүү класстар, кирип аргументтер бөлүп карабай, айрым элементтеринин саны корутунду чыгара мүмкүнчүлүгү пайда болду.

Proceedings Buhl-кыялга келбей турган өтүнмөлөрдү түзүү, алып келди. Мисалы, ЭЭМ логикалык логикага негизделген турган экилик сандар менен логикалык элементтер, түзүлүшү жана иштөө колдонулат. Илим, Джордж тактап негиздөөчүсү деп эсептелет, ЭЭМ, аларды жүзөгө ашыруу үчүн маалыматтарды жана эсептөө теориялык негиздерин, ошондой эле практикалык ыкмалар менен таанышуу максатында келип кетти.