The Wolfram S Combinator Ipenija

Nigbati Ofin Kan Tun Ohun gbogbo kọ: Awọn ẹkọ lati Ipenija Apapo Wolfram S

Ni ipari ọdun 2023, Stephen Wolfram beere ibeere ti o rọrun ti ẹtan si agbegbe mathematiki iširo: ṣe a le fi idi alapapọ kan ṣoṣo — olupilẹṣẹ S - jẹ ẹri lati ṣaṣeyọri iṣiro gbogbo agbaye patapata funrararẹ? Ohun ti o tẹle jẹ ipenija ṣiṣi fun oṣu pipẹ ti o fa awọn oluyaworan, awọn onimọ-jinlẹ, ati awọn onimọ-ẹrọ sọfitiwia sinu ọkan ninu awọn ihò ehoro didara julọ ni imọ-ẹrọ kọnputa imọ-jinlẹ. Akopọ S, ti a ṣalaye nipasẹ ofinS x y z = x z (y z), wulẹ fẹrẹẹrin ni iwonba. Sibẹsibẹ ti o wa laarin ofin atunko kan ni agbara lati ṣe adaṣe eyikeyi iṣiro ti o loyun. Eyi kii ṣe itan kan nipa mathimatiki nikan - o jẹ itan nipa ohun ti o ṣẹlẹ nigbati o ba yọ idiju silẹ si ipilẹ ti a ko le dinku ati ṣe iwari pe ayedero, ti a lo ni igbagbogbo, di agbara ailopin.

The S Combinator: Ayedero bi a Superpower

Imọye apapọ jẹ idasilẹ ni ominira nipasẹ Mose Schönfinkel ni ọdun 1920 ati pe o gbooro nipasẹ Haskell Curry ni awọn ọdun 1930 gẹgẹbi yiyan si iṣiro lambda - ọna ti n ṣalaye iṣiro laisi awọn oniyipada. Olupilẹṣẹ S jẹ ọkan ninu awọn ege ipilẹ meji (lẹgbẹẹ apapọ K) ti o nilo fun pipe Turing. Nibiti K kan ti yan ati sọnù, S ṣe nkan ti o nifẹ si diẹ sii: o pin ariyanjiyan kọja awọn iṣẹ meji ni nigbakannaa, ti o mu ki iru ohun elo ti ara ẹni lerapada ti o jẹ ki iṣiro agbaye ṣee ṣe.

Ipenija Wolfram beere ni pataki boya S nikan - laisi paapaa K gẹgẹbi ẹlẹgbẹ - le ṣe agbejade idiju ti o to lati jẹ Turing pipe labẹ diẹ ninu fifi koodu. Idahun naa, ti o jẹrisi nipasẹ awọn oluranlọwọ agbegbe nipasẹ wiwa ti o pari ati ẹri deede, jẹ nuanced: S nikan ko le ṣaṣeyọri pipe Turing ni kikun laisi ipilẹṣẹ afikun, ṣugbọn ilana wiwa funrararẹ ṣafihan ijinle iyalẹnu ninu kini awọn eto isunmọ-kere le ṣaṣeyọri. Awọn ofin ti a ṣe ni iyasọtọ lati ohun elo S gbooro si awọn ihuwasi ti ko si eniyan ti o le sọ asọtẹlẹ lati ofin ibẹrẹ nikan.

Eyi ni oye aarin ti o jẹ ki ipenija naa jinna ni imọ-jinlẹ kuku ju imọ-ẹrọ lasan lasan. Aafo laarin etoitumọati ihuwasile jẹ jakejado ni imọ-jinlẹ. Wolfram ti pe iṣẹlẹ yii ni “aiṣe-iṣiro” — imọran pe fun ọpọlọpọ awọn ọna ṣiṣe, ko si ọna abuja lati mọ ohun ti wọn yoo ṣe ayafi ṣiṣe wọn ni ipele nipasẹ igbese.

Iṣọkan Iṣọkan ati Idi ti O ṣe pataki Ni ikọja Ile-ẹkọ giga

Ipenija apapọ S kii ṣe adaṣe kan fun awọn onimọ-jinlẹ nikan. O ṣe afihan ọna ironu ti o ni awọn ilolu ti o jinlẹ fun apẹrẹ eto, faaji eto, ati awọn iṣẹ iṣowo. Imọye alakoso n beere: kini eto ti o kere julọ ti awọn iṣẹ atomiki lati eyiti gbogbo awọn ihuwasi ti o fẹ le ṣe akojọpọ? Eyi ni ibeere ti awọn onimọ-ẹrọ nla n beere nigbati wọn ba n kọ awọn ede siseto, awọn ayaworan ile nla beere nigbati wọn ba n ṣe awọn iṣẹ microservices, ati pe awọn oniṣẹ iṣowo nla yẹ ki o beere nigbati wọn ba kọ akopọ iṣẹ wọn.

Pupọ awọn ajo ṣe idakeji. Wọn ṣajọpọ awọn irinṣẹ ni ọna ti awọn attics ti n ṣajọpọ aga - nkan kan ni akoko kan, ọkọọkan yanju iṣoro kan pato, titi gbogbo rẹ yoo fi wuwo ju apao awọn ẹya rẹ. Ẹgbẹ tita kan gba CRM kan. Isuna dorí ohun invoicing Syeed. HR ra ohun elo isanwo. Isakoso Fleet n gba dasibodu tirẹ. Ọpa kọọkan jẹ aipe agbegbe. Papọ, wọn ṣẹda ohun ti awọn oniwadi iṣẹ n pe ni “gbese isọpọ” - iye owo ti o farapamọ ti ṣiṣe awọn eto ti kii ṣe idapọmọra sọrọ si ara wọn.

Olupapọ S nfunni ni awoṣe ọpọlọ ti o yatọ. Dipo ti bibeere “ohun elo wo ni o yanju iṣoro yii?”, oluṣaroye olupilẹṣẹ beere “kini awọn iṣẹ ṣiṣe ti ipilẹṣẹ ti Mo nilo, ati bawo ni wọn ṣe le ṣajọ lati yanju iṣoro eyikeyi ti Mo ba pade?” Iṣatunṣe yii jẹ iyatọ laarin kikọ opoplopo awọn ojutu ati kikọ pẹpẹ kan.

Kini Iṣiro Agbaye Kọ Wa Nipa Awọn modulu Iṣowo

Turing pipe ni imọ-ẹrọ kọnputa tumọ si eto kan le ṣe adaṣe eyikeyi eto iṣiro miiran ti a fun ni akoko ati iranti to to. Ni awọn ọrọ iṣowo, imọran afọwọṣe jẹ pipe iṣiṣẹ - agbara ti pẹpẹ lati mu ṣiṣiṣẹ ṣiṣẹ eyikeyi ti iṣowo le nilo, kii ṣe nipasẹ atokọ ti ndagba nigbagbogbo ti awọn ẹya ara ẹrọ boluti, ṣugbọn nipasẹ awọn modulu idapọmọra otitọ ti o pin data, idanimọ, ati ọgbọn ni ipele ipilẹ.

"Awọn ọna ṣiṣe ti o lagbara julọ kii ṣe awọn ti o ni awọn ẹya ara ẹrọ pupọ julọ - wọn jẹ awọn ibi ti awọn ẹya ara ẹrọ ti ṣajọ. Iṣọkan ti o farahan lati awọn ti o rọrun, awọn ipilẹṣẹ ti a ṣe daradara jẹ nigbagbogbo lagbara ju idiju ti a ṣe apẹrẹ ni lati ibẹrẹ."

Iyatọ yii ṣe pataki pupọ ni iṣe. Syeed nibiti awọn modulu ti ṣajọ nitootọ tumọ si pe data CRM rẹ n ṣàn nipa ti ara sinu eto risiti rẹ, eyiti o ṣe ifunni dasibodu atupale rẹ, eyiti o ṣe alaye igbero HR rẹ. Awọn data ko nilo lati wa ni okeere, yipada, ati tun gbe wọle. Idanimọ ti alabara jẹ ohun kanna boya o n wo lati inu module tita, eto ifiṣura, tabi iwe isanwo isanwo. Eyi jẹ apẹrẹ akojọpọ — ati pe o jẹ ohun ti o ya eto iṣẹ ṣiṣe iṣowo tootọ kuro ninu lapapo sọfitiwia.

Mewayz ti wa ni itumọ ti ni ayika gangan ilana yii. Pẹlu awọn modulu 207 ti o leta CRM, risiti, isanwo isanwo, HR, iṣakoso ọkọ oju-omi kekere, awọn atupale, awọn irinṣẹ ọna asopọ-in-bio, ati awọn eto ṣiṣe ifiṣura, pẹpẹ naa n ṣiṣẹ lori awọn olumulo 138,000 ni kariaye kii ṣe nipa fifun awọn ẹya pupọ julọ, ṣugbọn nipa aridaju awọn ẹya wọnyẹn ṣiṣẹ lati awọn alakoko ti o pin - awọn awoṣe data iṣọkan, iṣakoso idanimọ deede, ati iṣelọpọ iṣelọpọ ti ko si jẹ ki awọn iṣowo ṣiṣẹpọ kan. ti ṣe apẹrẹ ni gbangba.

Ipenija ti Ẹri: Kini idi ti Idiju gbọdọ wa ni jo'gun

Ọkan ninu awọn abala itọnisọna julọ ti Wolfram S Combinator Ipenija ni bi o ṣe ṣoro lati jẹrisi paapaa awọn iṣeduro ti o dabi ẹnipe o rọrun. Àwọn olùkópa láwùjọ ti lo àwọn òwe ìdánilójú aládàáṣiṣẹ, ìṣàkóso ọ̀rọ̀ àṣepé, àti àwọn ọgbọ́n ìkọ̀wé aramada. Ọpọlọpọ awọn isunmọ ti o dabi ẹni ti o ni ileri yipada lati jẹ aṣiṣe arekereke. Eyi jẹ iwa ti awọn ọna ṣiṣe akojọpọ giga: ihuwasi wọn ni iwọn jẹ nitootọ lile lati sọ asọtẹlẹ lati awọn ofin wọn nikan.

Fun awọn iṣowo, maapu yii si aaye irora ti o faramọ: idanwo iṣọpọ. Nigbati o ba ni awọn ọna ṣiṣe mẹwa ti ọkọọkan ṣiṣẹ ni deede ni ipinya, o ko le ro pe awọn ibaraenisepo wọn yoo jẹ deede. Kọọkan titun Integration ojuami isodipupo o pọju fun airotẹlẹ ihuwasi. Eyi ni idi ti nọmba awọn iṣọpọ ninu akopọ sọfitiwia ile-iṣẹ aṣoju n dagba ni imẹrin pẹlu nọmba awọn irinṣẹ - ati idi ti awọn idiyele isọpọ nigbagbogbo kọja awọn idiyele iwe-aṣẹ ni awọn ajọ nla.

Ojutu ti ipenija oluṣakoṣo awọn ojuami si kii ṣe idanwo diẹ sii ni ipele isọpọ, ṣugbọn dada isọpọ kere si lati bẹrẹ pẹlu. Nigbati awọn modulu ba pin sobusitireti ti o wọpọ, awọn ibaraenisepo wọn jẹ iṣakoso nipasẹ awọn ofin kanna ti o ṣakoso ihuwasi ẹnikọọkan wọn. Ko si awọn ipele itumọ lati ṣe aṣiṣe, ko si awọn adehun API lati fọ, ko si awọn aiṣedeede apẹrẹ lati tunṣe ni 2 AM ṣaaju igbejade igbimọ kan.

Awọn ilolusi Iṣeṣe: Ṣiṣe Iṣowo Rẹ lori Awọn alakoko Composable

Bawo ni iṣowo kan ṣe lo ironu apapọ ni iṣe? Eyi ni awọn ipilẹ bọtini ti o farahan lati Ipenija akojọpọ S nigba ti a tumọ si ilana iṣiṣẹ:

• Ṣafihan idanimọ awọn ipilẹṣẹ rẹ akọkọ. Ṣaaju ki o to yan awọn irinṣẹ, ṣe maapu awọn nkan data pataki rẹ - awọn alabara, awọn iṣowo, awọn oṣiṣẹ, awọn ohun-ini, akoko - ati rii daju pe iru ẹrọ eyikeyi ti o gba ṣe itọju awọn wọnyi bi kilasi akọkọ, awọn nkan ti o pin dipo awọn igbasilẹ module-agbegbe.
• Pẹlu ijinle ju ibú ni awọn irinṣẹ irinṣẹ kutukutu.Ipilẹ ti o ṣe awọn nkan mẹwa daradara lati ipilẹ ti o pin jẹ diẹ niyelori ju ogun awọn irinṣẹ pataki lọ ti ọkọọkan ṣe ohun kan ni iyasọtọ ṣugbọn ko le rii data ara wọn.
• Idanwo composability, kii ṣe awọn ẹya nikan. Nigbati o ba n ṣe iṣiro sọfitiwia iṣowo, ibeere naa kii ṣe “ṣe module A ni ẹya X?” ṣugbọn "nigbati mo ba lo awọn modulu A ati B papọ, ṣe eto naa huwa dara ju boya nikan lọ?"
• Ṣiṣe adaṣe adaṣe bi akopọ. Awọn adaṣe adaṣe ti o lagbara julọ ni pẹpẹ ti o ṣajọpọ kii ṣe awọn iwe afọwọkọ tabi awọn iṣọpọ - wọn jẹ ṣiṣan iṣẹ ti awọn ihuwasi module pq papọ, jẹ ki iṣẹlẹ ifiṣura kan nfa imudojuiwọn CRM kan ti o nfa risiti kan ti o nfa titẹsi owo-owo, gbogbo laisi ilowosi ọwọ tabi koodu aṣa.
• Isuna fun ifarahan. Awọn ọna ṣiṣe idapọ yoo ṣe awọn ohun ti o ko gbero fun - ati pe iyẹn jẹ ẹya kan, kii ṣe kokoro. Fi aye silẹ ninu awọn iṣẹ ṣiṣe rẹ fun iṣawari ṣiṣan iṣẹ ti pẹpẹ n ṣiṣẹ ṣugbọn ti ko si ẹnikan ti o ṣe apẹrẹ kedere.

Iṣiro Iṣiro ni Awọn iṣẹ: Gbigba Ohun ti O Ko le Sọtẹlẹ

Imọye ti Wolfram ti irreducibility iširo ni iṣẹ ṣiṣe taara: diẹ ninu awọn abajade iṣowo ko le ṣe asọtẹlẹ lati awọn ipilẹ akọkọ - wọn gbọdọ ṣiṣẹ. Eyi kii ṣe ikuna ti eto; o jẹ ohun ini ti eka aṣamubadọgba awọn ọna šiše. Awọn ọja huwa ni ọna yii. Ibasepo onibara huwa ni ọna yi. Nitootọ awọn iṣipopada ti iṣeto huwa ni ọna yii.

Awọn iṣowo ti o tiraka pupọ julọ pẹlu otitọ yii jẹ awọn ti o ti kọ awọn akopọ iṣẹ ṣiṣe lile, brittle. Nigbati gbogbo iṣan-iṣẹ iṣẹ jẹ koodu lile sinu ọpa kan pato, ni ibamu si aibikita iṣiro - si airotẹlẹ otitọ ti awọn ipo iṣowo gidi - nilo imuse gbowolori. Nigbati awọn iṣan-iṣẹ iṣẹ jẹ akojọpọ lati awọn alakoko ti o rọ, aṣamubadọgba nigbagbogbo jẹ ọrọ ti atunto tiwqn dipo kikọ tun lati ibere.

Eyi ni idi ti awọn iru ẹrọ apọjuwọn pẹlu ibaramu tootọ kii ṣe rọrun ni iṣẹ ṣiṣe - wọn jẹ resilient ni ilana. Iṣowo ti n ṣiṣẹ lori iye awọn olumulo 138,000 ti itetisi Syeed ti akojo, bi Mewayz ṣe, n ṣe awari awọn akopọ tuntun nigbagbogbo ti o ṣiṣẹ. Ijọpọ oye oye apapọ yẹn ni awọn ọna ti ko si ero inu alabara kan ṣoṣo ti o le nireti.

Furontia: Nibo Awọn Asopọmọra ati AI Converge

Ipenija apapọ S pari bi ẹkọ ni awọn opin ti awọn ọna ṣiṣe ti o kere ju - ṣugbọn tun bi iṣafihan bawo ni awọn opin wọnyẹn ṣe le titari. Aala ti o tẹle ni imọ-ẹrọ kọnputa imọ-jinlẹ mejeeji ati awọn iṣẹ iṣowo ti o wulo ni ikorita ti awọn ọna ṣiṣe akojọpọ pẹlu ẹkọ ẹrọ: awọn iru ẹrọ ti kii ṣe awọn iṣẹ ṣiṣe nikan, ṣugbọn kọ ẹkọ iru awọn akopọ ti o munadoko julọ ati daba awọn tuntun si awọn olumulo wọn.

Fojuinu OS iṣowo kan ti o ṣakiyesi iru awọn akojọpọ module wo ni ibamu pẹlu idagbasoke owo-wiwọle, idaduro alabara, tabi ṣiṣe ṣiṣe, ti o si fi itara ṣe afihan awọn ilana wọnyẹn si awọn oniṣẹ ti ko ṣe awari wọn sibẹsibẹ. Eyi kii ṣe itan-akọọlẹ imọ-jinlẹ - o jẹ itankalẹ adayeba ti pẹpẹ kan pẹlu iṣọpọ data jinlẹ ati iwọn to to. Nigbati CRM rẹ, risiti, atupale, HR, ati awọn modulu iṣakoso ọkọ oju-omi gbogbo ṣiṣẹ lati awọn ipilẹṣẹ data ti o pin, Layer AI ni wiwo iṣọkan ti iṣowo rẹ ti ko si patchwork ti awọn irinṣẹ iṣọpọ le baamu.

Olupapọ S kọ wa pe idiju ti o jinlẹ julọ ko nilo ile-ikawe ailopin ti awọn ofin. O nilo awọn alakoko ti o tọ, ti a lo pẹlu ibawi ati oju inu. Fun awọn iṣowo ti n ṣawari awọn ibeere ṣiṣe ti 2025 - iṣakoso awọn ẹgbẹ pinpin, awọn alabara agbaye, awọn awoṣe owo-wiwọle arabara, ati awọn ireti atupale akoko gidi - pẹpẹ ti o ṣẹgun kii ṣe ọkan pẹlu atokọ ẹya ti o gunjulo. O jẹ eyiti a kọ, bii S funrararẹ, lori oye ti o wuyi pe ohun gbogbo ti o nifẹ si jade lati akopọ.

Ipenija Wolfram jẹ eyiti o ṣee ṣe nipa mathematiki. Ṣugbọn ẹkọ ti o jinlẹ julọ jẹ ti ẹnikẹni ti o ni imọran awọn ọna ṣiṣe ti o wa lati ṣiṣe:bẹrẹ pẹlu awọn ohun ti o kere julọ ti o ṣajọ nitootọ, ki o si gbẹkẹle pe idiju yoo ṣe abojuto ararẹ.

Awọn ibeere Nigbagbogbo

Kini olupilẹṣẹ S ati kilode ti o ṣe pataki fun iširo imọ-jinlẹ?

Olupapọ S, ti a ṣalaye nipasẹ ofin S x y z = x z (y z), jẹ ọkan ninu awọn ohun amorindun ipilẹ ti ọgbọn apapọ lẹgbẹẹ apapọ K. Pataki rẹ wa ni minimalism rẹ - o le ṣe afihan iṣẹ ṣiṣe iṣiro eyikeyi nigbati o ba ni idapo pẹlu K, ti o jẹ ki o jẹ okuta igun-ile ti lambda calculus, siseto iṣẹ-ṣiṣe, ati imọran gbooro ti iṣiro agbaye.

Kini gangan ni Ipenija Apapo Wolfram S ti n beere lọwọ awọn olukopa lati fi idi rẹ mulẹ?

Stephen Wolfram tako agbegbe lati fi idi rẹ mulẹ ni deede pe olupilẹṣẹ S nikan - laisi alabaṣepọ ibile rẹ K - jẹ Turing-pari. Ipilẹ SK boṣewa ti jẹ ẹri ni agbaye fun igba pipẹ, ṣugbọn ipinya S gẹgẹbi ipilẹṣẹ akọkọ ti o nilo awọn ọgbọn ẹri tuntun patapata. Awọn olukopa ṣawari boya ohun elo S ti ara ẹni le ṣe simulate iṣiro lainidii, fifamọra awọn alamọdaju, awọn onimọ-jinlẹ, ati awọn alarinrin itọsi adaṣe adaṣe adaṣe ni kariaye.

Bawo ni awọn oye lati inu ọgbọn apapọ ṣe sopọ si awọn iru ẹrọ sọfitiwia gidi-aye?

Awọn ẹri bii eyi jẹ ki oye wa jin si awọn ibeere to kere julọ ti iṣiro - awọn oye ti o fa sinu apẹrẹ alakojọ, iru ero, ati imudara ede iṣẹ. Paapaa ọja kan bii Mewayz, OS iṣowo-module 207 kan ti o wa ni app.mewayz.com fun $19/mo, nikẹhin nṣiṣẹ lori awọn fẹlẹfẹlẹ ti abstraction ti fidimule ni awọn ilana iṣiro gbogbo agbaye kanna ni ipenija akojọpọ S ṣeto lati ṣe agbekalẹ.

Nibo ni MO le lọ lati tẹle awọn italaya ti nlọ lọwọ ni imọ-jinlẹ kọnputa?

Awọn aaye ibẹrẹ ti o dara julọ pẹlu iwe-ipenija atilẹba Wolfram, awọn ọrọ ẹkọ lori iṣiro lambda, ati awọn agbegbe bii Awọn ipilẹ ti atokọ ifiweranṣẹ Iṣiro. Fun siseto iwadi rẹ tabi ṣiṣakoso iṣowo eto ẹkọ imọ-ẹrọ, Mewayz nfunni ni OS iṣowo-module 207 ni $19/mo — ṣabẹwo app.mewayz.com lati ṣawari awọn irinṣẹ ti a ṣe lati mu ohun gbogbo lati titẹjade akoonu si iṣakoso alabara.