Thirrjet problemet e mijëvjeçarit Janë shtatë probleme matematikore të paraqitura nga Instituti i Matematikës Clay në vitin 2000, si një sfidë për komunitetin matematikor. Shpërblimi i premtuar është një milion dollarë për secilin nga këto probleme nëse zgjidhen. Megjithatë, deri më sot, vetëm një prej tyre është demonstruar. Këto probleme konsiderohen ndër më komplekset në matematikën aktuale dhe zgjidhja e tyre mund të përfaqësojë përparime të rëndësishme jo vetëm në matematikë, por në fusha të ngjashme si fizika, shkenca kompjuterike dhe kriptografia.
Cilat janë problemet e mijëvjeçarit?
L problemet e mijëvjeçarit janë një seri hamendjesh ose pohimesh matematikore për të cilat është verifikuar se janë në përputhje me provat e njohura, por një prova rigoroze matematikore që i vërteton ato. Zgjidhja e një prej këtyre problemeve përfshin jo vetëm kuptimin e thellë të deklaratës, por edhe demonstrimin e vërtetësisë së tij mbi një bazë solide matematikore. Fakti që vetëm një nga këto probleme është zgjidhur deri më tani dëshmon për këtë dificultad prej tyre.
El Instituti i Matematikës Clay i shtroi këto probleme për të nxitur avancimin e njohurive matematikore. Nëse një problem zgjidhet, Instituti ofron jo vetëm prestigjin e zgjidhjes së disa prej pyetjeve më komplekse në matematikën moderne, por edhe një shpërblim prej një milion dollarë. Në total janë shtatë sfida të propozuara fillimisht, prej të cilave deri më tani vetëm një është zgjidhur. Le të shohim më poshtë se në çfarë konsistojnë këto probleme.
Supozim i Poincare-s
La Supozim i Poincare-s Është i vetmi problem i mijëvjeçarit që është zgjidhur deri më sot. Ai u propozua nga matematikani francez Henri Poincaré në 1904 dhe parashtroi një hipotezë në fushën e topologji, lidhur me karakterizimin e sferës tredimensionale. Supozimi thotë se çdo shumëfish tredimensional që është thjesht i lidhur duhet të jetë homeomorfik ndaj një sfere tredimensionale.
Hamendësimi u zgjidh më në fund nga matematikani rus Grigory Perelman në vitin 2002, i cili publikoi provat e tij në një mënyrë jokonvencionale: ai e publikoi atë në internet në vend që ta dërgonte në një revistë shkencore. Megjithëse fillimisht kishte skepticizëm në lidhje me qasjen e tij, puna e tij u verifikua nga matematikanë të tjerë dhe, në vitin 2006, ai mori Medalje Fields. Megjithatë, Perelman hodhi poshtë çmimin dhe milionin dollarë të ofruar nga Instituti Clay.
P kundrejt NP
Një nga problemet më të famshme të teoria e llogaritjes quhet P kundrejt NP. Kjo gjëegjëzë matematikore ngre pyetjen nëse të gjitha problemet që mund të verifikohen shpejt mund të zgjidhen gjithashtu shpejt. Në terma më formale, problemi është të përcaktohet nëse P (bashkësia e problemeve që mund të zgjidhen në kohë polinomiale) është e barabartë me NP (bashkësia e problemeve, rezultatet e të cilave mund të verifikohen në kohë polinomiale).
Zgjidhja e këtij problemi do të kishte implikime revolucionare në disa fusha, duke përfshirë cryptography, inteligjencës artificiale dhe optimization. Nëse P do të ishte e barabartë me NP, shumë detyra që janë jashtëzakonisht të komplikuara për kompjuterët sot, si deshifrimi i fjalëkalimeve, cryptography ose zgjidhjen e problemeve të komplikuara të optimizimit, mund të bëhen në kohë shumë më të shkurtra.
Supozimi i Hodge
La Hodge hamendje lind në fushën e gjeometria algjebrike dhe topologji algjebrike. Në terma të përgjithshëm, ai thotë se për një varietet kompleks algjebrik projektiv, cikle të caktuara që shfaqen në kohomologjinë de Rham kanë një korrespondencë me klasa algjebrike të nënvarieteteve. Këto cikle algjebrike do të ishin kombinime racionale lineare të nënmanifoldeve algjebrike.
Një nga sfidat më të mëdha për këtë hamendje është se ajo është në një fushë që përfshin të dyja disiplinat dhe mjetet e nevojshme për zgjidhjen e saj mund të mos i përkasin vetëm fushë algjebrike o diferenciale, por ato kërkojnë teknika shumë më tërthore dhe komplekse.
Hipoteza e Riemann
Paraqitur në 1859 nga matematikani gjerman Bernhard Riemann, kjo hipotezë është një nga problemet më të vjetra dhe më enigmatike matematikore. Të Hipoteza e Riemann i referohet shpërndarjes së Numrat e thjeshtë dhe thotë se të gjitha zerot jo të parëndësishme të funksionit zeta të Riemann-it kanë vlerën 1/2 si pjesë reale të tyre.
Funksioni zeta i Riemann-it ka një lidhje shumë të ngushtë me numrat e thjeshtë dhe nëse kjo hipotezë vërtetohej, një kuptim më i thellë i shpërndarja e numrave të thjeshtë. Shumë matematikanë besojnë se hipoteza është e saktë dhe janë llogaritur triliona zero që i përshtaten hamendjes, por deri më tani nuk është arritur një provë e plotë.
Ekzistenca e Yang-Mills dhe kërcimi në masë
La Teoria Yang-Mills Është një pjesë thelbësore e fizikës së grimcave dhe teorisë kuantike të fushës. Fillimisht ishte strukturuar për të modeluar fushë elektromagnetike dhe më vonë u aplikua në kromodinamikën kuantike, e cila përshkruan ndërveprimet midis kuarkeve dhe gluoneve në bërthamën atomike. Problemi matematik qëndron në demonstrimin e ekzistencës dhe vlefshmërisë rigoroze të ekuacioneve Yang-Mills dhe të kuptuarit se si krijohet ekuacioni. hendeku masiv.
Fenomeni i hendekut të masës i referohet arsyes pse grimcat pa masë si gluonet në formën e tyre klasike fitojnë një masë të kufizuar në teorinë kuantike. Edhe pse deri më tani janë kryer simulime në superkompjuterë që mbështesin hamendësimin, një provë rigoroze matematikore mbetet e pakapshme.
Ekuacionet Navier-Stokes
L Ekuacionet Navier-Stokes janë një grup ekuacionesh që përshkruajnë lëvizja e lëngjeve siç janë lëngjet dhe gazrat. Të formuluara në shekullin e 19-të, këto ekuacione janë thelbësore për të kuptuar dinamikën e lëngjeve, nga flukset e ajrit që prekin aeroplanët tek modelet e motit dhe rrymat e oqeanit. Megjithatë, të kompleksiteti i këtyre ekuacioneve nuk i ka lejuar matematikanët të kuptojnë plotësisht sjellje të caktuara, si formimi i turbulencës ose kalimi nga rrjedhat laminare në rrjedhat turbulente.
Sfida matematikore konsiston në demonstrimin, në kushte fillestare të caktuara, nëse një zgjidhje e qetë (d.m.th., pa veçori) e ekuacioneve Navier-Stokes mund të ruhet me kalimin e kohës, ose nëse, përkundrazi, lindin singularitete që ndikojnë në vazhdimësinë e saj.
Supozimi i Birch dhe Swinnerton-Dyer
kjo hamendësoj, propozuar nga matematikanët anglezë Bryan Birch y Peter Swinnerton-Dyer në vitet 1960, ai merret me zgjidhje racionale të kthesa eliptike. Kurbat eliptike janë objekte algjebrike që, në versionin e tyre më të thjeshtë, mund të vizualizohen si vija në rrafsh, dhe teoria e numrave lidh një sërë vetive aritmetike me këto kurba.
Hamendja sugjeron se ekziston një mënyrë për të përcaktuar nëse një kurbë eliptike ka një numër të fundëm ose të pafundmë zgjidhjesh racionale, bazuar në disa veçori të saj. Funksioni L. Zgjidhja e këtij problemi do të përfshinte përparime kyçe në fusha të tilla si kriptografia, pasi kthesat eliptike janë themelore në shumë sisteme moderne të enkriptimit.
Zgjidhja e ndonjë prej këtyre problemeve do të ishte një arritje e paprecedentë dhe do të transformonte matematikën, përveç ofrimit të një shpërblimi të madh financiar dhe meritave të përjetshme akademike.