ນັກຄະນິດສາດພາສາອັງກິດ Dzhordzh Bul: ຊີວະປະວັດ, ການເຮັດວຽກ

ມາຈາກຄອບຄົວທີ່ເຮັດວຽກ, ຮຽນທຸກຍາກ Dzhordzh Bul ບໍ່ໄດ້ເກີດມາຢູ່ໃນເວລານັ້ນ, ໃນສະຖານທີ່ຜິດພາດ, ແລະແນ່ນອນວ່າບໍ່ໄດ້ຢູ່ໃນລະດັບສັງຄົມ. ພຣະອົງບໍ່ໄດ້ມີໂອກາດທີ່ຈະຂະຫຍາຍຕົວເປັນອັດສະລິຍະຄະນິດສາດ, ແຕ່ເຂົາບໍ່ໄດ້ເຖິງວ່າຈະມີທຸກສິ່ງທຸກຢ່າງ.

Dzhordzh Bul: ຊີວະປະວັດ

ເກີດພະຈິກ 2, 1815 ໃນນະຄອນອຸດສາຫະກໍາພາສາອັງກິດ Lincoln, Bool ແມ່ນໂຊກດີທີ່ຈະມີພຣະບິດາຜູ້ທີ່ຕົນເອງມີຄວາມສົນໃຈໃນຄະນິດສາດແລະໃຫ້ບົດຮຽນກັບລູກຊາຍຂອງຕົນໄດ້. ນອກຈາກນີ້ເຂົາສອນໃຫ້ວິທີການເຮັດໃຫ້ເຄື່ອງມືແສງ. ອອ່ນ George ໄດ້ເດີນທາງຢ່າງໄດ້ເຖິງການສຶກສາລາວແລະໃນອາຍຸສູງສຸດຂອງແປດປີ, ລື່ນຂອງຜູ້ເປັນພໍ່ຕົນເອງໄດ້ສອນ.

A ຫມູ່ເພື່ອນໃນຄອບຄົວຊ່ວຍສອນເດັກພື້ນຖານລາແຕັງແລະ exhausted ໃນບໍ່ເທົ່າໃດປີ. ສໍາລັບ 12 ປີ Bull ໄດ້ແປບົດກະວີ Roman ວັດຖຸບູຮານ. ສໍາລັບ 14 ປີ, George ແມ່ນ fluent ໃນເຍຍລະມັນ, Italian ແລະພາສາຝຣັ່ງ. ອາຍຸສູງສຸດ 16 ໄດ້ກາຍເປັນຜູ້ຊ່ວຍຄູອາຈານແລະສອນໃນໂຮງຮຽນຊົນນະບົດໃນພາກຕາເວັນຕົກ Riding of Yorkshire. ໃນຊາວ, ທ່ານໄດ້ເປີດໂຮງຮຽນຂອງຕົນເອງໃນບ້ານເກີດຂອງຕົນ.

ໃນໄລຍະບໍ່ເທົ່າໃດປີຕໍ່ໄປໄລຍະເວລາສັ້ນຂອງທີ່ໃຊ້ເວລາຟຣີ Dzhordzh Bul ໃຊ້ເວລາອ່ານວາລະສານວິທະຍາຢືມໃນທ້ອງຖິ່ນສະຖາບັນຂອງ Mechanics. ມີທີ່ທ່ານໄດ້ອ່ານການເຮັດວຽກຂອງ Isaaka Nyutona "ໄດ້ Principia" ແລະການເຮັດວຽກຂອງວິທະຍາສາດຝຣັ່ງ Laplace ແລະ Lagrange XVIII ແລະ XIX ສະຕະວັດ "treatises ກ່ຽວກັບ Mechanics Celestial" ແລະ "Mechanics Analytical" ໄດ້. ທັນທີທີ່ທ່ານໄດ້ mastered ມີຄວາມຫຍຸ້ງຍາກຫຼາຍທີ່ສຸດໃນເວລາທີ່ຫຼັກການພື້ນຖານທາງຄະນິດສາດແລະໄດ້ເລີ່ມຕົ້ນທີ່ຈະແກ້ໄຂບັນຫາຄວາມຫຍຸ້ງຍາກພຶຊະຄະນິດ.

ມັນເປັນເວລາທີ່ຈະຍ້າຍອອກໄປ.

ເພີ່ມຂຶ້ນດາວ

ອາຍຸສູງສຸດ 24, Dzhordzh Bul ຈັດພີມມາເປັນວາລະສານທາງຄະນິດສາດວິທະຍາໄລ Cambridge ບົດຄວາມທໍາອິດຂອງພຣະອົງ, "ການສຶກສາຂອງທິດສະດີຂອງການຫັນເປັນການວິເຄາະທີ່" ກ່ຽວກັບບັນຫາພຶຊະຄະນິດຂອງການຫັນເປັນຮູບແຂບແລະສະມະການໂດຍເນັ້ນໃສ່ແນວຄວາມຄິດຂອງມີສ່ວນພົວພັນໄດ້. ໃນໄລຍະສິບປີຕໍ່ໄປ, ດາວລາວໄດ້ເພີ່ມຂຶ້ນກັບນ້ໍາຄົງທີ່ຂອງບົດຄວາມຕົ້ນສະບັບ, extends ຫຼັງຈາກຄະນິດສາດ.

1844 ໂດຍເຂົາໄດ້ເອົາໃຈໃສ່ການນໍາໃຊ້ການວິເຄາະ combinatorial ແລະການດໍາເນີນງານທາງຄະນິດສາດສໍາລັບການ infinitely ຂະຫນາດນ້ອຍແລະມີຈໍານວນ infinite ໄດ້. ໃນປີດຽວກັນສໍາລັບການເຮັດວຽກ, ຈັດພີມມາໃນວາລະສານຂອງສະມາຄົມ Royal "Transactions Philosophical," ສໍາລັບການປະກອບສ່ວນຂອງຕົນເພື່ອການວິເຄາະທາງຄະນິດສາດແລະການສົນທະນາຂອງວິທີການໃນການສົມທົບພຶດຊະຄະນິດທີ່ຈະ differential and calculus ການເຊື່ອມໂຍງ, ທ່ານໄດ້ຮັບຫຼຽນຄໍາ.

Dzhordzh Bul ໃນໄວໆນີ້ໄດ້ເລີ່ມຕົ້ນໂຄງການຂຸດຄົ້ນຄວາມເປັນໄປໄດ້ຂອງການນໍາໃຊ້ພຶດຊະຄະນິດທີ່ຈະແກ້ໄຂບັນຫາຢ່າງມີເຫດຜົນໄດ້. ໃນ "ການວິເຄາະຄະນິດສາດຂອງ Logic" ປີ 1847, ເຂົາບໍ່ພຽງແຕ່ຂະຫຍາຍສົມມຸດຕິຖານກ່ອນຫນ້ານີ້ Gottfried Leibniz ກ່ຽວກັບຄວາມສໍາພັນລະຫວ່າງເຫດຜົນແລະຄະນິດສາດ, ແຕ່ຍັງພິສູດໄດ້ວ່າໃນອະດີດເປັນຕົ້ນຕໍລະບຽບວິໄນທາງຄະນິດສາດ, ແທນທີ່ຈະກ່ວາປັດຊະຍາ.

ວຽກດັ່ງກ່າວນີ້ໄດ້ເກີດມາຈາກບໍ່ພຽງແຕ່ການຍົກຍ້ອງຂອງຕາມເຫດຜົນທີ່ຍັງຄ້າງຄາຈັກພັນ Augustus De Morgan (ພີ່ລ້ຽງ Ady Bayron), ແຕ່ຍັງຄວາມປອດໄພສະຖານທີ່ຂອງອາຈານຂອງຄະນິດສາດທີ່ວິທະຍາໄລ Queens ໃນໄອແລນເຖິງແມ່ນວ່າໂດຍບໍ່ມີການສຶກສາວິທະຍາໄລ.

Dzhordzh Bul: ພຶດຊະຄະນິດ Boolean

ການປົດປ່ອຍຈາກຫນ້າທີ່ຂອງໂຮງຮຽນດັ່ງກ່າວ, ອັດສະລິຍະຄະນິດສາດເລີ່ມຕົ້ນທີ່ຈະເຈາະລຶກເຂົ້າໄປເຮັດວຽກຂອງຕົນເອງຂອງເຂົາເຈົ້າ, ໂດຍສຸມໃສ່ການປັບປຸງການ "ການວິເຄາະທາງຄະນິດສາດ" ແລະຕັດສິນໃຈເພື່ອຊອກຫາວິທີການຂຽນກະທູ້ທີ່ມີເຫດຜົນເປັນພາສາພິເສດທີ່ພວກເຂົາເຈົ້າຈະເປັນໄປໄດ້ທີ່ຈະຈັດການແລະແກ້ໄຂຄະນິດສາດໄດ້.

ພຣະອົງໄດ້ມາກັບພຶດຊະຄະນິດພາສາ, ສາມປະຕິບັດງານທີ່ສໍາຄັນທີ່ໄດ້ (ແລະຍັງມີ) "ແລະ", "OR" ແລະ "ບໍ່". ເຫຼົ່ານີ້ສາມຫນ້າທີ່ພື້ນຖານຂອງສະຖານທີ່ຂອງຕົນແລະໄດ້ປະກອບພຽງແຕ່ຕ້ອງການທີ່ຈະປະຕິບັດການດໍາເນີນງານການປຽບທຽບແລະປະຕິບັດຫນ້າທາງຄະນິດສາດພື້ນຖານ.

ລະບົບ Bool ຂອງອະທິບາຍໃນລາຍລະອຽດໃນການເຮັດວຽກຂອງເຂົາ "ການສຶກສາຂອງກົດຫມາຍຂອງຄວາມຄິດ, ຊຶ່ງເປັນພື້ນຖານຂອງທິດສະດີທາງຄະນິດສາດທັງຫມົດຂອງຕາມເຫດຜົນແລະອາດຈະ" ໃນ 1854, ອີງຕາມການວິທີການຄູ່, ແລະດໍາເນີນການໂດຍມີພຽງແຕ່ສອງຈຸດປະສົງ - "ຕົກລົງ" ຫຼື "ບໍ່ມີ", "ຄວາມຈິງ" ແລະ " false "," ກ່ຽວກັບ "ແລະ" ປິດ "ກັບ" 0 "ແລະ" 1 ".

ຊີວິດສ່ວນບຸກຄົນ

ໃນປີຕໍ່ໄປເຂົາແຕ່ງງານ Mary Everest, ຫລານສາວຂອງ Sir George Everest, ຫຼັງຈາກທີ່ມີຊື່ວ່າພູເຂົາທີ່ສູງທີ່ສຸດໃນໂລກ. ຄູ່ນ່ຶໄດ້ມີລູກສາວຫ້າ. ຫນຶ່ງຂອງເຂົາເຈົ້າ, ອ້າຍກາຍຄູອາຈານຂອງເຄມີສາດໄດ້. ຄົນອື່ນໄດ້ມີສ່ວນຮ່ວມໃນເລຂາຄະນິດ. ລູກສາວນ້ອຍຂອງ George Bool, Ethel Lilian Voynich, ກາຍເປັນນັກຂຽນທີ່ມີຊື່ສຽງຜູ້ທີ່ຂຽນເຮັດວຽກຫຼາຍ, ໃນທີ່ສຸດຊຶ່ງໃນນັ້ນແມ່ນນະວະນິຍາຍ "The Gadfly".

ຕິດຕາມ

ເປັນເລື່ອງແປກທີ່, ໄດ້ຮັບກຽດສັກສີຂອງຄະນິດສາດທີ່ຢູ່ໃນວົງການວິຊາ, ຄວາມຄິດຂອງ Bool ໄດ້ຕໍາຫນິຕິຕຽນຫລືລະເວັ້ນຫມົດໂດຍສ່ວນໃຫຍ່ຂອງປະຈຸບັນຂອງຕົນ. ໂຊກດີ, ການ logician American Charles Sanders Peirce ແມ່ນເປີດຫຼາຍ.

ສິບສອງປີຫຼັງຈາກການພິມເຜີຍແຜ່ຂອງ "ຄົ້ນຄ້ວາ" Pearce ໄດ້ປາກເວົ້າ, ຂີດສັ້ນໄດ້, ອະທິບາຍຄວາມຄິດຂອງ Bool ຂອງອາເມລິກາ ສໍານັກງານຂອງສິລະປະແລະວິທະຍາສາດ, ແລະຫຼັງຈາກນັ້ນໄດ້ໃຊ້ເວລາຫຼາຍກ່ວາ 20 ປີ, ການປ່ຽນແປງແລະຂະຫຍາຍມັນໃຫ້ຮູ້ທ່າແຮງຂອງທິດສະດີໃນການປະຕິບັດໄດ້. ນີ້ສຸດໄດ້ເຮັດໃຫ້ການອອກແບບຂອງວົງຈອນຢ່າງມີເຫດຜົນໄຟຟ້າຢູ່ໂຄນໄປ.

ລູກປືນເຈາະຢ່າງມີເຫດຜົນທາງທິດສະດີຂອງເຂົາຕົວຈິງບໍ່ໄດ້ສ້າງ, ເປັນແມ່ນເປັນນັກປາດຫຼາຍກ່ວາເປັນຊ່າງໄຟຟ້າ, ແຕ່ນໍາສະເຫນີເປັນພຶດຊະຄະນິດຄ່າໂລຊິກ in ຫລັກສູດວິທະຍາໄລປັດຊະຍາມີເຫດຜົນ.

ໃນທີ່ສຸດ, ຫນຶ່ງນັກສຶກສາຂອງປະທານແຫ່ງ, Klod Shennon, ໄດ້ຄວາມຄິດນີ້ແລະພັດທະນາມັນ.

ການເຮັດວຽກທີ່ຜ່ານມາ

ໃນປີ 1957, George Bool ໄດ້ຮັບເລືອກ Fellow ຂອງ Royal Society.

ຫຼັງຈາກທີ່ "ການຄົ້ນຄວ້າ", ທ່ານໄດ້ຂຽນຈໍານວນຂອງການເຮັດວຽກ, ຊຶ່ງໃນນັ້ນທັງສອງອິດທິພົນຕໍ່ຫຼາຍທີ່ສຸດແມ່ນ "treatises ກ່ຽວກັບສະມະການ" (1859) ແລະ "A treatises ກ່ຽວກັບ Calculus ຂອງຄວາມແຕກຕ່າງ Finite" (1860). Books ໃຊ້ເປັນປື້ມຕໍາລາສໍາລັບເວລາຫຼາຍປີ. ພຣະອົງຍັງໄດ້ພະຍາຍາມເພື່ອສ້າງເປັນວິທີທົ່ວໄປຂອງທິດສະດີຄວາມຫນ້າຈະເປັນທີ່ຈະອະນຸຍາດໃຫ້ຂໍ້ມູນຈາກ probabilities ຂອງລະບົບຂອງເຫດການໃດ ໆ ທີ່ຈະຕັດສິນກໍານົດການຄາດຄະເນຕໍ່ມາຫຼັງຂອງກໍລະນີທີ່ກ່ຽວຂ້ອງກັບທີ່ລະບຸໄວ້ຢ່າງມີເຫດຜົນ.

ຫຼັກຖານສະແດງຫລ້າສຸດ

ແຕ່ຫນ້າເສຍດາຍ, ການເຮັດວຽກຖືກຂັດຈັງຫວະ Boull ໃນເວລາທີ່ເຂົາເສຍຊີວິດຂອງ "ຫວັດ feverish" ໃນອາຍຸສູງສຸດຂອງ 49 ຫຼັງຈາກທີ່ເຮົາ 3 ກິໂລແມັດໃນລະດູຝົນ, ແລະໄດ້ບັນລະຍາຍໃນເຄື່ອງນຸ່ງຫົ່ມປຽກ. ລາວນີ້ໄດ້ຊີ້ໃຫ້ເຫັນອີກຄັ້ງຫນຶ່ງວ່າອັດສະລິຍະແລະຄວາມຮູ້ສຶກທົ່ວໄປບາງຄັ້ງມີພຽງເລັກນ້ອຍໃນທົ່ວໄປ.

ມໍລະດົກ

"ການວິເຄາະທາງຄະນິດສາດ" ແລະ "ຄົ້ນຄ້ວາ" George Bool ການລິເລີ່ມຂອງພຶດຊະຄະນິດ Boolean, ເຊິ່ງບາງຄັ້ງເອີ້ນວ່າເຫດຜົນ Boolean.

ລະບົບຂອງສອງຄ່າການແຍກກັນຢູ່ກະທູ້ທີ່ເຂົ້າໄປໃນຫ້ອງຮຽນທີ່ແຕກຕ່າງກັນ, ຫຼັງຈາກນັ້ນທີ່ສາມາດປະຕິບັດການດໍາເນີນງານໂດຍອີງຕາມການມີຫຼືບໍ່ມີຄຸນສົມບັດສະເພາະໃດຫນຶ່ງໄດ້ເຮັດໃຫ້ມັນເປັນໄປໄດ້ທີ່ຈະສະທ້ອນບໍ່ຄໍານຶງເຖິງຈໍານວນຂອງອົງປະກອບສ່ວນບຸກຄົນໄດ້.

ດໍາເນີນຄະດີ Buhl ເຮັດໃຫ້ການສ້າງຂອງຄໍາຮ້ອງສະຫມັກ, ທີ່ທ່ານໄດ້ສາມາດບໍ່ໄດ້ imagined. ສໍາລັບຕົວຢ່າງ, ຄອມພິວເຕີໄດ້ຖືກນໍາໃຊ້ໃນເລກຖານສອງແລະອົງປະກອບຢ່າງມີເຫດຜົນ, ໂຄງປະກອບການແລະປະຕິບັດງານຂອງເຊິ່ງແມ່ນອີງໃສ່ເຫດຜົນ Boolean. ວິທະຍາສາດ, ເຊິ່ງພິຈາລະນາກໍ່ຕັ້ງຂອງ Dzhordzh Bul, ຄອມພິວເຕີ, ສໍາຫລວດພື້ນຖານທາງທິດສະດີຂອງຂໍ້ມູນຂ່າວສານແລະຄອມພິວເຕີ, ເຊັ່ນດຽວກັນກັບວິທີການປະຕິບັດສໍາລັບການປະຕິບັດຂອງເຂົາເຈົ້າ.