Hilberts och Clays problem

Slides:



Advertisements
Liknande presentationer
F. Drewes, Inst. f. datavetenskap1 Föreläsning 13: Resolution •Resolution i satslogiken •Resolution i predikatlogiken.
Advertisements

Talföljder formler och summor
Johan Lennartsson.
Populärt brukar algebra ibland kallas för bokstavsräkning
• Frågeledaren är den som vet svaren. De finns under en länk på sidan i kalendern. • Ni behöver antingen en 12-tärning eller två vanliga tärningar. • Slå.
Från mönster till algebra
Betydelsen av nyklubbildning EX-545A.SW. 2Lions Clubs InternationalBetydelsen av nyklubbildning Varför är nyklubbildning viktigt? •Att förnya och öka.
© Anders Broberg, Ulrika Hägglund, Lena Kallin Westin, 2003 Datastrukturer och algoritmer Föreläsning
hej och välkomna EKVATIONER Ta reda på det okända talet.
xn + yn = zn Problemlösning Några enkla metoder
Leif Håkansson’s Square Dancer Rotation
Institutionen för matematik, KTH Mats Boij 5B1118 Diskret matematik 19 novnember B1118 Diskret matematik Sjunde föreläsningen Grupper.
1 Ingenjörsmetodik IT & ME 2009 Föreläsare Dr. Gunnar Malm.
Elkraft 7.5 hp distans: Kap. 3 Likströmsmotorn 3:1
För utveckling av verksamhet, produkter och livskvalitet. Algoritmer och datastructurer - Lite mer rekursivitet -Sorterrings algoritmer -- Kapitel 8 Algoritmer.
1 Ladok3 Examensfokus »NUAK »Catherine Zetterqvist, huvudproduktägare Ladok3 »Annika Thunström, områdesproduktägare examen Ladok3.
Stora additionstabellen
V E R S I O N N R 2. 0 T A V E L I D É E R I M I L J Ö.
© Anders Broberg, Ulrika Hägglund, Lena Kallin Westin, 2004 Datastrukturer och algoritmer Föreläsning 3.
Presupposition gemensam kunskap som inte behöver påstås eller förklaras förutsatt information - bakgrundsantaganden konventionaliserade bärare av implicit.
Programmering B PHP Lektion 2
INFÖR NATIONELLA PROVET
1 Funktioner Nr 3 Funktionstyper, högre ordningens funktioner och polymorfism.
Byggnadsmekanik gk 2.1 SNITTKRAFTER
1 Figur 1.1 Utveckling av Sveriges BNP per invånare under perioden 1990–2010 jämfört med OECD och ett genomsnitt för de sex närmaste konkurrentländerna.
Algebra och ekvationer
Bild 1 Hur använder vi KursInfo idag? Högskolan i Skövde.
Beräkna en ekvation (metod 1)
Fieldsmedaljen.  John Charles Fields  René Thom1958  Lars Hörmander1962  John Willard Milnor 1962  Alexander Grothendieck1966  Grigorij Jokovlevitj.
Det handlar om multiplikation
TÄNK PÅ ETT HELTAL MELLAN 1-50
Föreläsning 3 Programmeringsteknik och Matlab DD1312
Lennart Edblom, Frank Drewes, Inst. f. datavetenskap 1 Föreläsning 6: Semantik Statisk semantik Attributgrammatiker Dynamisk semantik Axiomatisk.
Best pictures on the internet 2007 Awards 1http:// Är vänsteralliansen trovärdig i Norrköping.
Funktioner, styrstrukturer, manipulering av matriser
Jonny Karlsson INTRODUKTION TILL PROGRAMMERING Föreläsning 3 ( ) INNEHÅLL: -Jämförelseoperatorer -Villkorssatser -Logiska operatorer.
Det finns i V en operation kallad addition, betecknad + sådan att
Best pictures on the internet 2007 Awards 1http:// (s), (v), och (mp) i Norrköping, gillar inte att vi använder grundlagarna.
Styrteknik: Grundläggande logiska funktioner D2:1
1 Föreläsning 6 Programmeringsteknik och Matlab 2D1312/2D1305 Metoder & parametrar Array API och klassen ArrayList.
1 Föreläsning 5 Programmeringsteknik och Matlab 2D1312/2D1305 Repetition Metoder Array API och klassen ArrayList.
Rymdväder och prognoser Rymdens fysik Peter Wintoft.
INTRODUKTION Balken kan ha olika tvärsnitt
Dagens ämnen Determinanten Radoperationers påverkan på determinanten
Samspelet mellan Matematiken och Vetenskapen Ambjörn Naeve The Knowledge Management Research group Centre for user-oriented IT Design (CID) Numerical.
Ingenjörsmetodik IT & ME 2008
Räkna till en miljard 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13,14,15,16,17,18,19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, En miljard är ett.
Matematik – Karl Johans skola i Örebro
© Anders Broberg, Ulrika Hägglund, Lena Kallin Westin, 2003 Föreläsning 12 Sökning och Sökträd.
Föreläsning 4-5 Logik med tillämpningar
1 L U N D S U N I V E R S I T E T Bygginnovationssystem, VBEN20 Kristian Widén.
Föreläsning 11 Logik med tillämpningar Innehåll u Generell resolution u Kapitel i Ben-Ari.
1 Mönstermatchning och rekursion Nr 4. 2 Förenklad notation val fnname = fn name => expression Förenklas till fun fnname name = expression Exempel fun.
1 Mjukvaru-utveckling av interaktiva system God utveckling av interaktiva system kräver abstrakt funktionell beskrivning noggrann utvecklingsmetod Slutanvändare.
När infaller Julafton och hur ofta?
Satslogik, forts. DAA701/716 Leif Grönqvist 5:e mars, 2003.
TATA31 Linjär algebra Examinator, föreläsare: Ulf Janfalk
Logik med tillämpningar
1 Semantik – introduktion Semantik = läran om mening Tvärvetenskapligt filosofi lingvistik psykologi AI Lingvistik motsägelser mångtydighet metaforer Filosofi.
Matematikens Historia
Krav på vetenskaplig tolkning
 Viktig förberedelse för mer avancerad problemlösning  Verktyg för att underlätta beräkningar  Och jo, man har nytta av algebra, men ofta arbetar vi.
Manada.se Algebra och funktioner. 1.1 Algebra och polynom Förkunskaper: Grundläggande algebra Konjugatregeln och kvadreringsreglerna Andragradsekvationer.
KPP053, HT2015 MATLAB, Föreläsning 4
Några nedslag i geometrins historia
Populärt brukar algebra ibland kallas för bokstavsräkning
Aritmetik & algebra Geometri & bevis Förändring & procent Funktioner
ÄMNESHJUL MATEMATIK ÅK 3
David Witt Nyström Matematiska vetenskaper CTH och GU
David Witt Nyström Matematiska vetenskaper CTH och GU
Presentationens avskrift:

Hilberts och Clays problem

Hilberts och Clays problem Hilberts biografi Hilberts problem The Clay Mathematics Institute of Cambridge Millenniumproblemen

David Hilbert Wir müssen wissen, wir werden wissen We must know, we shall know. Born: 23/1 1862 Königsberg, Prussia (now Kaliningrad, Russia) Died: 14/2 1943 Göttingen, Germany

Education 1885 – received doctorate for a thesis entitled Über invariante Eigenschaften spezieller binärer Formen, insbesondere der Kugelfunktionen Career 1886 to 1895 - Königsberg 1895 - University of Göttingen 1902 - University of Berlin

Work 1888 - he proved his famous Basis Theorem 1893 - began a work “Zahlenbericht” on algebraic number theory 1899 - published Grundlagen der Geometrie 1900 – 23 problems

Hilberts problem * År 1900 på Världskongressen i Paris * Nytt millenium, nya upptäckter och framsteg

Hilberts problemen 1-2, 10 Matematikens grunder 3-6 Grunder inom specifika områden 7-9, 11-12 Talteori 14-18 Algebra och geometri 13, 19-23 Analys

Hilberts problem nr 1 Bevisa att det inte finns något kardinaltal som ligger mellan de naturliga talens, som är uppräkneligt många, och de reella talens Kardinaltal- betecknar antalet element i en mängd Naturliga talens kardinalitet = alef0 Reella talens kardinalitet =2^alef0

Hilberts problem nr 1 Bevis Kurt Gödel 1940 Hypotesen är sann Bevis Paul Cohen 1963 Negationen av hypotesen också sann Resultat: Kontinuumhypotesen är oavgörbar. Hypotesen kan vara sann eller falsk beroende på vilka val vi gör.

Hilberts problem nr 2 Bevisa att aritmetiken ej innehåller motsägelser och att varje sant påstående kan härledas från dessa axiom med ändligt antal logiska steg

Hilberts problem nr 2 Bevis Kurt Gödel 1931 Ofullständighetsteoremet ”i varje teori som är kraftfull nog att innefatta aritmetiken, finns sanna utsagor som ej går att bevisa” Denna utsaga går ej att bevisa

Hilberts problem nr 2 Bevis Alan Turing 1930-talet Turingmaskinen Sats: det finns ingen algoritm med vars hjälp man kan avgöra om ett godtyckligt program P med en godtycklig input I någonsin kommer avsluta sin beräkningsprocess.

Hilberts problem 3 Kan två tetraedrar bevisas ha lika stor volym, med lika bas och lika höjd? 4 Är det möjligt att skapa geometrier där parallellaxiomet inte gäller? 5 Är kontinuerliga grupper per automatik differentiella grupper?

Hilberts problem 6 Axiomatisera fysiken 7 Är a^b transcendent för alla algebraiska a≠0, a≠1 och alla irrationella algebraiska b?

Hilberts problem 8 Riemann hypotesen 9 Generell konstruktion av återgivningsteoremet 10 Lösnings metoder för diofantiska ekvationer 11 Utöka resultat från kvadratiska fält till godtyckliga algebraiska fält

Hilberts problem 12 Utöka Kroneckers teorem för godtyckliga fält genom att konstruera Hilbert klass fält 13 Visa omöjligheten att lösa godtyckliga sjundegrads ekvationer med två argument

Hilberts problem 14 Visa ändligheten av relativa integralfunktions system 15 Klargöra Schuberts enumerativa geometri 16 Studera topologin hos reella algebraiska kurvor och ytor 17 Finn en representtion av definita former för kvadrater 18 Bygg rymder av kongruenta polyhedra.

Hilberts problem 19 Är lösningar till ”reguljära” problem i variationskalkylen nödvändigtvis analytiska? 20 Har alla variationsproblem med vissa randvillkor lösningar? 21 Bevisa existensen av linjära differentialekvationer med en specificerad monodromgrupp.

Hilberts problem 22 Gör analytiska relationer enhetliga genom att använda bijektiva funktioner. 23 Fortsätt utveckla variationskalkylen

Clay Mathematics Institute Dedikerad åt att öka och sprida matematisk kunskap

Historia Grundades i september 1998 Landon T. Clay, finansman i Boston Lavinia D. Clay Professor Arthur M. Jaffe Jim Carlson Från början kontor i Cambridge, Massachusetts I oktober 2002 flyttade CMI sina lokaler till One Bow Street in Harvard Square.

Institutets mål och syften Att öka och sprida matematisk kunskap Att undervisa matematiker och andra vetenskapsmän om nya upptäckter inom matematiken Att uppmuntra begåvade studenter att satsa på karriärer inom matematiken Att känna igen extraordinära prestationer och framsteg i matematisk forskning. Att föra vidare skönheten, kraften och universaliteten i det matematiska tänkandet.

Priser och utmärkelser Millenniumproblemen Clay Research Award Clay Olympiad Scholar Award

Millenniumproblemen 7 olösta problem Clay institute 2000 1.000.000 $ pris Lösningen kontrolleras utförligt

Millenniumproblemen Birch och Swinnerton-Dyers förmodan Hodgeförmodan Navier-Stokes ekvationer P=NP problem Riemannhypotesen Yang – Mills teori Poincarés förmodan

Birch och Swinnerton-Dyers förmodan Invecklade ekvationer Hitta alla heltalslösningar Ändligt antal lösningar? Riemanns zetafunktion

Hodgeförmodan Byggklossar Avancerade objekt Högre dimensioner Geometriska beskrivningen Algebraiska klasser

Navier-Stokes ekvationer Strömningsmekanik Båtar, bilar, flygplan Strömningshastighet och tryckfördelning Partiella differentialekvationer Numeriska metoder Exakta lösningar?

P=NP problem Teoretisk datalogi Beräkningsproblem P och NP Perfekta Bordsplaceringen Genväg till lösningen? Datorsäkerhet Kryptering

Riemannhypotesen System i primtalfördelningen Zetafunktion som produkt Icke-triviala nollställen till ekvationen 1,5 miljard lösningarna kollats Slutliga beviset?

Yang-Mills-teori Fysik Naturkrafterna Matematiska teorin inte klar

Poincarés förmodan Algebraisk topologi Klotets yta Perelmans bevis kontrolleras fortfarande

Sammanfattning Hilbert en ledande matematiker 1900 - Hilberts problem, framtiden öppen CMI – undervisa, sprida, uppmuntra, föra vidare 2000 – Millenniumproblemen, framtiden öppen