Litsebi tsa lipalo le mechini
Batho ba bangata ba nahana hore kaho ea mechine ea lipalo? 'me ehlile ke likhomphutha? ke baenjiniere feela ba kentseng letsoho. Sena ha se 'nete, litsebi tsa lipalo li kentse letsoho mosebetsing ona ho tloha qalong. 'Me bana ke bao ha e le hantle ba nang le khopolo feela. Ka sebele, na ba bang ba bona ba ne ba e-na le maikutlo a fokolang feela a hore ka letsatsi le leng lintho tseo ba li sibolotseng li ne li tla sebelisoa khoebong e tloaelehileng le ha ho qaptjoa litlaleho?
Kajeno ke tla u bolella ka litsebi tse peli tsa lipalo tsa mehleng ea pele. E 'ngoe (ke hore, John von Neumann), ntle le mosebetsi le mehopolo ea hae lik'homphieutha li ka be li sa ka tsa etsoa ho hang, ke tlohela hamorao; e kholo haholo ebile e bohlokoa haholo hore e ka kopanngoa le tse ling paleng e le 'ngoe. Ke boetse ke kopanya tsena tse peli hobane e ne e le metsoalle e haufi, le hoja ho ne ho e-na le phapang e itseng ea lilemo pakeng tsa bona.
E 'ngoe le kopano
Empa tsena tse peli le tsona ha li tšoanelehe ho feta Neumann. Leha ho le joalo, pele re fetela ho biography ea bona, ke fana ka mosebetsi o bonolo. Nahana ka polelo leha e le efe e nang le likarolo tse peli tse tlaase tse kopantsoeng ke bonngoe (polelo e joalo, ea sa hopoleng, e bitsoa mofuta o mong). A re re:. Bothata ke ho hana tlhahiso ena. Joale sena se bolela eng:
Hantle, molao ke ona: re tla nkela kopano sebaka 'me re hanyetse lipolelo tse kopaneng, ka hona:.
Ha ho thata. Ha re leke ho hanyetsa polelo e nang le lipolelo tse peli tse kopantsoeng ke bonngoe (hape, ea sa hopoleng lentsoe: Lekopanyi). Mohlala: Molao o ts'oanang, ke hore, ho nkeloa sebaka ke lipolelo tse kopaneng? ke hana kahoo re fumana:, e bolela ho tšoana hantle le
Hangata: (1) ho haneloa ha mokhoa o mong ke ho kopana ha lipelaelo, 'me (2) ho haneloa ha lehokelo ke ho kopana ha lipelaelo. Tsena? e bohlokoa haholo? melao e 'meli ea Morgan bakeng sa propositional calculus.
Setsebi se robehileng
August de Morgan, setsebi sa pele sa lipalo se boletsoeng qalong, mongoli oa melao ena, o hlahetse India ka 1806 lelapeng la ofisiri ea lebotho la bokolone la Brithani. Ka 1823-27 o ile a ithuta ka Cambridge? mme hang ka mora ho fumana mangolo a hae a fetoha moprofesa univesithing ena e babatsehang. E ne e le mohlankana ea fokolang, ea lihlong ’me e se morui haholo, empa e le ea nang le bokhoni bo phahameng ka ho fetisisa ba kelello. Ho lekane ho bolela hore o ngotse le ho hatisa libuka tse 30 tsa lipalo le lihlooho tsa saense tse fetang 700; ke lefa le tsotehang. Na ho ne ho e-na le liithuti tsa hae tse ngata ka nako eo? re ka re joang kajeno? batho ba tummeng le batho ba hlahelletseng. Ho kenyelletsa morali oa seroki se seholo sa Romantic Lord Byron? tummeng Ada Lovelace (1815-1852), kajeno o nkoa e le moqapi oa pele historing (o ile a ngola mananeo a mechine ea Charles Babbage, eo ke tla e tšohla ka ho qaqileng). Ka tsela, na puo e tsebahalang ea mananeo ADA e reheletsoe ka eena?
Mosebetsi oa de Morgan (o shoele a le monyenyane ka 1871) o ile oa tšoaea qaleho ea ho kopanya metheo e utloahalang ea lipalo. Ka lehlakoreng le leng, melao ea hae e boletsoeng ka holimo e ile ea fumana ts'ebetsong e ntle ea motlakase (mme joale ea elektronike) moralong oa liheke tsa logic tse tsamaisang ts'ebetso ea processor ka 'ngoe.
Ebile. Haeba re nyelisa polelo: re fumana polelo: Ka mokhoa o ts'oanang, ha re hana polelo:, re fumana polelo: Ena le eona ke melao ea De Morgan, empa bakeng sa calculus ea quantifier. E thahasellisa ? na ho na le moo u ka e bontšang? na see ke kakaretso e bonolo ea melao ea de Morgan ea propositional calculus?
Mora oa moetsi oa lieta ea nang le mpho ea lihele
Kajeno, e mong oa bahale ba rona o ne a lula le de Morgan, ke hore, George Bull. The Boules e ne e le lelapa la lihoai tse nyenyane le bahoebi ba tsoang Leboea Bochabela ho Engelane. Lelapa e ne e se ntho e ikhethang pele ho fihla John Bull? le hoja e ne e le moetsi oa lieta feela ea tloaelehileng? rata lipalo, bolepi ba linaleli le? 'mino ho isa bohōleng boo joaloka moetsi oa lieta? e ile ea felloa ke chelete. Ka 1815, John o ile a ba le mora, George (ke hore, George).
Ka mor'a hore ntate oa hae a lahleheloe ke chelete, George e monyenyane o ile a tlameha ho tlosoa sekolong. Lipalo? e ile ea atleha joang? ntatae ka boeena a mo rutile; empa ena e ne e se thuto ea pele eo Yurek e monyenyane a ileng a ithuta eona lapeng. Pele ho ne ho e-na le Selatine, ha latela lipuo: Segerike, Sefora, Sejeremane le Setaliana. Empa e atlehileng ka ho fetisisa e ne e le thuto ea moshemane ea lipalo: ha a le lilemo li 19, moshanyana eo o ile a hatisa? ho Cambridge Journal of Mathematics? ? mosebetsi oa ka oa pele o tebileng sebakeng sena. Eaba ho tla ba latelang.
Selemo hamorao, George, a sa ruteha, o ile a bula sekolo sa hae. 'Me ka 1842 o ile a kopana le de Morgan 'me a etsa setsoalle le eena.
De Morgan o ne a na le mathata ka nako eo. Maikutlo a hae a ile a songoa le ho nyatsoa ka matla ke bo-rafilosofi ba litsebi ba neng ba sa nahane hore setsebi sa lipalo se ile sa qala ho bua ntho e itseng ka taeo ho fihlela joale e nkoang e le lekala la filosofi e hloekileng, ke hore ka logic (ka tsela, bo-rasaense ba kajeno ba bangata ba nka hore ho nahana ke ntho e le 'ngoe feela. ea makala a thuto ea lipalo e hloekileng, e batlang e se na letho le amanang le filosofi, ha e le hantle, e fetohela bo-rafilosofi hoo e batlang e tšoana le mehleng ea de Morgan?). Buhl, ehlile, o tšehelitse motsoalle? mme ka 1847 o ile a ngola bukanyana e nang le sehlooho se reng. Tlhaloso ena ke ea bohlokoa.
De Morgan o ananetse mosebetsi ona. Likhoeli tse 'maloa ka mor'a hore e lokolloe, o ile a utloa ka boprofesa bo neng bo se na motho Kolecheng ea King's College e sa tsoa thehoa, Univesithi ea Cork e Ireland. Buhl o ile a hlōlisana bakeng sa boemo empa a tlosoa 'me tlhōlisano ha ea lumelloa. Ka mor’a nako e itseng, motsoalle oa hae o ile a mo thusa ka tšehetso ea hae? mme Boole, leha ho le jwalo, o ile a fumana modulasetulo wa dipalo yunibesithing ena; ho se be le thuto ea thuto ea lipalo ho hang kapa lefapheng lefe kapa lefe?
Lilemo tse 'maloa hamorao, pale e tšoanang e ile ea etsahala ho motho oa habo rona ea khabane Stefan Banach. Ka lehlakoreng le leng, lithuto tsa hae pele a kenela boprofesa Lviv li ne li lekanyelitsoe ho baithuti ba pele le semesetara e le 'ngoe ea polytechnic?
Empa khutlela ho booleans. Ha a atolosa mehopolo ea hae ho tloha monograph ea pele, o ile a hatisa ka 1854 mosebetsi oa hae o tummeng le oa kajeno oa khale? (sehlooho, tumellanong le feshene ea nako eo, se ne se le telele haholo). Mosebetsing ona, Boolev o bontšitse hore mokhoa oa ho beha mabaka ka mokhoa o utloahalang o ka fokotsoa ho ba o bonolo? leha u sebelisa lipalo tse makatsang (binary!)? Litlaleho. Lilemo tse makholo a mabeli pele ho eena, Leibniz e moholo o ne a e-na le khopolo e tšoanang, empa titan ena ea monahano e ne e se na nako ea ho phetha taba ena.
Empa ke mang ea nahanang hore lefats'e le ile la oela ka mangole pele ho mosebetsi oa Boole le ho hlolloa ke botebo ba kelello ea hae? eseng hantle. Le hoja Boole e ne e se e ntse e le setho sa Royal Academy ho tloha ka 1857 hape e le setsebi sa lipalo se hlomphuoang haholo le se tummeng, mehopolo ea hae e utloahalang e ne e le khale e nkoa e le lintho tsa bohlokoa tse sa reng letho. Ha e le hantle, e bile ka 1910 moo bo-ramahlale ba hloahloa ba Brithani Bertrand Russell i Alfred North Whitehead, ka ho hatisa moqolo oa pele oa mosebetsi oa bona o khanyang (), ba bontšitse hore likhopolo tsa Boolean - mme ha li na kamano ea bohlokoa feela le logic? empa leha ho le joalo ho na le logics. Ka ntle ho mehopolo ea George Boole, na logic ea khale e bonolo? ka ho feteletsa litaba? ha e yo ho hang. Aristotle, setsebi sa khale sa ho beha mabaka, e ile ea e-ba bohelehele feela ba histori letsatsing la khatiso.
Ka tsela, boitsebiso bo bong bo thahasellisang: hoo e ka bang halofo ea lekholo hamorao, likhopolo tsohle tsa mafura li 'nile tsa pakoa ka hloko ke Boolean calculus ka lilemo tse ngata? ka metsotso e robeli ho ile ha fumaneha hore ke k'homphieutha e seng matla hakaalo, e hlophisitsoeng ka bokhabane ke setsebi sa Lechaena sa Amerika Wang Hao.
Ha e le hantle, Boole o ne a e-na le lehlohonolo: haeba a ne a ka liha Aristotle teroneng makholo a mararo a fetileng, a ka be a chesitsoe thupeng.
'Me joale ho ile ha fumaneha hore ho thoeng ke li-algebra tsa Boolean? sena ha se feela sebaka sa bohlokoa haholo le se ruileng sa lipalo, se ntseng se tsoela pele le kajeno, empa hape ke motheo o utloahalang oa kaho ea mechini ea lipalo. Ho feta moo, likhopolo tsa Boolean, ntle le liphetoho leha e le life, ha li sebetse feela ho logic, moo li hlalosang mokhoa oa khale oa tlhahiso-leseling, empa hape le ho palo ea binary (ka mokhoa oa palo o sebelisang linomoro tse peli feela - zero le e le 'ngoe, e leng motheo oa lipalo tsa k'homphieutha. ), empa li boetse li sebelisoa khopolong e behiloeng e ntlafalitsoeng hamorao. Hoa fumaneha hore khopolong ena lelapa la li-subsets tsa sete leha e le sefe li ka nkoa e le algebra ea Boolean.
boleng ba boolean? ho joang de morgan? o ne a kula. Hape ha re bue 'nete hore o ne a sa tsotelle bophelo bona ho hang: o ne a sebetsa ka thata le ka thata haholo, mme o ne a sebetsa ka thata haholo. La 24 October, 1864, o ne a tla fana ka puo neng? O ne a le metsi haholo. Kaha o ne a sa batle ho liehisa litlelase, ha aa ka a fetoha kapa hona ho hlobola. Phello e ile ea e-ba sefuba se seholo, pneumonia, le lefu likhoeli tse seng kae hamorao. O shoele a le lilemo li 49 feela.
Boole o ne a nyetse Mary Everest, morali oa mofuputsi ea tummeng oa Lebrithani le setsebi sa jeokrafi (e, e, ea tsoang thabeng e phahameng ka ho fetisisa lefatšeng) lilemo tse 17 e le monyenyane oa hae. Lerato? e ile ea fella ka lenyalo le atlehileng haholo? qala ka? ho ruta ka li-acoustics tse fanoang ke rasaense ho ngoanana e monyane e motle. O ne a e-na le barali ba bahlano le eena, bao ba bararo ba bona ba ileng ba fumana sehlooho se ikhethang: Alice e ile ea e-ba setsebi se seholo sa lipalo, Lucy e ne e le moprofesa oa pele oa k'hemistri Engelane, Ethel Lillian o ile a tsejoa mehleng ea hae e le mongoli.
