Ole lu'i ole Wolfram S Combinator

Pe a Toe Tusia Mea uma e Tasi Tulafono: Lesona mai le Lu'i a Wolfram S Combinator

I le fa'ai'uga o le 2023, na tu'uina atu ai e Stephen Wolfram se fesili fa'asese faigofie i le nu'u o le matematika fa'akomipiuta: e mafai ea e se tu'ufa'atasi se tasi - le S combinator - ona fa'amaonia e ausia le fa'atusatusaga lautele na'o ia? O le mea na soso'o mai ai o se lu'i fa'alaua'i masina e tosoina ai le au fa'ata'ita'i, tagata fa'akomipiuta, ma inisinia faakomepiuta i se tasi o pu lapiti sili ona matagofie i le poto fa'asaienisi komepiuta. O le S combinator, o loʻo faʻamatalaina e le tulafonoS x y z = x z (y z), e foliga mai e toetoe lava a laʻititi. Ae o lo'o fa'apipi'iina i totonu o le tulafono e tasi le toe tusi e mafai ona fa'ata'ita'i so'o se fa'atusatusaga na faia. E le na'o se tala e uiga i le matematika - ae o se tala e uiga i le mea e tupu pe a e aveese le lavelave i lalo i lona autu e le mafai ona faʻaitiitia ma iloa ai o le faigofie, faʻaoga faʻasolosolo, e avea ma malosiaga e le gata.

O le S Combinator: Fa'afaigofie e pei o se Malosi Sili

Na fa'avae tuto'atasi le manatu fa'atasi e Moses Schönfinkel i le 1920 ma fa'alautele e Haskell Curry i le vaitau o le 1930 e fai ma sui i lambda calculus - o se auala e fa'amatala ai fa'atusatusaga e aunoa ma ni fesuiaiga. O le S combinator o se tasi o vaega faʻavae e lua (faʻatasi ma le K combinator) e manaʻomia mo Turing atoatoa. Pe a na'o le filifilia e K ma lafoa'i, e fai e S se mea e sili atu ona manaia: na te tufatufaina atu se finauga i ni galuega se lua i le taimi e tasi, e mafai ai le ituaiga o fa'aoga-tagata toe fa'afo'i lea e mafai ai ona fai fa'atusatusaga lautele.

O le lu'i a Wolfram na fesiligia fa'apitoa pe na'o S—e aunoa ma K o se soa-e mafai ona fa'atupuina le lavelave e fa'auma ai Turing i lalo o nisi fa'asologa. O le tali, faʻamaonia e tagata fai sao i le lotoifale e ala i suʻesuʻega faʻapitoa ma faʻamaoniga aloaʻia, na faʻaalia: S naʻo ia e le mafai ona ausia le atoatoa o Turing e aunoa ma se faʻaopoopoga faʻapitoa, ae o le suʻesuʻega lava ia na faʻaalia ai le loloto o le mea e mafai ona ausia e le tele o faiga. O tu'utu'uga na fausia mai le S fa'aoga ua fa'alauteleina i amioga e le mafai e se tagata ona va'ai mai na'o le tulafono amata.

O le fa'amatalaga tutotonu lea e fa'alototele ai le lu'i fa'afilosofia nai lo le na'o fa'apitoa fa'apitoa. O le va i le va o se faigafaauigagama lonaamioe mafai ona lautele i le vateatea. Ua ta'ua e Wolfram lea tulaga o le "computational irreducibility" — o le manatu e faapea mo le tele o faiga, e leai se ala pupuu e iloa ai le mea o le a latou faia sei vagana ai le faasolosolo i lea laasaga ma lea laasaga.

Mafaufauga Tu'ufa'atasi ma Le Mea e Taua ai i tua atu o A'oga

O le lu'i a le S combinator e le na'o se fa'amalositino mo le mathematicians. O lo'o fa'amaninoina ai se auala e mafaufau ai e iai a'afiaga loloto mo le fa'atulagaina o faiga, fausaga fa'alapotopotoga, ma fa'agaioiga pisinisi. O le filosofia combinator e fesili: o le a le seti aupito maualalo o gaioiga atomika e mafai ona fatuina ai amioga uma e manaʻomia? O le fesili lea e fesiligia ai e inisinia lelei pe a fauina gagana polokalame, e fesiligia e le au tusiata lelei pe a mamanuina auaunaga laiti, ma e tatau i le aufaipisinisi sili ona fesili pe a fauina a latou faaputuga galuega.

O le tele o fa'alapotopotoga e fa'afeagai. Latou te fa'aputuina mea faigaluega i le auala e fa'aputu ai meaafale i luga o le fale - e tasi le vaega i le taimi, ta'itasi fo'ia se fa'afitauli fa'apitoa, se'ia o'o ina mamafa atoa le aofa'i o ona vaega. E fa'aaogaina e le au fa'atau se CRM. O lo'o maua e le tupe se fa'avae tau pili. HR fa'atau se meafaigaluega totogi. E maua e le pulega o va'a lana lava dashboard. O meafaigaluega taitasi e sili ona lelei i le lotoifale. Fa'atasi, latou te fatuina le mea e ta'ua e le au su'esu'e fa'agaioiga "aitalafu tu'ufa'atasi" — o le tau natia o le fa'aogaina o faiga e le mafai ona fa'apipi'iina e talanoa le tasi i le isi.

O le S combinator e ofoina atu se fa'ata'ita'iga fa'alemafaufau 'ese'ese. Nai lo le fesili "o le a le meafaigaluega e foia ai lenei faʻafitauli?", o le tagata mafaufau faʻapipiʻi e fesili "o a ni gaioiga muamua ou te manaʻomia, ma e faʻapefea ona fatuina e foia soʻo se faʻafitauli ou te feagai?" O le toe fa'avasegaina o le 'ese'esega lea i le va o le fauina o se faaputuga vaifofo ma le fausiaina o se tulaga.

O le a le mea o lo'o a'oa'o mai e le Computation Universal ia i matou e uiga i Module Pisinisi

O le fa'a'ato'atoa i le fa'asaienisi komipiuta o lona uiga e mafai e se faiga ona fa'atusa so'o se isi faiga fa'akomepiuta e lava le taimi ma le manatua. I faaupuga faapisinisi, o le manatu tutusa o le atoatoaga o le faagaoioiga - o le gafatia o se tulaga e taulimaina soʻo se galuega e ono manaʻomia e se pisinisi, ae le o se lisi o loʻo tuputupu aʻe o foliga faʻapipiʻi, ae e ala i modules e mafai ona tuʻufaʻatasia e fefaʻasoaaʻi faʻamatalaga, faʻamatalaga, ma manatu i le tulaga faavae.

"O faiga e sili ona mamana e le o ni mea e sili ona tele - o mea ia e fatuina ai foliga. O le lavelave e alia'e mai le faigofie, ma le fa'atulagaina lelei, e sili atu ona malosi nai lo lavelave na fuafuaina mai le amataga."

E taua tele lenei eseesega i le faatinoga. O se fa'avae e tu'ufa'atasia moni ai modules o lona uiga o lau fa'amaumauga CRM o lo'o tafe fa'anatura i totonu o lau faiga fa'akomupiuta, lea e fafaga ai lau au'ili'ili dashboard, lea e logoina ai au fuafuaga a le HR. O faʻamaumauga e le manaʻomia ona auina atu i fafo, suia, ma toe faʻaulufale mai. O le fa'asinomaga o se tagata fa'atau o le mea lava lea e tasi pe o e va'ai i ai mai le fa'atauga fa'atau, le faiga o fa'amaumauga, po'o le lisi o totogi. O le mamanu tu'ufa'atasi lea - ma o le mea lea e tu'u 'ese'ese ai se faiga fa'apisinisi moni mai le fa'aputuga polokalame.

Mewayz o lo'o fausia fa'ata'atia tonu lava i lenei ta'iala. Faatasi ai ma le 207 modules spanning CRM, invoicing, payroll, HR, fleet management, analytics, link-in-bio tools, ma booking systems, o le fausaga e sili atu i le 138,000 tagata faʻaoga i le lalolagi atoa e le o le ofoina atu o le tele o foliga, ae ala i le faʻamautinoaina o na foliga o loʻo faʻaogaina mai faʻamatalaga muamua - faʻataʻitaʻiga faʻamaumauga tuʻufaʻatasi, pulega faʻasinomaga faifaipea, ma le faʻaogaina o pisinisi e leai se faʻaogaina o masini e fausia ai se tasi o mea faigaluega. fa'ata'atia manino.

O le Luʻitau o Faʻamaoniga: Aisea e Tatau ai ona Maua le Lavelave

O se tasi o itu sili ona a'oa'oina o le Wolfram S Combinator Challenge o le faigata na fa'amaonia ai le fa'amaonia e o'o lava i fa'amatalaga faigofie. Na fa'aogaina e le au fai sao a le nu'u le fa'ata'ita'i fa'ata'ita'i, fa'asologa o taimi fa'aleaogaina, ma ta'iala e toe tusi ai tala. O le tele o auala na foliga mai e lelei na foliga mai e matua sese. O le uiga lea o faiga e sili ona tu'ufa'atasia: o a latou amio i le fua e matua faigata lava ona va'ai mai na'o latou tulafono.

Mo pisinisi, o lo'o fa'afanua lenei i se tulaga tiga masani: su'ega tu'ufa'atasi. A iai sau faiga e sefulu e fa'aoga sa'o ta'itasi, e le mafai ona e manatu o le a sa'o a latou fegalegaleaiga. Ta'itasi fou tu'ufa'atasiga fa'atele e fa'ateleina ai le malosi mo amioga e le'i fa'amoemoeina. O le mea lea e fa'atupula'ia ai le aofa'i o feso'ota'iga i totonu o fa'aputuga fa'akomepiuta fa'apitoa tau atina'e fa'atasi ma le aofa'i o mea faigaluega - ma le mafua'aga e sili atu ai le tau tu'ufa'atasiga i tau o laisene i fa'alapotopotoga tetele.

O le fofo o lo'o fa'asino i ai le lu'i tu'ufa'atasi e le o le tele o su'ega i le vaega tu'ufa'atasi, ae fa'aitiitia le tu'ufa'atasiga e amata ai. Pe a fa'asoa e modules se mea e masani ai, e pulea a latou fegalegaleaiga i tulafono tutusa e pulea ai a latou amio. E leai ni fa'aliliuga e fa'aletonu, leai ni konekarate API e motusia, leai se fa'ata'ita'iga e le fetaui e debug i le 2 i le taeao a'o le'i faia se fa'aaliga a le komiti.

A'afiaga Fa'atino: Fausiaina o Lau Pisinisi i luga o Fa'amatalaga Tulaga Fa'atasi

E fa'afefea ona fa'aogaina e se pisinisi mafaufauga fa'atasi i le fa'atinoga? O ta'iala autu nei e alia'e mai le lu'i a le S combinator pe a fa'aliliu i le ta'iala fa'atino:

• Fa'ailoa muamua au mea muamua. A'o le'i filifilia mea faigaluega, fa'afanua au fa'amaumauga autu - tagata fa'atau, fefa'ataua'iga, tagata faigaluega, aseta, taimi - ma fa'amautinoa so'o se fa'avae e te fa'aaogaina e fa'aogaina nei mea o ni vaega muamua, fa'asoa fa'atasi nai lo fa'amaumauga fa'alotoifale.
• E sili le loloto nai lo le lautele i le amataga o meafaigaluega. O se faʻavae e faia lelei mea e sefulu mai se faʻavae fefaʻasoaaʻi e sili atu lona taua nai lo le luasefulu meafaigaluega faʻapitoa e faia e le tasi le mea faʻapitoa ae e le mafai ona vaʻaia e le tasi faʻamatalaga.
• Su'esu'e le fa'atulagaina, e le na'o foliga. Pe a su'esu'eina polokalama fa'apisinisi, o le fesili e le o le "pe o iai le vaega X i le module A?" ae "pe a ou faʻaoga faʻatasi modules A ma B, e sili atu le amio a le faiga nai lo naʻo ia?"
• Ta'ita'i le otometi e pei o se fatuga. O masini e sili ona mamana i totonu o se fausaga fa'apipi'i e le o ni fa'amaumauga po'o ni tu'ufa'atasiga — o so'o galuega e fa'asolo fa'atasi ai amioga, e fa'ataga ai se fa'ailoga e fa'atupuina ai se fa'afouga CRM e fa'aosoina ai se pili e fa'aoso ai le fa'aofiina o totogi, uma e aunoa ma se fa'atonuga a le lima po'o se fa'asologa masani.
• Paketeti mo le tula'i mai. O faiga fa'apipi'i o le a faia mea e te le'i fuafuaina i ai - ma o se fa'aaliga lena, ae le o se bug. Tu'u le avanoa i au fa'agaioiga mo le su'esu'eina o fa'agasolo galuega e mafai e le fa'avae ae leai se tasi na fa'atulaga manino.

E le mafai ona fa'aitiitia le fa'afuainumera i Fa'agaioiga: Fa'afeiloa'i mea e le mafai ona e va'ai

O le manatu o Wolfram e uiga i le le mafai ona fa'aogaina fa'akomepiuta o lo'o i ai se fa'atonuga fa'atino sa'o: o nisi fa'ai'uga pisinisi e le mafai ona va'ai mai fa'avae muamua - e tatau ona fa'atino. E le o se faaletonu o fuafuaga; ose meatotino o faiga fa'afetaui lavelave. O maketi e amio fa'apenei. E fa'apea le amio a tagata fa'atau. E mautinoa lava e fa'apea le fa'atinoina o fa'alapotopotoga.

O pisinisi e sili ona tauivi ma lenei mea moni, o pisinisi ia na fausia ni fa'aputuga malō, ma'ale'ale. Pe a faigata-fa'ailoga galuega uma i totonu o se meafaigaluega fa'apitoa, fetuutuunai i le fa'atusatusaina o le fa'atusatusaina - i le le mautinoa moni o tulaga pisinisi moni - e mana'omia ai le toe fa'atinoina taugata. Pe a fai fa'agasolo galuega mai fa'amuamua fetu'utu'una'i, o le fetuutuuna'iga e masani lava o se mataupu o le toe fa'atulagaina o fatuga nai lo le toe fa'aleleia mai le maoa'e.

O le mea lea e le na'o le fa'agaioia o fa'agaioiga fa'apitoa fa'atasi ai ma le fa'aogaina moni - e fa'atumauina lelei. O se pisinisi o lo'o fa'agaoioia i luga o le 138,000 tagata fa'aoga o le fa'aputuina o fa'ata'ita'iga atamai, e pei ona faia e Mewayz, o lo'o fa'aauau pea ona maua ni fatuga fou e aoga. O lena atamai tu'ufa'atasia e tu'ufa'atasia i ni auala e le mafai ona fa'amoemoeina e se tasi tagata fa'atau i totonu.

The Frontier: Le Mea e Fa'atasi ai Combinators ma AI

Na fa'ai'u le lu'i a le S combinator o se lesona i tapula'a o faiga laiti - ae fa'apea fo'i o se fa'ata'ita'iga o le mamao e mafai ona tuleia na tapula'a. O le isi pito i tua i le poto fa'asaienisi faakomepiuta ma fa'agaioiga pisinisi fa'atino, o le feso'ota'iga lea o faiga tu'ufa'atasia ma le a'oa'oina o masini: fa'avae e le gata e fa'atupu galuega, ae a'oa'o po'o fea fatuga e sili ona lelei ma fautua mai mea fou i latou fa'aoga.

Va'ai faalemafaufau i se pisinisi OS o lo'o va'aia po'o fea tu'ufa'atasiga o module e fetaui ma le fa'atupulaia o tupe maua, fa'atumauina o tagata fa'atau, po'o le lelei o le fa'agaioiga, ma fa'ailoa fa'agasolo na fa'ata'ita'iga i kamupani e le'i mauaina. E le'o se tala fatu fa'asaienisi - o le fa'alenatura fa'ale-aganu'u o se fa'avae fa'atasi ai ma loloto fa'amaumauga fa'atasi ma lava le fua. Pe a fa'agaioi uma lau CRM, pili, au'ili'ili, HR, ma va'a fa'afoe mai fa'amatalaga fa'asoa muamua, o le vaega o le AI o lo'o i ai se va'aiga tu'ufa'atasi o lau pisinisi e leai se fa'apipi'i o meafaigaluega tu'ufa'atasi e mafai ona fetaui.

O le S combinator o loʻo aʻoaʻo mai ia i tatou o le lavelave sili ona loloto e le manaʻomia se faletusi e le gata o tulafono. E manaʻomia ai le saʻo muamua, faʻaaogaina ma le amio pulea ma mafaufauga. Mo pisinisi o lo'o fa'atautaia le 2025 mana'oga fa'agaioiga - fa'afoeina 'au tufatufa, tagata fa'atau i le lalolagi, fa'ata'ita'iga o tupe maua fa'atosina, ma fa'amoemoega fa'ata'ita'i taimi moni - o le fa'avae e manumalo e le o se lisi pito sili ona umi. O le mea na fausia, e pei o S lava ia, i luga o le malamalama matagofie o mea uma e manaia e aliaʻe mai le fatuga.

O le lu'i a Wolfram e foliga mai e uiga i le matematika. Ae o lona a'oa'oga pito sili ona loloto e a'oa'oina e so'o se tasi faiga faufale e fa'amoemoe e tumau: amata i le seti aupito itiiti o mea e fatu fa'amaoni, ma fa'atuatuaina o le lavelave o le a fa'afoeina ia lava.

Fesili e Fai soo

O le a le S combinator ma aisea e taua ai mo faʻamatalaga faʻapitoa?

O le S combinator, fa'amatala e le tulafono S x y z = x z (y z), o se tasi lea o fa'avae faufale fa'avae o le fa'aogaina fa'atasi fa'atasi ma le K combinator. O lona taua o lo'o taoto i lona la'ititi - e mafai ona fa'aalia so'o se galuega fa'atatau pe a tu'u fa'atasi ma le K, ma avea ai ma maatulimanu o lambda calculus, polokalame fa'atino, ma le manatu lautele o fa'atusatusaga lautele.

O le a tonu le lu'i a le Wolfram S Combinator na fai atu i tagata auai e fa'amaonia?

Na lu'iina e Stephen Wolfram le fa'alapotopotoga e fa'amaonia aloa'ia o le S combinator na'o ia - e aunoa ma lana paaga masani K - o Turing-maea. Ole fa'avae SK ua leva ona fa'amaonia lautele, ae ole tu'u'ese'ese ole S e na'o le mea muamua e mana'omia ai ni ta'iala fou fa'amaonia. Sa su'esu'e e i latou na auai pe mafai e le fa'aogaina e le tagata lava ia o le S ona fa'ata'ita'i fua fa'atatau, fa'atosinaina o tagata fa'atauva'a, fa'ata'ita'i fa'ailoga, ma fa'aautometi fa'ata'ita'i fa'ata'ita'iga i le lalolagi atoa.

E fa'afefea ona fa'afeso'ota'i fa'amatalaga mai fa'amatalaga tu'ufa'atasi i fa'apolokalame faakomepiuta i le lalolagi moni?

O fa'amaoniga fa'apenei e fa'alolotoina ai lo tatou malamalama i mea e mana'omia e le fa'atulagaina - o fa'amatalaga e fa'afefeteina i le fa'apipi'iina o le mamanu, fa'asologa o ituaiga, ma le fa'aogaina lelei o le gagana. E oo lava i se oloa e pei o Mewayz, o se 207-module pisinisi OS o loʻo maua i le app.mewayz.com mo le $19/mo, e iu lava ina faʻaogaina i luga o faʻasologa o mea faʻapipiʻi e mauaʻa i mataupu faavae o faʻatusatusaga tutusa o le S combinator luʻi na faʻatulagaina e faʻatulafonoina.

O fea e mafai ona ou alu i ai e mulimuli ai i lu'itau faifaipea i le poto fa'asaienisi komepiuta?

O pito sili ona lelei e amata ai e aofia ai tusi muamua a le Wolfram o lu'itau, tusitusiga fa'alea'oa'oga ile lambda calculus, ma nu'u pei ole Lisi meli Fa'avae ole Matematika. Mo le fa'atulagaina o au su'esu'ega po'o le fa'afoeina o se pisinisi fa'aa'oa'oga fa'apitoa, ua ofoina atu e Mewayz se 207-module pisinisi OS i le $19/mo — asiasi i le app.mewayz.com e su'esu'e ai meafaigaluega ua fausia e fa'atautaia ai mea uma mai le fa'asalalauga fa'asalalau i le pulega o tagata.