Kalubalen Haɗin Wolfram S

Lokacin da Doka ɗaya ta sake rubuta komai: Darussa daga Kalubalen Haɗin Wolfram S

A ƙarshen 2023, Stephen Wolfram ya gabatar da wata tambaya mai sauƙi ta yaudara ga al'ummar lissafin lissafi: shin za a iya tabbatar da mai haɗa guda ɗaya - mai haɗa S - don cimma lissafin duniya gaba ɗaya da kansa? Abin da ya biyo baya shi ne ƙalubalen buɗe ido na tsawon watanni wanda ya jawo masu fasahar cryptographers, ƙwararru, da injiniyoyin software zuwa ɗayan mafi kyawun ramukan zomo a cikin ilimin kimiyyar kwamfuta. Mai haɗa S, wanda aka ayyana ta hanyar ƙa'ida ta S x y z = x z (y z), ya yi kama da abin dariya kaɗan. Amma duk da haka an haɗa cikin waccan ƙa'idar sake rubutawa ɗaya shine yuwuwar kwaikwayi duk wani lissafin da aka taɓa ɗauka. Wannan ba labari ba ne game da ilimin lissafi kawai - labari ne game da abin da ke faruwa lokacin da kuka cire hadaddun har zuwa ainihin sa ba za ku iya ragewa ba kuma ku gano cewa sauƙi, ana amfani da shi akai-akai, ya zama iko marar iyaka.

S Combinator: Sauƙi a matsayin Mai Girma Musa Schönfinkel ne ya ƙirƙira dabarun haɗaka da kansa a cikin 1920 kuma Haskell Curry ya haɓaka a cikin 1930s a matsayin madadin lissafin lambda - hanyar kwatanta ƙididdiga ba tare da masu canji ba. Mai haɗa S shine ɗayan tushen tushe guda biyu (tare da mai haɗa K) da ake buƙata don cikar Turing. Inda K ya zaɓi kawai ya watsar, S yana yin wani abu mafi ban sha'awa: yana rarraba gardama a kan ayyuka guda biyu lokaci guda, yana ba da damar nau'in aikace-aikacen kai-da-kai wanda ke ba da damar lissafin duniya.

Kalubalen Wolfram na musamman ya tambaya ko S kadai - ba tare da ma K a matsayin abokin tarayya ba - zai iya haifar da isasshiyar hadaddun don zama Turing cikakke a ƙarƙashin wasu ɓoyewa. Amsar, wanda masu ba da gudummawar al'umma suka tabbatar ta hanyar bincike mai zurfi da tabbataccen hujja, ta kasance mai ban mamaki: S kadai ba zai iya cimma cikakkiyar Turing ba tare da wasu ƙarin abubuwan da suka dace ba, amma tsarin binciken da kansa ya bayyana zurfin ban mamaki a cikin abin da mafi ƙarancin tsarin zai iya cim ma. Sharuɗɗan da aka gina zalla daga aikace-aikacen S sun faɗaɗa zuwa ɗabi'un da babu wani ɗan adam da zai iya hangowa daga ƙa'idar farawa kaɗai.

Wannan ita ce fahimtar ta tsakiya wacce ta sa ƙalubalen ya yi zurfi a falsafa fiye da fasaha kawai. Tazarar da ke tsakanin tsarin ma'anar da halayensa na iya zama mai faɗi a sararin samaniya. Wolfram ya kira wannan al'amari "rashin aikin lissafi" - ra'ayin cewa ga tsarin da yawa, babu wata gajeriyar hanya don sanin abin da za su yi sai tafiyar da su mataki-mataki.

Tunanin Haɗuwa da Me yasa yake da Muhimmanci Bayan Ilimi

Kalubalen S Combinator ba kawai motsa jiki ba ne ga masu ilimin lissafi. Yana haskaka hanyar tunani wanda ke da tasiri mai zurfi don ƙirar tsarin, gine-ginen ƙungiya, da ayyukan kasuwanci. Falsafar mai haɗawa tana tambaya: menene mafi ƙarancin tsarin ayyukan atomic wanda za a iya haɗa dukkan halayen da ake so? Wannan ita ce tambayar da manyan injiniyoyi ke yi yayin gina harsunan shirye-shirye, manyan masu gine-ginen ke yin tambaya lokacin zayyana microservices, kuma manyan masu gudanar da kasuwanci ya kamata su yi lokacin gina tari na aiki.

Yawancin kungiyoyi suna yin akasin haka. Suna tara kayan aiki kamar yadda masu ɗaki ke tara kayan ɗaki - guda ɗaya a lokaci guda, kowanne yana magance takamaiman matsala, har sai gabaɗayan ya zama nauyi fiye da jimlar sassansa. Ƙungiyar tallace-tallace ta ɗauki CRM. Kudi yana ɗaukar dandamalin lissafin kuɗi. HR yana siyan kayan aikin biyan kuɗi. Gudanar da Fleet yana samun nasa gaban dashboard. Kowane kayan aiki yana da kyau a gida. Tare, suna ƙirƙirar abin da masu bincike na ayyuka ke kira "bashin haɗin kai" - ƙimar ɓoye na yin tsarin da ba za a iya haɗawa da juna ba.

Mai haɗa S yana ba da samfurin tunani na daban. Maimakon tambayar "wane kayan aiki ne ke magance wannan matsala?", mai tunani mai haɗawa ya tambayi "menene ayyukan farko da nake bukata, kuma ta yaya za a iya hada su don magance kowace matsala da na ci karo?" Wannan sake fasalin shine bambanci tsakanin gina tulin mafita da gina dandamali.

Abin da Ƙididdigar Duniya ke Koyar da Mu Game da Modulolin Kasuwanci

Turing cikar ilimin kwamfuta yana nufin tsarin zai iya kwaikwayi duk wani tsarin lissafin da aka ba shi isasshen lokaci da ƙwaƙwalwa. A cikin sharuɗɗan kasuwanci, ma'anar kwatankwacin ita ce cikar aiki - ikon dandamali don gudanar da duk wani aiki na kasuwanci da kasuwanci zai iya buƙata, ba ta hanyar jerin abubuwan da ke tasowa ba, amma ta hanyar ƙirar ƙira na gaske waɗanda ke raba bayanai, ainihi, da dabaru a matakin tushe.

"Mafi kyawun tsarin ba shine mafi kyawun fasali ba - su ne inda fasalin ke tsarawa. Haɗin da ke fitowa daga sassauƙa, tsararrun primitives koyaushe yana da ƙarfi fiye da sarƙaƙƙiya waɗanda aka tsara tun farko."

Wannan bambance-bambance yana da mahimmanci a aikace. Dandali inda keɓaɓɓun keɓaɓɓun ke tsarawa yana nufin cewa bayanan CRM ɗinku suna gudana ta zahiri cikin tsarin daftarin ku, wanda ke ciyar da dashboard ɗin nazarin ku, wanda ke sanar da shirin ku na HR. Bayanan baya buƙatar fitarwa, canza su, da sake shigo da su. Asalin abokin ciniki abu ɗaya ne ko kana duban sa daga tsarin tallace-tallace, tsarin ajiyar kuɗi, ko lissafin biyan kuɗi. Wannan ƙirar ƙira ce - kuma shine abin da ke raba tsarin aiki na kasuwanci na gaskiya daga tarin software.

An gina Mewayz a daidai wannan ka'ida. Tare da nau'ikan nau'ikan 207 waɗanda ke da alaƙa da CRM, daftari, biyan kuɗi, HR, sarrafa jiragen ruwa, nazari, kayan aikin haɗin-in-bio, da tsarin yin rajista, dandamali yana ba da sabis sama da masu amfani da 138,000 a duk duniya ba ta hanyar ba da mafi yawan fasalulluka ba, amma ta hanyar tabbatar da waɗannan fasalulluka suna aiki daga manyan abubuwan da aka raba - samfuran haɗin gwiwar bayanai, daidaitaccen tsarin sarrafa asali, da haɓaka kasuwancin da ba za a iya sarrafa su ba. an tsara shi sarai.

Ƙalubalen Hujja: Me yasa Dole ne a Sami Rikici

Daya daga cikin mafi kyawun abubuwan koyarwa na Wolfram S Combinator Challenge shine yadda wahalar ta tabbata don tabbatar da da'awar da alama. Masu ba da gudummawar al'umma sun yi amfani da ƙa'idodin ƙa'idodi masu sarrafa kansu, ƙidayar ƙidayar lokaci, da dabarun sake rubuta labari. Hanyoyi da yawa waɗanda suka yi kama da alƙawarin sun zama kuskure a hankali. Wannan sifa ce ta tsarin tsararru sosai: halayensu a sikelin yana da wuyar ganewa daga ƙa'idodin su kaɗai.

Ga 'yan kasuwa, wannan taswirori zuwa sanannen wurin ciwo: gwajin haɗin kai. Lokacin da kuke da tsarin goma waɗanda kowannensu ke aiki daidai a keɓe, ba za ku iya ɗauka cewa hulɗar su zata yi daidai ba. Kowane sabon wurin haɗin kai yana ninka yuwuwar halayen da ba a zata ba. Wannan shine dalilin da ya sa adadin haɗin kai a cikin tarin software na kamfani na yau da kullun yana girma da adadin kayan aiki - kuma dalilin da yasa farashin haɗin kai ya wuce farashin lasisi a cikin manyan ƙungiyoyi.

Maganin ƙalubalen mai haɗawa yana nuni zuwa ga ba ƙarin gwaji ba ne a layin haɗin kai, amma ƙasa da saman haɗin kai don farawa da. Lokacin da keɓaɓɓun keɓancewa suna raba ma'auni na gama gari, hulɗar su tana ƙarƙashin ƙa'idodi iri ɗaya waɗanda ke tafiyar da halayensu ɗaya. Babu fassarar fassarar da za a yi kuskure, babu kwangilar API da za ta karye, babu kuskuren tsarin da za a yi gyara a karfe 2 na safe kafin gabatarwar allo.

Abubuwan Aiki: Gina Kasuwancin ku akan Abubuwan Haɗaɗɗen Mahimmanci

Ta yaya kasuwanci ke aiwatar da tunanin mai haɗawa a aikace? Anan akwai mahimman ƙa'idodin da suka fito daga ƙalubalen S combinator lokacin da aka fassara su zuwa dabarun aiki:

• Gano abubuwan farko na farko.
• Ka fifita zurfin zurfi a farkon kayan aiki.Tsarin da ke yin abubuwa goma da kyau daga tushe guda ɗaya ya fi kima fiye da kayan aikin musamman guda ashirin waɗanda kowannensu ke yin abu ɗaya na musamman amma ba sa iya ganin bayanan juna.
• Gwaji iya haɗawa, ba kawai fasali ba. amma "lokacin da na yi amfani da modules A da B tare, shin tsarin yana da kyau fiye da ko dai shi kaɗai?"
• Bi da aiki da kai a matsayin abun da ke ciki. Mafi ƙarfi na atomatik a cikin dandali mai haɗawa ba rubutun ko haɗin kai ba ne - su ne ayyukan aiki waɗanda ke haɗa halayen sarkar, barin taron yin rajista ya haifar da sabuntawar CRM wanda ke haifar da daftari wanda ke haifar da shigarwar albashi, duk ba tare da sa hannun hannu ko lambar al'ada ba.
• Kasafin Kudi don fitowa. Ku bar wuri a cikin ayyukanku don gano hanyoyin aiki waɗanda dandamali ke ba da damar amma ba wanda ya ƙirƙira a sarari.

Rashin ƙididdigewa a cikin Ayyuka: Rungumar abin da ba za ku iya tsinkaya ba

Ma'anar Wolfram na rashin aikin lissafi yana da tsarin aiki kai tsaye: wasu sakamakon kasuwanci ba za a iya annabta daga ka'idodin farko ba - dole ne a gudanar da su. Wannan ba gazawar tsarawa ba ce; dukiya ce ta hadadden tsarin daidaitawa. Kasuwanni suna yin haka. Abokan hulɗa suna yin wannan hanya. Haƙiƙa ƙwaƙƙwaran ƙungiyoyi suna yin haka.

Kasuwancin da suka fi kokawa da wannan gaskiyar su ne waɗanda suka gina tsattsauran ra'ayi na aiki. Lokacin da kowane aikin aiki yana da wuyar ƙididdigewa a cikin takamaiman kayan aiki, daidaitawa ga rashin daidaituwar lissafi - zuwa ainihin rashin tabbas na yanayin kasuwanci na gaske - yana buƙatar sake aiwatarwa mai tsada. Lokacin da aka haɗa ayyukan aiki daga sassauƙan primitives, daidaitawa sau da yawa batun sake saita abun da ke ciki maimakon sake ginawa daga karce.

Wannan shine dalilin da ya sa dandamali na zamani tare da ingantacciyar haɓakawa ba kawai dacewa da aiki ba - suna da juriya da dabara. Kasuwancin da ke gudana akan ƙimar masu amfani da 138,000 na tara bayanan dandali, kamar yadda Mewayz ke yi, yana ci gaba da gano sabbin abubuwan ƙira waɗanda ke aiki. Wannan haɗin kai na haɗe-haɗe ne ta hanyoyin da babu tsarin cikin gida ɗaya na abokin ciniki da zai iya tsammani.

The Frontier: Inda Combinators da AI Haɗuwa

Kalubalen mai haɗa S ya ƙare a matsayin darasi a cikin iyakokin ƙananan tsarin - amma kuma a matsayin nuni na yadda za a iya tura iyakokin. Iyaka ta gaba a cikin ilimin kimiyyar kwamfuta na ka'idar da kuma ayyukan kasuwanci mai amfani shine haɗuwa da tsarin haɗin gwiwa tare da koyon injin: dandamali waɗanda ba kawai tsara ayyuka ba, amma koyan waɗanne abubuwan ƙirƙira ne suka fi tasiri kuma suna ba da shawarar sababbi ga masu amfani da su.

Ka yi tunanin OS na kasuwanci wanda ke lura da waɗanne tsarin haɗin gwiwar ke da alaƙa da haɓakar kudaden shiga, riƙe abokin ciniki, ko ingantaccen aiki, kuma a faɗaɗa waɗancan alamu ga masu aiki waɗanda ba su gano su ba tukuna. Wannan ba almarar kimiyya ba ne - juyin halitta ne na dandamali tare da haɗakar bayanai mai zurfi da isasshen ma'auni. Lokacin da CRM ɗin ku, daftari, nazari, HR, da na'urorin sarrafa jiragen ruwa duk suna aiki daga tushen bayanan da aka raba, layin AI yana da haɗe-haɗen ra'ayi game da kasuwancin ku wanda babu facin kayan aikin haɗin gwiwa da zai iya daidaitawa.

Mai haɗakar S yana koya mana cewa mafi girman rikitarwa baya buƙatar ɗakin karatu mara iyaka na dokoki. Yana buƙatar abubuwan da suka dace, waɗanda aka yi amfani da su tare da horo da tunani. Don kasuwancin da ke bibiyar buƙatun aiki na 2025 - sarrafa ƙungiyoyin da aka rarraba, abokan cinikin duniya, samfuran kuɗaɗen shiga, da tsammanin nazari na ainihi - dandamalin da ya ci nasara ba shine wanda ke da jerin fasali mafi tsayi ba. Ita ce wacce aka gina, kamar S kanta, akan kyakkyawar fahimta cewa duk abin da ke da ban sha'awa yana fitowa daga abun da aka tsara.

Kalubalen da Wolfram ya gabatar a zahiri game da lissafi ne. Amma mafi zurfin darasinsa na duk wani tsarin gine-gine da ake nufin ya dawwama:fara da mafi ƙanƙanta abubuwan da ke tattare da gaske, kuma a amince cewa sarƙaƙƙiya za ta kula da kanta.

Tambayoyin da ake yawan yi

Mene ne mai haɗa S kuma me yasa yake da mahimmanci ga ƙididdigar ka'idar?

Mai haɗa S, wanda aka ayyana ta hanyar ƙa'idar S x y z = x z (y z), ɗaya ne daga cikin mahimman tubalan ginin haɗin kai tare da mai haɗa K. Muhimmancinsa ya ta'allaka ne a cikin ƙarancinsa - yana iya bayyana duk wani aikin da za a iya ƙididdige shi idan aka haɗa shi da K, yana mai da shi ginshiƙin lissafin lambda, shirye-shiryen aiki, da babban ka'idar lissafin duniya.

Mene ne ainihin Kalubalen Haɗin Wolfram S yana tambayar mahalarta su tabbatar?

Stephen Wolfram ya kalubalanci al'umma da su tabbatar da cewa mai hada S shi kadai - ba tare da abokin tarayya na gargajiya K ba - Turing-cikakke. Madaidaicin tushen SK ya daɗe an tabbatar da shi a duniya, amma ware S a matsayin na farko na farko yana buƙatar sabbin dabarun tabbatarwa gaba ɗaya. Mahalarta sun bincika ko aikace-aikacen kai na S zai iya kwaikwayi ƙididdige ƙididdigewa ba bisa ƙa'ida ba, jawo hankalin ƙwararrun masana, nau'ikan masanan, da masu sha'awar ka'idar mai sarrafa kansa a duk duniya.

Ta yaya abubuwan fahimta daga mahaɗan dabaru ke haɗawa da dandamali na software na ainihi?

Hujjoji irin wannan suna zurfafa fahimtarmu game da cikakkun mafi ƙarancin buƙatun ƙididdiga - fahimtar da ke tattare da ƙira, nau'in ka'idar, da haɓaka harshe mai aiki. Ko da samfuri kamar Mewayz, OS ɗin kasuwanci-module 207 da ake samu a app.mewayz.com akan $19/mo, a ƙarshe yana gudana akan yadudduka na abstraction da aka samo asali a cikin ƙa'idodin lissafin duniya iri ɗaya ƙalubalen S Combinator wanda aka saita don daidaitawa.

A ina zan iya zuwa don bin ƙalubale masu gudana a cikin ilimin kimiyyar kwamfuta?

Mafi kyawun wuraren farawa sun haɗa da ainihin takaddun ƙalubalen Wolfram, rubutun ilimi akan lissafin lambda, da al'ummomi kamar Tushen Lissafin aikawasiku. Don tsara bincikenku ko sarrafa kasuwancin ilimin fasaha, Mewayz yana ba da OS na kasuwanci mai nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan nau'ikan 207 a $19 / mo - ziyarci app.mewayz.com don bincika kayan aikin da aka gina don sarrafa komai daga buga abun ciki zuwa sarrafa abokin ciniki.