Matematikanët, logjikët dhe shkencëtarët kompjuterikë kanë zhvilluar lloje të ndryshme të kalkulave. Në shkencën kompjuterike njihet kalkuli lambda, i zhvilluar nga Alonzo Church. Në bazat e të dhënave përdoret kalkuli relacional, mbi të cilin bazohet SQL, ndërsa në metodat formale përdoret kalkuli predikativ, i njohur si logjika e rendit të parë. Studiuesit e gjuhëve të programimit shpesh hasin kalkulin sekuencial. Megjithatë, kur termi “kalkul” përdoret pa specifikime, ai zakonisht u referohet dy fushave të ndërlidhura: kalkulit diferencial dhe atij integral.
Për shembull, llogaritja e shpejtësisë së ndryshimit të një kurbe në një pikë specifike kërkon gjetjen e derivatit. Ky proces është algoritmik dhe mund të programohet lehtësisht, duke qenë një element thelbësor në trajnimin e modeleve të mëdha gjuhësore (LLM). Për këtë arsye, në kurset hyrëse të matematikës, studentët mësojnë rregullat për llogaritjen e derivateve.
Ndryshe nga derivimi, nuk ekziston një algoritëm universal për llogaritjen e integralit të një funksioni të çfarëdoshëm. Studentët mësojnë teknika të ndryshme për funksione specifike, por për disa raste, si funksioni Gaussian, nuk ekziston një zgjidhje e mbyllur. Në këto situata, zgjidhja duhet të shprehet përmes serive të pafundme.
Lidhja midis këtyre dy fushave njihet si Teorema Thelbësore e Kalkulit, e cila përcakton se integrali është anti-derivata. Nëse f(x) është derivati i F(x), atëherë F(x) është integrali i f(x). Kjo ngre pyetjen pse derivimi është më i thjeshtë se integrimi. Në një diskutim në Mathematics Stack Exchange, Qiaochu Yuan shpjegoi se diferencimi është një operacion “lokal”, pasi kërkon njohuri vetëm për sjelljen e funksionit në një pikë. Përkundrazi, integrimi është një operacion “global”, që kërkon njohuri për sjelljen e funksionit në të gjithë intervalin.
Ky dallim ilustron konceptin se sinteza është më e vështirë se analiza. Në analizë, problemet ndahen në pjesë më të vogla dhe lokale, të cilat janë më të lehta për t’u zgjidhur. Sinteza, nga ana tjetër, kërkon integrimin e shumë elementeve, duke krijuar një problem më pak lokal dhe rrjedhimisht më kompleks.
Burimi: surfingcomplexity.blog
