Ndị ọkachamara mgbakọ na mwepụ na igwe
Ọtụtụ ndị na-eche na owuwu nke igwe mgbakọ na mwepụ? na ọ bụchaghị kọmputa? naanị ndị injinia nyere aka. Nke a abụghị eziokwu, ndị ọkachamara na mgbakọ na mwepụ etinyela aka n'ọrụ a site na mmalite. Na ndị a bụ ndị nwere ihu ọma naanị tiori. N’ezie, ọ̀ dị ụfọdụ n’ime ha enwechaghị echiche na otu ụbọchị a ga-eji ihe ha chọpụtara mee ihe n’otu achụmnta ego nkịtị dị ka imepụta ihe ndekọ ego?
Taa, m ga-agwa gị maka ndị ọkachamara mgbakọ na mwepụ abụọ sitere na mbụ. Ọzọ (ya bụ, John von Neumann), na-enweghị onye ọrụ na echiche kọmputa agaraghị e kere ma ọlị, M na-ahapụ maka mgbe e mesịrị; ọ dị oke oke ma dịkwa oke mkpa ijikọ ya na ndị ọzọ n'otu akụkọ. M na-ejikọkwa ndị a abụọ n'ihi na ha bụ ezigbo enyi, n'agbanyeghị na e nwere ụfọdụ afọ dị iche n'etiti ha.
Nhọrọ na otu
Mana abụọ ndị a erughị eru karịa Neumann. Otú ọ dị, tupu anyị aga n'ihu na akụkọ ndụ ha, m na-enye ọrụ dị mfe. Tụlee ahịrịokwu ọ bụla nwere nkebiokwu abụọ dị n'okpuru nke otu jikọrọ (a na-akpọ ahịrịokwu dị otú ahụ, onye na-adịghị echeta, ọzọ). Ka anyị kwuo:. Ihe ịma aka bụ ịgbagha atụmatụ a. Yabụ kedu ihe nke a pụtara:
Ọfọn, na-achị bụ nke a: anyị ga-eji dochie otu na-emegide compound ahịrịokwu, Ya mere:.
O siri ike. Ọfọn, ka anyị gbalịa ịjụ ahịrịokwu nke nwere ahịrịokwu abụọ jikọtara ya na otu (ọzọ, onye na-adịghị echeta okwu ahụ: Njikọ). Ọmụmaatụ: Otu iwu yiri ya, ya bụ nnọchi n'ahịrịokwu mejupụtara? m na-agọnahụ ka anyị nweta:, pụtara kpọmkwem otu ihe ahụ
Na-emekarị: (1) nkwụsị nke ọzọ bụ njikọ nke mkpesa, na (2) nkwụsị nke njikọ bụ njikọ nke mkparị. Ndị a? dị oke mkpa? abụọ de Morgan's law for propositional calculus.
Aristocrat na-emebi emebi
Augustus de Morgan, onye mbụ n’ime ndị ọkà mmụta mgbakọ na mwepụ a kpọtụrụ aha ná mmalite, bụ́ onye dere iwu ndị a, mụrụ n’India na 1806 n’ezinụlọ onye uwe ojii na-achị ndị agha Briten. Na 1823-27 ọ gụrụ akwụkwọ na Cambridge? na ozugbo ọ gụsịrị akwụkwọ, ọ ghọrọ prọfesọ na mahadum a magburu onwe ya. Ọ bụ nwa okorobịa na-adịghị ike, onye ihere na ọ bụghị ọgaranya nke ukwuu, mana ọ nwere oke ọgụgụ isi. O zuru ezu ikwu na o dere na bipụtara akwụkwọ 30 na mgbakọ na mwepụ na ihe karịrị 700 akụkọ sayensị; ọ bụ nnukwu ihe nketa. È nwere ọtụtụ n'ime ụmụ akwụkwọ ya n'oge ahụ? kedu ka anyị ga-esi kwuo taa? ndị ama ama na ndị ama ama. Gụnyere ada nke nnukwu onye na-ede uri ịhụnanya Lord Byron? ama ama Ada Ada (1815-1852), weere taa onye mmemme mbụ na akụkọ ihe mere eme (o dere mmemme maka igwe Charles Babbage, nke m ga-ekwu maka nkọwa zuru ezu). Site n'ụzọ, a na-akpọ asụsụ mmemme mmemme ADA aha ya?
Ọrụ nke de Morgan (ọ nwụrụ na nwata na 1871) bụ akara mmalite nke nchikota nke ntọala ezi uche dị na mgbakọ na mwepụ. N'aka nke ọzọ, iwu ya ndị a kpọtụrụ aha n'elu chọtara mmejuputa ọkụ eletrik mara mma (na mgbe ahụ) na nhazi nke ọnụ ụzọ mgbagha nke na-adabere na ọrụ nke onye nrụpụta ọ bụla.
N'agbanyeghị. Ọ bụrụ na anyị ewepụ ahịrịokwu ahụ: anyị ga-enweta ahịrịokwu ahụ: N'otu aka ahụ, ọ bụrụ na anyị ewepụ ahịrịokwu ahụ:, anyị ga-enweta ahịrịokwu ahụ: Ndị a bụkwa iwu De Morgan, mana maka mgbako quantifier. Na-adọrọ mmasị? enwere ebe igosi ya? Nke a ọ bụ mkpokọta dị mfe nke iwu de Morgan maka mgbako echiche?
Nwa nwoke onye na-akpụ akpụ akpụkpọ ụkwụ nwere onyinye mmụọ
Ọtụtụ ma ọ bụ obere taa, onye ọzọ n'ime ndị dike anyị bi na de Morgan, ya bụ, George Bull. Ndị Boules bụ ezinụlọ nke obere ndị ọrụ ugbo na ndị ahịa si North East England. Ezinụlọ ahụ abụghị ihe pụrụ iche tupu John Bull abịa? ọ bụ ezie na ọ bụ naanị onye na-akpụ akpụ akpụkpọ ụkwụ nkịtị? dabara na mgbakọ na mwepụ, astronomy na? egwu ruo n'ókè dị ka onye na-akpụ akpụ akpụkpọ ụkwụ? dara ada. Ọfọn, na 1815, John mụrụ nwa nwoke, George (ya bụ, George).
Mgbe nna ya dachara, a ga-ewepụ obere George n'ụlọ akwụkwọ. mgbakọ na mwepụ? olee otú o si gaa nke ọma? nna ya onwe ya kụziiri ya ihe; ma nke a abụghị isiokwu mbụ obere Yurek mụtara n'ụlọ. Mbụ e nwere Latin, e mesịa asụsụ: Greek, French, German na Italian. Ma nke kacha nwee ihe ịga nke ọma bụ nkuzi mgbakọ na mwepụ nke nwa nwoke: mgbe ọ dị afọ 19, nwata ahụ bipụtara? na Cambridge Journal of Mathematics? ? ọrụ mbụ m rụrụ na mpaghara a. Mgbe ahụ ndị ọzọ bịara.
Otu afọ ka e mesịrị, George, n'enweghị agụmakwụkwọ, mepere ụlọ akwụkwọ nke ya. Na 1842 ọ zutere de Morgan na ghọrọ enyi ya.
De Morgan nwere nsogbu ụfọdụ n'oge ahụ. Ndị ọkà ihe ọmụma ọkachamara na-akwa emo ma na-akatọ echiche ya nke ọma bụ ndị na-enweghị ike iche na onye mgbakọ na mwepụ ga-amalite ikwu ihe na ịdọ aka ná ntị ruo ugbu a weere alaka nke nkà ihe ọmụma dị ọcha, ya bụ, n'echiche (n'ụzọ, ọtụtụ ndị ọkà mmụta sayensị nke oge a taa na-atụle echiche ahụ. bụ naanị otu n'ime alaka nke mgbakọ na mwepụ dị ọcha, ma ọ fọrọ nke nta ka ọ bụrụ ihe ọ bụla jikọrọ ya na nkà ihe ọmụma, n'ezie, ọ na-enupụrụ ndị ọkà ihe ọmụma ihe fọrọ nke nta ka ọ bụrụ otu n'ime oge nke Morgan?). Buhl, n'ezie, kwadoro enyi? na 1847 o dere ntakịrị ọrụ aha ya. Ihe nkiri a na-atọ ụtọ.
De Morgan nwere ekele maka ọrụ a. Ọnwa ole na ole ka ahapụchara ya, ọ mụtara maka ịbụ onye prọfesọ na-enweghị ohere na King's College, Mahadum Cork dị na Ireland. Buhl gbara asọmpi maka ọkwa ahụ mana e wepụrụ ya na anabataghị asọmpi ahụ. Mgbe oge ụfọdụ gachara, otu enyi ya nyeere ya aka? na Boole, otu ọ dị, natara oche mgbakọ na mwepụ na mahadum a; enwechaghị akwụkwọ agụmakwụkwọ na mgbakọ na mwepụ ma ọ bụ mpaghara ọ bụla ọzọ?
Afọ ole na ole ka e mesịrị, a yiri akụkọ mere anyị amamiihe compatriot Stefan Banach. N'aka nke ya, ọmụmụ ya tupu ịbanye a prọfesọ na Lviv bụ nanị undergraduate na otu semester nke a polytechnic?
Ma laghachi na booleans. N'ịgbasawanye echiche ya site na monograph nke mbụ, o bipụtara na 1854 ọrụ ya a ma ama na nke taa? (aha, n'ikwekọ na ejiji nke oge ahụ, dị ogologo karịa). N'ọrụ a, Boolev gosiri na omume nke echiche ezi uche nwere ike n'ezie ibelata ka nnọọ mfe? n'agbanyeghị na ị na-eji ntakịrị mgbako dị egwu (ọnụọgụ abụọ!)? Akaụntụ. Narị afọ abụọ tupu ya, nnukwu Leibniz nwere echiche yiri nke ahụ, mana titan echiche a enweghị oge iji mechaa okwu ahụ.
Mana onye chere na ụwa dara n'ikpere ya tupu ọrụ Boole na-atụ n'anya na omimi nke ọgụgụ isi ya? ezighi ezi. Ọ bụ ezie na Boole abụrụla onye so na Royal Academy kemgbe 1857 na onye na-ahụ maka mgbakọ na mwepụ nke a na-akwanyere ùgwù na nke a ma ama, ogologo oge weere echiche ezi uche ya dị ka ọchịchọ ịmata ihe na-adịchaghị mkpa. N'ezie, ọ bụ na 1910 ka ndị ọkà mmụta sayensị Britain ukwu Bertrand Russell i Alfred North Whitehead, site na-ebipụta nke mbụ olu nke ha amamiihe ọrụ (), ha gosiri na Boolean echiche - na ọ bụghị nanị nwere ihe dị mkpa mmekọrita na mgbagha? ma ọbụna e nwere mgbagha. E wezụga echiche George Boole, mgbagha oge gboo ọ dị mfe? na ntakịrị ikwubiga okwu ókè? adịghị adị ma ọlị. Aristotle, nke oge ochie nke mgbagha, ghọrọ naanị ọchịchọ ịmata akụkọ ihe mere eme n'ụbọchị e bipụtara ya.
Site n'ụzọ, otu ozi ọzọ na-adọrọ mmasị: ihe dị ka ọkara narị afọ ka e mesịrị, ihe mgbako Boolean ejirila nlezianya gosipụta usoro abụba niile ruo ọtụtụ afọ? N'ime nkeji asatọ ọ tụgharịrị bụrụ kọmpụta na-adịchaghị ike, nke onye China ama ama bụ Wang Hao mere nke ọma.
Site n'ụzọ, Boole nwere ntakịrị ihu ọma: ọ bụrụ na ọ kwaturu Aristotle n'ocheeze narị afọ atọ tupu mgbe ahụ, a ga-akpọ ya ọkụ n'elu osisi.
Ma mgbe ahụ, ọ tụgharịrị na nke a na-akpọ Boolean algebras? ọ bụghị naanị mpaghara mgbakọ na mwepụ dị oke mkpa na ọgaranya, nke ka na-etolite taa, kamakwa ihe ndabere ezi uche dị na ya maka iwu igwe mgbakọ na mwepụ. Ọzọkwa, Boolean theorems, na-enweghị mgbanwe ọ bụla, na-emetụta ọ bụghị nanị na mgbagha, ebe ha na-akọwa oge gboo propositional mgbako, ma na ọnụọgụgụ ọnụọgụ abụọ (na a ọnụ ọgụgụ usoro na-eji naanị abụọ digits - efu na otu, nke bụ ndabere nke kọmputa mgbakọ na mwepụ). ), ma a na-ejikwa ha na usoro nhazi nke emepụtara ọtụtụ oge ka emechara. Ọ tụgharịrị na na tiori a ezinụlọ nke subsets nke ọ bụla set nwere ike na-emeso dị ka a Boolean algebra.
uru boolean? kedu ka de Morgan mere? ahụ́ siri ya ike. Ka anyị na-ekwukwa eziokwu na ọ naghị eche banyere ahụ́ ike a ma ọlị: ọ rụsiri ọrụ ike ma na-arụsi ọrụ ike, na ọ na-arụsikwa ọrụ ike. Ọktoba 24, 1864, olee mgbe ọ ga-aga nkuzi? Mmiri dị ya nke ukwuu. N'ịchọghị igbu oge klaasị, ọ gbanweeghị ma ọ bụ yipụ ya. Ihe si na ya pụta bụ ajọ oyi, oyi baa, na ọnwụ ọnwa ole na ole ka e mesịrị. Ọ nwụrụ mgbe ọ dị naanị afọ 49.
Boole lụrụ Mary Everest, nwa nwanyị nke onye nyocha Britain a ma ama na onye na-ahụ maka geographer (ee, ee? nke sitere na ugwu kachasị elu n'ụwa) 17 afọ ya dị obere. Mmasị ịhụnanya? biri n'alụmdi na nwunye na-aga nke ọma? malitere na? nkuzi na acoustics nyere onye ọkà mmụta sayensị ọmarịcha nwa agbọghọ. Ya na ya nwere ụmụ nwanyị ise, atọ n'ime ha nwetara aha dị ịrịba ama: Alice ghọrọ nnukwu mgbakọ na mwepụ, Lucy bụ prọfesọ mbụ nke kemịkalụ na England, Ethel Lillian ghọtara n'oge ya dị ka onye edemede.
