Kalt tusenårs problemer, er totalt syv matteoppgaver. Selvfølgelig, i dette tilfellet, er oppløsningen ennå ikke oppdaget. Hva mer, hvis du gjorde det, vil du bli tildelt en million dollar for hver av dem. Så alt handler om å prøve, hvis du tror du kan gjøre det.
Det må sies at i 2006, ett av de syv årtusenproblemene ble løst. Så det er en god motivasjon å kunne få de andre til å ende opp med å bli dechifrert også. Vil du vite hva de består av?
Hva er årtusenproblemene?
Som vi allerede har kommet videre, når vi snakker om årtusenets problemer, må vi snakke om a rekke antagelser eller matematiske påstander. Alle har bevis for at de er helt sanne. Men det tilsvarende matematiske beviset er ennå ikke kjent. Selv om vi allerede vet at en av dem har oppnådd denne demonstrasjonen, og at vi nå vil se. Som et viktig faktum må det sies at det er mange uløste problemer. Siden det ikke bare er årtusenproblemene, men også Hilbertproblemene løses ikke helt. Likevel skal vi bli med den første.
Poincaré-formodning
Det er det eneste problemet som er løst, så langt. Dette er den såkalte Poincaré Conjecture. Matematikeren Grigori Perelmán løste det. Etter oppløsningen ble det en setning om den tredimensjonale sfæren. Han fortsetter med å si at den fjerdedimensjonale sfæren er den eneste kompakte varianten der hver lukket sirkel kan forvandles til et punkt. I mer enn et århundre var det et av de store uløste problemene. Selv om Perelmán kunngjorde at han hadde løst det i 2002, var det først i 2006 at han mottok Fields-medaljen, som han avviste.
P kontra NP
Tilsynelatende har ikke matematikken vi kjenner i dag, kapasitet til å differensiere P- og NP-type problemer. For for dette måtte kompliserte algoritmer utvikles. Av denne grunn, for å løse dette problemet, ville det være nødvendig å avgjøre om inkluderingen mellom kompleksitetsklassene (det vil si settet med beslutningsproblemer med beslektet kompleksitet) P og NP virkelig er streng.
Hodge-gjetningen
En annen av de matematiske problemene er Hodge-gjetningen. I dette tilfellet forteller han oss at for projiserende algebraiske manifolder, hodge sykluser de er den lineære og rasjonelle kombinasjonen av algebraiske sykluser. Det kan derfor sies at det er et algebraisk geometriproblem. I den er den algebraiske topologien til en kompleks, ikke-singular manifold relatert, så vel som submanifoldene. Men det er også at denne antagelsen legger til at noen grupper av De Rhams kohomologi de er algebraiske. Så dette er Poincaré-dualitetssummer. Nå er det bare å bevise det!
Riemann-hypotese
Denne hypotesen forteller oss at alle ikke-trivielle nuller til Riemann Zeta-funksjonen har en reell del av ½. Var først formulert i 1859 av Bernhard Riemann. Takket være deres forhold til fordelingen av primtall i settet med naturlige tall, gjør de denne hypotesen til en av problemene i årtusenet. Selv om mange mener at antagelsen er riktig, ser det ut til at det er matematikere som skiller seg fra denne ideen. På den tiden ble det sagt at det ble løst, men Clay Institute har benektet det.
Eksistensen av Yang-Mills og massehopp
Hvis vi begynner i felten yang møller Det må sies at det er et fysisk felt som brukes i kvantefeltsteori. Denne teorien ble brukt til å beskrive kvantekromodynamikk, som forklarer strukturen til protoner og nøytroner. Tilsvarende også graden av stabilitet til atomkjernen. Komplikasjonen kommer når det er nødvendig å forklare hvordan den bundne tilstanden ser ut til å ha fått en masse.
Navier-Stokes-ligningene
Bevegelsen av væsker og gasser er beskrevet av de såkalte Navier-Stokes-ligningene. De ble formulert i det nittende århundre og fremdeles i dag, er ikke alle deres implikasjoner kjent. Dette skyldes den ikke-lineariteten til ligningene deres og de sammenkoblede termer. Du må komme med en teori om væskedynamikk. Det ville være nødvendig å vise om strømningsoppløsningen også er laminær for alle tidspunkter ved noen innledende betingelser for den laminære væsken.
Antagelsen om Birch og Swinnerton-Dyer
I dette tilfellet formodningen Birch og Swinnerton-Dyer handler om en type ligning. Det er ansvarlig for å definere elliptiske kurver på de rasjonelle. Det ser ut til at antagelsen i seg selv forteller oss at det er en måte å vite om disse ligningene har et uendelig eller kanskje uendelig antall rasjonelle løsninger. Det ble kunngjort i 1965 av to engelske matematikere: Bryan Birch og Peter Swinnerton-Dyer. Formodningssetningen relaterer aritmetiske data assosiert med en aritmetisk kurve E over et tallfelt, som vil være K.
Er Leireinstitutt som tar sikte på å øke kunnskapen om matematikk, så vel som den store diffusjonen. I tillegg til å ha forskjellige aktiviteter og prosjekter, har de også blitt kjent for å støtte tusenårsoppgaver eller disse matematiske problemene som ikke er helt enkle. Noen utfordringer med dobbelt formål: På den ene siden den endelige løsningen på dem og på den andre den så saftige økonomiske prisen de tilbyr.