Puo ea Bel e ngotsoe ka puo ea Bel.
Ka 1960, John McCarthy o ile a hlalosa Lisp, mofuta o mocha oa puo ea lenaneo. Ke re "mofuta o mocha" hobane Lisp e ne e se puo e ncha feela, empa e le mokhoa o mocha oa ho hlalosa lipuo.
E le ho hlalosa Lisp, o ile a qala ka lipolelo tse nyenyane, mofuta oa axioms, tseo ka nako eo a neng a li sebelisa ho ngola mofetoleli oa puo ka boeona.
E ne e sa ikemisetsa ho hlalosa puo ea lenaneo ka mokhoa o tloaelehileng - puo e sebelisoang ho bolella komporo hore na e etse eng. Mosebetsing oa hae oa 1960, Lisp o ne a utloisisoa e le mohlala o hlophisitsoeng oa computation e tšoanang le Mochini oa Turing. McCarthy ha aa ka a nahana ka ho e sebelisa lik’homphieutheng ho fihlela Steve Russell, seithuti sa hae se fumaneng mangolo, a fana ka tlhahiso ea eona.
Lisp ka 1960 e ne e se na likarolo tse tloaelehileng lipuong tsa lenaneo. Ka mohlala, ho ne ho se na linomoro, liphoso kapa I/O. Kahoo batho ba neng ba sebelisa Lisp e le motheo oa lipuo tse sebelisoang ho hlophisa likhomphutha ba ile ba tlameha ho eketsa likarolo tsena ka bobona. 'Me ba entse sena ka ho lahla mokhoa oa axiomatic.
Ka hona, tsoelo-pele ea Lisp e ile ea tsoela pele ka mekhahlelo e 'meli - le e bonahalang e ikemetse haholo - sethala sa molao, se hlahisitsoeng pampiring ea 1960, le mohato oa ts'ebetsong, oo puo e ileng ea fetoloa le ho atolosoa ho sebetsa ka lik'homphieutha. Mosebetsi o ka sehloohong, haeba o lekantsoe ka palo ea menyetla e kenngoeng ts'ebetsong, o etsahetse sethaleng sa ts'ebetsong. Lisp ho tloha ka 1960, e fetoletsoeng ho Common Lisp, e na le mela e 53 feela. E etsa feela se hlokahalang ho hlalosa lipolelo. Lintho tse ling kaofela li ile tsa kenyelletsoa sethaleng sa ts'ebetsong.
Khopolo ea ka ke hore, ho sa tsotellehe histori ea eona e thata, Lisp e ile ea rua molemo tabeng ea hore tsoelo-pele ea eona e etsahetse ka mekhahlelo e 'meli; hore tšebetso ea pele ea ho hlalosa puo ka ho ngola mofetoleli oa eona ho eona e file Lisp litšobotsi tsa eona tse ntlehali. 'Me haeba ho joalo, ke hobane'ng ha u sa fetele pele?
Bel ke boiteko ba ho araba potso ena: ho thoe'ng haeba, ho e-na le ho tloha sethaleng sa molao ho ea sethaleng sa polao qalong, phetoho ee e entsoe ka morao ka hohle kamoo ho ka khonehang? Haeba u tsoela pele ho sebelisa mokhoa oa axiomatic ho fihlela u e-na le ntho e haufi le puo e feletseng ea lenaneo, u tla hloka li-axioms life, 'me puo e hlahisoang e tla shebahala joang?
Ke batla ho hlaka ka seo Bel e leng sona le seo e seng sona. Leha e na le likarolo tse ngata ho feta McCarthy's 1960 Lisp, Bel e ntse e le sehlahisoa molemong oa eona oa semmuso. Joalo ka Lisp, e hlalositsoeng pampiring ea 1960, ha se puo eo u ka e sebelisang ho hlophisa. Haholo hobane, joalo ka McCarthy's Lisp, ha e tsotelle ka katleho. Ha ke eketsa ho hong ho Bel, ke hlalosa moelelo oa tlatsetso ntle le ho leka ho fana ka ts'ebetsong e sebetsang hantle.
Molelmong oa eng? Ke hobane'ng ha ho atolosa sethala? Karabo e 'ngoe ke ho bona hore na mokhoa oa axiomatic o ka re isa hokae, e leng boikoetliso bo thahasellisang ka bobona. Haeba likhomphutha li ne li le matla joalo ka ha re ka rata hore li be joalo, lipuo li ne li tla shebahala joang?
Empa hape ke lumela hore hoa khoneha ho ngola ts'ebetsong e sebetsang e thehiloeng ho Bel ka ho eketsa lithibelo. Haeba u batla puo e nang le matla a ho itlhalosa, ho hlaka le ho sebetsa hantle, ho ka ba molemo ho qala ka matla a hlalosang le ho hlaka, ebe u eketsa lithibelo, ho e-na le ho ea ka lehlakoreng le leng.
Kahoo haeba u batla ho leka ho ngola ts'ebetsong e thehiloeng ho Bel, tsoela pele. Ke tla ba e mong oa basebelisi ba pele.
Qetellong, ke ile ka hlahisa lintho tse ling ho tsoa lipuong tse fetileng. Mohlomong baqapi ba bona ba e fumane hantle, kapa ba susumetsoa ke lipuo tse neng li sebelisoa pele, ha ke bone karabo e nepahetseng - nako e tla bolela. Ke ile ka boela ka leka hore ke se ke ka suthela hōle le likopano tsa Lisp. Ho bolelang hore haeba u bona ho tloha hole le likopano tsa Lisp, ho ka ba le lebaka la hona.
.
Ke leboha phetolelo: Denis Mitropolsky
PES
Source: www.habr.com