Gödels ufuldstændighedssætninger
|
|
- Peder Eskildsen
- 7 år siden
- Visninger:
Transkript
1 Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige 2 Folkeuniversitetet i København, efteråret 2011 Thomas Bolander, FUKBH 11 s. 1/21
2 Gödels ufuldstændighedssætning Ufuldstændighedssætningen: Publiceret i 1931 af Kurt Gödel (25 år). En af det 20. århundredes mest berømte matematiske sætninger. Populær formulering: Der findes sande matematiske sætninger som ikke kan bevises. Truer matematikkens grundlag som netop er sikkerhed gennem bevis. Revolutionerende: Bruger matematiske metoder til at vise begrænsningen i matematiske metoder. Thomas Bolander, FUKBH 11 s. 2/21
3 Den oprindelige formulering Den populære formulering (sande sætninger som ikke kan bevises) er naturligvis for upræcis til at kunne bevises. Hvorfor? Oprindelig formulering: Zu jeder ω-widerspruchsfreien rekursiven Klasse κ von Formeln gibt es rekursive Klassenzeichen r, so daß weder v Gen r noch Neg(v Gen r) zu Flg(κ) gehört (wobei v die freie Variable aus r ist). Denne formulering giver ikke mening for særligt mange mennesker, så lad os prøve at simplificere den lidt... Thomas Bolander, FUKBH 11 s. 3/21
4 Simplificeret formulering: Simplicerede formuleringer I ethvert konsistent formelt system som indeholder talteori findes udsagn som hverken kan bevises eller modbevises. Intuitivt: Systemet kan udtrykke udsagn, som det ikke selv kan afgøre om er sande eller ej. Repetition: Hvad er et formelt system? Hvad betyder konsistens? Ufuldstændighed: Et formelt system kaldes ufuldstændigt hvis der findes formler som hverken kan bevises eller modbevises. Parafrasering: Ethvert konsistent formelt system som indeholder talteori er ufuldstændigt. Thomas Bolander, FUKBH 11 s. 4/21
5 Fortolkninger af ufuldstændighedssætningen Gödels ufuldstændighedssætning er blevet givet meget vidtrækkende fortolkninger, f.eks.: Der findes sande matematiske sætninger som ikke kan bevises. Der er grænser for vores mulighed for erkendelse af sandhed gennem logiske argumenter. Der er grænser for den rationelle tankegangs rækkevidde. Mennesker er klogere end maskiner. (John R. Lucas) Mennesker ved mere end de kan vide, hvorfra de ved. (Tor Nørretranders i Mærk Verden) Disse kan ikke være direkte konsekvenser af Gödels sætning. Hvorfor ikke? Thomas Bolander, FUKBH 11 s. 5/21
6 Selvreference Essentiel komponent i Gödels bevis: selvreference. Selvreference: Selvreference bruges om objekter som refererer til sig selv. Det sker ved at en del af objektet refererer til objektet som helhed. Thomas Bolander, FUKBH 11 s. 6/21
7 Eksempler på selvreference: Selvreference Sætninger: Denne sætning indeholder 5 ord. Definitioner: En mængde er en vilkårlig samling af matematiske objekter. (Cantor s mængdebegreb). Hvor er selvreferencen her? Billeder: Thomas Bolander, FUKBH 11 s. 7/21
8 Flere eksempler på selvreference Regler: Alle regler har en undtagelse. Fraktaler: Thomas Bolander, FUKBH 11 s. 8/21
9 Mere selvreference I 1. uge præsenterede vi en række paradokser: Russells paradoks (mængden af mængder som ikke er element i sig selv). Barberens paradoks (barberen barberer de som ikke barberer sig selv). Pinocchios paradoks ( min næse vil nu vokse ). Involverer disse paradokser selvreference? I så fald, hvordan? Thomas Bolander, FUKBH 11 s. 9/21
10 Selvreference i Russells paradoks Definition. Russell-mængden R = mængden af mængder som ikke er element i sig selv. Definitionen er selvrefererende: R refererer til alle mængder, herunder R selv. En mængde som indeholder sig selv er altid selvrefererende (og har en uendelig dybde ): Thomas Bolander, FUKBH 11 s. 10/21
11 Løgnerparadokset Løgnerparadokset bygger på løgnersætningen L: L: Denne sætning er falsk. Spørgsmålet er nu: Er løgnersætningen L sand eller falsk? Egenskaber: Selvrefererende + paradoksal. Thomas Bolander, FUKBH 11 s. 11/21
12 Fra løgnersætning til Gödelformel Gödels bevis bygger på Gödelformlen G som udtrykker: G: Denne formel kan modbevises. (Bemærk selvreference & relation til løgnersætning). Spørgsmålet er nu: Kan formlen G bevises eller ej? 1. G kan bevises G er sand G kan modbevises. 2. G kan ikke bevises vi kan ikke bevise at G kan modbevises vi kan ikke modbevise G. Konklusion. Der må gælde en af følgende: 1. G kan både bevises og modbevises. 2. G kan hverken bevises eller modbevises. Altså: Hvis systemet er konsistent (ikke 1), så er det ufuldstændigt (2). Dette er netop formuleringen i Gödels sætning! Thomas Bolander, FUKBH 11 s. 12/21
13 Fra Gödelformel til ufuldstændighedssætning Hvad vi har (fra foregående slide): Ethvert konsistent system som kan udtrykke Gödelformlen er ufuldstændigt. Hvad vi vil vise (jvf. starten af forelæsning): Ethvert konsistent formelt system som indeholder talteori er ufuldstændigt. Hvad vi mangler at vise: Formelt system indeholder talteori kan udtrykke Gödelformel. Gödelformel ufuldstændighed + talteori Gödelformel = talteori ufuldstændighed Thomas Bolander, FUKBH 11 s. 13/21
14 Talteori Formelt system indeholder talteori hvis: Kan udtrykke egenskaber ved de naturlige tal 0, 1, 2,.... Har passende aksiomer for de naturlige tal, f.eks. x(x + 1 0). Mål: Indenfor sådanne systemer at udtrykke Gödelformlen: Denne formel kan modbevises. Udfordring: Formler i talteori taler om tal og egenskaber ved tal. Vi skal have dem til i stedet at tale om formler og egenskaber ved formler (så vi kan danne Gödelformlen). Antag de eneste objekter du må tale om er tal. Hvordan vil du da tale om objekterne i dette rum? Thomas Bolander, FUKBH 11 s. 14/21
15 Gödel-nummerering Gödel-nummerering: Hver formel ϕ i det formelle system får et entydig nummer (et CPR-nummer ). Dette nummer kaldes Gödelnummeret af formlen, og betegnes ϕ. Pointen er: Formelle systemer indeholdende talteori kan da udtrykke egenskaber ved formler via deres Gödelnumre > 2 2 > 1 Thomas Bolander, FUKBH 11 s. 15/21
16 Selvreference i formelle systemer Vigtigste egenskab ved formler: Er de bevisbare eller ej? Denne egenskab indfanger Gödel i en formel bevisbar(x). Der gælder: ϕ kan bevises bevisbar( ϕ ) kan bevises. Intuitivt: Formlen bevisbar(x) tillader systemet at tale om hvilke formler der er bevisbare i systemet selv (via deres Gödelnumre)! Formlen bevisbar(x) er et alvidende orakel for systemet. Hvad er relationen til selvreference? Thomas Bolander, FUKBH 11 s. 16/21
17 Gödelformlen Gödel konstruerer en formel G så følgende er bevisbart: G bevisbar( G ). Her står G for negationen af G, dvs. formlen som udtrykker ikke-g. Intuitivt: G udtrykker at dens egen negation er bevisbar. Altså: Denne formel kan modbevises. Dvs. Gödelformlen. Konklusion: Gödelformlen kan udtrykkes i ethvert system som indeholder talteori. Thomas Bolander, FUKBH 11 s. 17/21
18 Opsummering Gödels ufuldstændighedssætning. Ethvert konsistent formelt system som udvider talteori er ufuldstændigt. Bevisskitse: Introducér Gödelnummerering i systemet (via talteori). Konstruér formlen bevisbar(x) som udtrykker bevisbarhed indenfor systemet selv (via Gödelnumre). Konstruér formlen G som udtrykker sin egen modbevisbarhed. Der må nu gælde en af følgende: 1. G kan både bevises og modbevises. 2. G kan hverken bevises eller modbevises. Da vi har antaget konsistens, må 2 gælde. Det viser ufuldstændighed, og beviset er slut. Thomas Bolander, FUKBH 11 s. 18/21
19 Konsekvenser af ufuldstændighedssætningen Konsekvens af ufuldstændighedssætningen: ZFC (Zermelo-Fraenkel mængdelære) er ufuldstændigt, dvs. kan udtrykke formler som ikke kan afgøres indenfor systemet selv. Det samme gælder for enhver udvidelse af ZFC! I sædvanlig matematisk praksis er beviser dog udtrykt i naturligt sprog, ikke i rammerne af et formelt system. Er sædvanlig matematisk praksis så fuldstændigt eller ej? Thomas Bolander, FUKBH 11 s. 19/21
20 Hilberts program Gödels resultater afliver også Hilberts program (jvf. sidste uges forelæsning). Gödels anden ufuldstændighedssætning. Intet formelt system som indeholder talteori kan bevise sin egen konsistens. Formel som udtrykker systemets konsistens: bevisbar( ϕ ϕ ). Thomas Bolander, FUKBH 11 s. 20/21
21 Opsummering Gödels ufuldstændighedssætning omtaler udelukkende formelle systemer, men er ofte fortolket meget mere vidtrækkende. Essentielt siger sætningen at alle formelle systemer er ufuldstændige, dvs. utilstrækkelige til at afgøre alle formler som kan udtrykkes i dem. Gödels bevis gør essentielt brug af selvreference samme idé som ligger bag f.eks. Russells paradoks og løgnerparadokset. Selvreference opnås via en Gödelnummerering, som muliggør at formler kan tale om andre formler via deres Gödelnumre ( CPR-numre ). Gödels sætning giver nådesstødet til Hilberts program. Thomas Bolander, FUKBH 11 s. 21/21
Gödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Compute UNF foredrag, HCØ, 16. september 2014 (c_e)l[^ga=f]2 (F[_E_B])L[=A,_Ac]L[=E,_B,_E]- [E,B,E]2L[F,=B,=E]2 L[^F,C=F] Thomas Bolander, UNF, 16/9-2014
Læs mereGödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige Folkeuniversitetet i København, efteråret 2009 Thomas Bolander, FUKBH 09 s. 1/27 Gödels første ufuldstændighedssætning
Læs mereUfuldstændighed, mængdelære og beregnelighed
Ufuldstændighed, mængdelære og beregnelighed Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige Folkeuniversitetet i København, efteråret 2009 Thomas Bolander, FUKBH 09 s. 1/27 Sidste
Læs mereSelvreference i begrænsningsresultaterne
Selvreference i begrænsningsresultaterne Thomas Bolander, IMM, DTU. tb@imm.dtu.dk To pointer: (1) Der skal kun meget lidt udover selvreference til for at få de klassiske logiske begrænsningsresultater.
Læs mereGödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik UNF foredrag, HCØ, 13. april 2010 Thomas Bolander, UNF, F10 s. 1/34 Introduktion En populær formulering af Gödel s (første) ufuldstændighedssætning
Læs mereThomas Bolander og Helge Elbrønd Jensen. 7. marts 2005
Om Gödels sætning Thomas Bolander og Helge Elbrønd Jensen 7. marts 2005 Resumé Gödels sætning er en af det 20. århundredes mest berømte matematiske sætninger. Den er kendt langt ud over de professionelle
Læs mereFormelle systemer og aksiomatisk mængdelære
Formelle systemer og aksiomatisk mængdelære Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige 2 Folkeuniversitetet i København, efteråret 2011 Thomas Bolander, FUKBH 11 s. 1/32 Lidt
Læs mereGödel: Über formal unentschiedbare Sätze der Principia Mathematica und verwandter Systeme I, 1931
Kommentar til 1 Gödel: Über formal unentschiedbare Sätze der Principia Mathematica und verwandter Systeme I, 1931 Denne afhandling af den 24-årige Kurt Gödel er blevet en klassiker. Det er vist den eneste
Læs mereUdvalgsaksiomet. Onsdag den 18. november 2009
Udvalgsaksiomet Onsdag den 18. november 2009 Eksempler Fourier udvikling af f(x)=x 4 3 5 10 2 1 1 2 0 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 1 2 3 4
Læs mere01017 Diskret Matematik E12 Alle bokse fra logikdelens slides
01017 Diskret Matematik E12 Alle bokse fra logikdelens slides Thomas Bolander 1 Udsagnslogik 1.1 Formler og sandhedstildelinger symbol står for ikke eller og ( A And) hvis... så... hvis og kun hvis...
Læs meret a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42
Slide 1/42 Hvad er matematik? 1) Den matematiske metode 2) Hvad vil det sige at bevise noget? 3) Hvor begynder det hele? 4) Hvordan vælger man et sæt aksiomer? Slide 2/42 Indhold 1 2 3 4 Slide 3/42 Mængder
Læs mereUendelige rækker og Taylor-rækker
Uendelige rækker og Taylor-rækker Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige Folkeuniversitetet i København, efteråret 200 Thomas Bolander, FUKBH 0 s. /24 Forhold mellem endelighed
Læs mereBeregnbarhed, diagonalisering og matematikkens grundlag
Beregnbarhed, diagonalisering og matematikkens grundlag Stig Andur Pedersen Afdelingen Filosofi og Videnskabsteori, RUC 1 Matematikkens grundlagsproblemer Omkring år 1900 havde matematikken udviklet metoder
Læs mereHvad er et tal? Dan Saattrup Nielsen
12 Det filosofiske hjørne Hvad er et tal? Dan Saattrup Nielsen Det virker måske som et spøjst spørgsmål, men ved nærmere eftertanke virker det som om, at alle vores definitioner af tal refererer til andre
Læs mereMatematik: Videnskaben om det uendelige 1
Matematik: Videnskaben om det uendelige 1 Ottende forelæsning: Den aksiomatiske metode II Klaus Frovin Jørgensen 15. november, 2010 1 / 30 Fra sidste gang (1/2) Generelt har vi set, at: Et basalt element
Læs mereElementær Matematik. Mængder og udsagn
Elementær Matematik Mængder og udsagn Ole Witt-Hansen 2011 Indhold 1. Mængder...1 1.1 Intervaller...4 2. Matematisk Logik. Udsagnslogik...5 3. Åbne udsagn...9 Mængder og Udsagn 1 1. Mængder En mængde er
Læs mereEpistemisk logik og kunstig intelligens
Epistemisk logik og kunstig intelligens Thomas Bolander, DTU Informatik Gæsteforelæsning i Kognitionsforskning II, CST, KU, efteråret 2009 Thomas Bolander, Kognitionsforskning II 09 s. 1/22 Logik Logik
Læs mereAnalyse 1. Mads Friis Anders Friis Anne Ryelund. 25. maj 2018
Analyse 1 Mads Friis Anders Friis Anne Ryelund 25. maj 2018 Indhold Introduktion Aksiomer og den matematiske metode Formalistisk struktur Mængder Introduktion Definitioner Delmængder Fællesmængde og foreningsmængde
Læs mereTuring og den universelle maskine
Hilbert forestillede sig, undslipper ikke paradokserne: den fuldstændige formalisering er umulig. Reaktionerne var til at starte med stor forbløffelse. Logikkens og matematikkens fundamenter var pludselig
Læs mereLIDT OM UENDELIGHED HENRIK HOLM
LIDT OM UENDELIGHED HENRIK HOLM Denne note omhandler uendelighedsbegrebet, som det er indført af Georg Cantor omkring 1870 Vi henviser til [4] for Cantors arbejder For datiden var Cantors idéer revolutionerende,
Læs mereUENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, Indledning
UENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, ESBEN BISTRUP HALVORSEN 1 Indledning De fleste kan nok blive enige om, at mængden {a, b, c} er større end mængden {d} Den ene indeholder jo tre elementer,
Læs mereOpgaver i logik, torsdag den 20. april
Opgaver i logik, torsdag den 20. april Opgave 1 Oversæt følgende udsagn til logiske udtryk. c) Hvis Jones ikke bliver valgt til leder af partiet, så vil enten Smith eller Robinson forlade kabinettet, og
Læs mereMatematikkens fundament i krise
Matematikkens fundament i krise Videnskabsfagprojekt ved IMFUFA, RUC David Hilbert 1862-1943 Gottlob Frege Georg Cantor 1845-1918 Gottlob Frege Henri Poincaré 1854-1912 Gottlob Frege Bertrand Russell 1872-1970
Læs mere16. december. Resume sidste gang
16. december Resume sidste gang Abstrakt problem, konkret instans, afgørlighedsproblem Effektiv kodning (pol. relateret til binær kodning) Sprog L : mængden af instanser for et afgørlighedsproblem hvor
Læs mereLogik, computere og kunstig intelligens
Logik, computere og kunstig intelligens 218 219 Af Lektor Thomas Bolander, Professor Jørgen Fischer Nilsson og Lektor Jørgen Villadsen, DTU Informatik Med anvendt matematik tænkes almindeligvis på udvikling
Læs mereBrug og Misbrug af logiske tegn
Brug og Misbrug af logiske tegn Frank Nasser 20. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:
Læs mere16. marts P NP. Essentielle spørgsmål: NP P? Et problem Q kaldes NP -fuldstændigt 1 Q NP 2 R NP : R pol Q. Resume sidste gang
16. marts Resume sidste gang Abstrakt problem konkret instans afgørlighedsproblem Effektiv kodning (pol. relateret til binær kodning) Sprog L : mængden af instanser for et afgørlighedsproblem hvor svaret
Læs mereGentzen og de transfinitte bevismetoder
Gentzen og de transfinitte bevismetoder Klaus Frovin Jørgensen Afdeling for Filosofi og Videnskabsteori, RUC Den 15. november 2011 1 / 27 Konsistensbeviser og grundlagskrisen Grundlagskrisen opstod på
Læs mereLimitations in Formal Systems and Languages
Limitations in Formal Systems and Languages Abstract This thesis has two major aims. The first is to demonstrate the centrality of Cantor s diagonal argument in the proofs of the classical limitation results
Læs mereHenrik Bulskov Styltsvig
Matematisk logik Henrik Bulskov Styltsvig Datalogiafdelingen, hus 42.1 Roskilde Universitetscenter Universitetsvej 1 Postboks 260 4000 Roskilde Telefon: 4674 2000 Fax: 4674 3072 www.dat.ruc.dk Disposition
Læs meret a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 27. oktober 2014 Slide 1/25
Slide 1/25 Indhold 1 2 3 4 5 6 7 8 Slide 2/25 Om undervisningen Hvorfor er vi her? Hvad kommer der til at ske? 1) Teoretisk gennemgang ved tavlen. 2) Instruktion i eksempler. 3) Opgaveregning. 4) Opsamling.
Læs mereImplikationer og Negationer
Implikationer og Negationer Frank Villa 5. april 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion
Læs mere83 - Karakterisation af intervaller
83 - Karakterisation af intervaller I denne opgave skal du bevise, at hvis A er en delmængde af R med følgende egenskab: x, y, z R : x, y A og x < z < y z A (1) så er A enten et interval eller en mængde
Læs meret a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 7. november 2015 Slide 1/25
Slide 1/25 Indhold 1 2 3 4 5 6 7 8 Slide 2/25 Om undervisningen Hvorfor er vi her? Slide 3/25 Om undervisningen Hvorfor er vi her? Hvad kommer der til at ske? 1) Teoretisk gennemgang ved tavlen. 2) Instruktion
Læs mereTALTEORI Følger og den kinesiske restklassesætning.
Følger og den kinesiske restklassesætning, december 2006, Kirsten Rosenkilde 1 TALTEORI Følger og den kinesiske restklassesætning Disse noter forudsætter et grundlæggende kendskab til talteori som man
Læs mereMatematisk induktion
Induktionsbeviser MT01.0.07 1 1 Induktionsbeviser Matematisk induktion Sætninger der udtaler sig om hvad der gælder for alle naturlige tal n N, kan undertiden bevises ved matematisk induktion. Idéen bag
Læs mereMatematiske metoder - Opgavesæt
Matematiske metoder - Opgavesæt Anders Friis, Anne Ryelund, Mads Friis, Signe Baggesen 24. maj 208 Beskrivelse af opgavesættet I dette opgavesæt vil du støde på opgaver, der er markeret med enten 0, eller
Læs mereDen matematiske grundlagskrise 12. januar 2010. Søren Frejstrup Grav Petersen
Den matematiske grundlagskrise 12. januar 2010 Asger Haugstrup Helene Juncher Søren Frejstrup Grav Petersen Mikkel Nichlas Rauf Rasmus Sylvester Bryder Indhold 1 Problemformulering 2 2 Indledning 2 3 Logicisme
Læs mereFormaliseringens grænser i matematik og logik
i løbet af 1900-tallet afmonterede mange af de klippefaste videnskabelige overbevisninger fra 1800-tallet og erstattede dem med nye, mere præcise, men også mere relativerende lovmæssigheder. Det viste
Læs mereArchimedes Princip. Frank Nasser. 12. april 2011
Archimedes Princip Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette er
Læs mereDen sproglige vending i filosofien
ge til forståelsen af de begreber, med hvilke man udtrykte og talte om denne viden. Det blev kimen til en afgørende ændring af forståelsen af forholdet mellem empirisk videnskab og filosofisk refleksion,
Læs mereGrækerne f.eks. Euklid, skolastikerne; logisk slutning; syllogismer; videnskabsideal: matematik René Descartes ( ); metodisk tvivl;
Logisk videnskab: Rationalisme: Empirisme: Hermeneutik: Semiotik: Strukturalisme: Positivisme: Fænomenalisme: Kritisk rationalisme: Paradigmeteori: Videnskabsanarkisme: Grækerne f.eks. Euklid, skolastikerne;
Læs mereUndersøgende aktivitet om primtal. Af Petur Birgir Petersen
Undersøgende aktivitet om primtal. Af Petur Birgir Petersen Definition: Et primtal er et naturligt tal større end 1, som kun 1 og tallet selv går op i. Eksempel 1: Tallet 1 ikke et primtal fordi det ikke
Læs mereDen moderne grundlagsdiskussion. Tirsdag den 22. November 2011
Den moderne grundlagsdiskussion Tirsdag den 22. November 2011 The empirical law of epistemology!"#$%"&'()*"+,"-(#./%&"0%1-2"+,"('3+*#"!"#$"%&'("'')*"'+(0.#"+,"%$*,'$-+(-,.,$/0( %'12/4"5"6/+6+*%"#+"/%,%/"#+"#$%"+0*%/7(8+-")$19$"#$%*%"%:(36'%*"1''.*#/(#%"(*"#$%"
Læs mereOm matematisk logik. Henning Christiansen, Troels Andreasen
Om matematisk logik Henning Christiansen, Troels Andreasen Contents 1 Indledning 3 2 Propositionel logik 5 2.1 Propositionelle logiksprog..................... 5 2.1.1 Syntaks...........................
Læs mere1 < 2 og 1 > 2 (2.1) er begge udsagn. Det første er sandt det andet er falsk. Derimod er
Kapitel 2 Logik Dette kapitel omhandler matematiske udsagn og prædikater. I et formelt kursus om logik opstiller man helt præcise regler for hvilke tegnstrenge, der kan tillades i opbygningen af udsagn
Læs mereAksiomatiske systemer og Gödels sætninger. Jørgen Ebbesen
"0" 1 "ƒ" 3 " " 5 " " 7 " " 9 "(" 11 ")" 13 Aksiomatiske systemer og Gödels sætninger Jørgen Ebbesen Aksiomatiske systemer og Gödels sætninger. Her kan man fx tage udgangspunkt i et eller flere eksempler
Læs mereLogik. Helge Elbrønd Jensen og Tom Høholdt Fortolket af Michael Elmegård og Øistein Wind-Willassen.
Logik Helge Elbrønd Jensen og Tom Høholdt Fortolket af Michael Elmegård og Øistein Wind-Willassen. 25. juni 2014 2 Indhold 1 Matematisk Logik 5 1.1 Udsagnslogik.................................... 5 1.2
Læs mereLogik. Af Peter Harremoës Niels Brock
Logik Af Peter Harremoës Niels Brock December 2009 1 Indledning Disse noter om matematisk logik er en videreudbygning af det, som står i bogen MAT A [1]. Vi vil her gå lidt mere systematisk frem og være
Læs mereForord. Dette materiale er ophavsretligt beskyttet og må ikke videregives
Baggrunden for tilblivelsen af denne bog er to serier af forelæsninger, som jeg arrangerede på Folkeuniversitetet i 2010 og 2011. De omhandlede forskellige matematiske emner og tiltrak mange deltagere.
Læs mereMatematiske metoder - Opgaver
Matematiske metoder - Opgaver Anders Friis, Anne Ryelund 25. oktober 2014 Logik Opgave 1 Find selv på tre udtalelser (gerne sproglige). To af dem skal være udsagn, mens det tredje ikke må være et udsagn.
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Maj-juni 2017 Institution VUC Vest Uddannelse Fag og niveau Lærer(e) Hold hf2 Matematik C Claus Simonsen 16y
Læs mereTypes, tokens og rationalisme i matematikkens filosofi
Types, tokens og rationalisme i matematikkens filosofi Klaus Frovin Jørgensen Afdelingen Filosofi og Videnskabsteori, RUC 6. marts, 2010 1 / 29 Hilbert og den aksiomatiske metode David Hilbert (1862-1943)
Læs mereANALYSE 1. Uge 7, 4. juni juni, 2007
ANALYSE 1 Uge 7, 4. juni - 10. juni, 2007 Forelæsninger Mandag 4. juni Formålet med denne dags forelæsninger er at etablere en overgang til emnet metriske rum, hvis hovedformål er at udvide begreber som
Læs mereProjekt 7.10 Uendelighed Hilberts hotel
Hvad er matematik? ISBN 909 Projekter: Kapitel Projekt 0 Uendelighed Hilberts hotel Projekt 0 Uendelighed Hilberts hotel (Materialet i dette projekt er hentet fra Hvad er matematik? A, indledningen til
Læs mereSkriftlig eksamen - med besvarelse Topologi I (MM508)
INSTITUT FOR MATEMATIK OG DATALOGI SYDDANSK UNIVERSITET, ODENSE Skriftlig eksamen - med besvarelse Topologi I (MM508) Mandag d. 14. januar 2007 2 timer med alle sædvanlige hjælpemidler tilladt. Opgavesættet
Læs mereTrekanter. Frank Villa. 8. november 2012
Trekanter Frank Villa 8. november 2012 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion 1 1.1
Læs mereBanach-Tarski Paradokset
32 Artikeltype Banach-Tarski Paradokset Uden appelsiner Andreas Hallbäck Langt de fleste af os har nok hørt om Banach og Tarskis såkaldte paradoks fra 1924. Vi har hørt diverse poppede formuleringer af
Læs mereKonstruktion af de reelle tal
Konstruktion af de reelle tal Rasmus Villemoes 17. oktober 2005 Indledning De fleste tager eksistensen af de reelle tal R for givet. I Matematisk Analyse-bogen Funktioner af en og flere variable af Ebbe
Læs mereMatematisk argumentation
Kapitlets omdrejningspunkt er matematisk argumentation, der især bruges i forbindelse med bevisførelse altså, når det drejer sig om at overbevise andre om, at matematiske påstande er sande eller falske.
Læs mereNoter til Perspektiver i Matematikken
Noter til Perspektiver i Matematikken Henrik Stetkær 25. august 2003 1 Indledning I dette kursus (Perspektiver i Matematikken) skal vi studere de hele tal og deres egenskaber. Vi lader Z betegne mængden
Læs mereDette er ikke titlen på dette tema
Dette er ikke titlen på dette tema Evgenia Sendova 1 Paradokser her, der, allevegne Jeg beklager dybt skrev den franske matematiker og filosof Blaise Pascal til en ven men jeg har ikke tid til at skrive
Læs mereKvantitative Metoder 1 - Forår 2007
Dagens program Kapitel 8.7, 8.8 og 8.10 Momenter af gennemsnit og andele kap. 8.7 Eksempel med simulationer Den centrale grænseværdisætning (Central Limit Theorem) kap. 8.8 Simulationer Normalfordelte
Læs meret a l e n t c a m p d k Kalkulus 1 Mads Friis Anders Friis Anne Ryelund Signe Baggesen 10. januar 2015 Slide 1/54
Slide 1/54 Indhold 1 2 3 4 5 Slide 2/54 Indhold 1 2 3 4 5 Slide 3/54 1) Hvad er et aksiom? Slide 4/54 1) Hvad er et aksiom? 2) Hvorfor har vi brug for aksiomer? The Monty Hall Problem Slide 4/54 1) Hvad
Læs mereDe rigtige reelle tal
De rigtige reelle tal Frank Villa 17. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion
Læs mereAnalyse 2. Gennemgå bevis for Sætning Supplerende opgave 1. Øvelser. Sætning 1. For alle mængder X gælder #X < #P(X).
Analyse 2 Øvelser Rasmus Sylvester Bryder 3. og 6. september 2013 Gennemgå bevis for Sætning 2.10 Sætning 1. For alle mængder X gælder #X < #P(X). Bevis. Der findes en injektion X P(X), fx givet ved x
Læs mere3. klasse 6. klasse 9. klasse
Børne- og Undervisningsudvalget 2012-13 BUU Alm.del Bilag 326 Offentligt Elevplan 3. klasse 6. klasse 9. klasse Matematiske kompetencer Status tal og algebra sikker i, er usikker i de naturlige tals opbygning
Læs mereMatematik. Matematiske kompetencer
Matematiske kompetencer skelne mellem definitioner og sætninger, mellem enkelttilfælde og generaliseringer og anvende denne indsigt til at udforske og indgå i dialog om forskellige matematiske begrebers
Læs mereSide 9 sætningen: Kolmogorov s konsistensætning Tue Tjur, Institut for Matematisk Statistik
Side 9 sætningen: Kolmogorov s konsistensætning Tue Tjur, Institut for Matematisk Statistik Advarsel: I denne artikel gives udtryk for holdninger til sandsynlighedsregningens grundlag. Disse er forfatterens
Læs mereEvaluering af matematik undervisning
Evaluering af matematik undervisning Udarbejdet af Khaled Zaher, matematiklærer 6-9 klasse og Boushra Chami, matematiklærer 2-5 klasse Matematiske kompetencer. Fællesmål efter 3.klasse indgå i dialog om
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Maj-juni 2015 Institution VUC Vest Uddannelse Fag og niveau Lærer(e) Hold hf2 Matematik C Claus Simonsen 14x
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Maj-juni 2015 Institution VUC Vest Uddannelse Fag og niveau Lærer(e) Hold stx Matematik A Claus Simonsen 14MABA61
Læs mereUndervisningsplan for matematik
Undervisningsplan for matematik Formål for faget Formålet med undervisningen i matematik er, at eleverne udvikler kompetencer og opnår viden og kunnen således, at de bliver i stand til at begå sig hensigtsmæssigt
Læs mereIntroduktion til prædikatlogik
Introduktion til prædikatlogik Torben Braüner Datalogisk Afdeling Roskilde Universitetscenter 1 Plan Symbolisering af sætninger Syntaks Semantik 2 Udsagnslogik Sætningen er den mindste syntaktiske enhed
Læs mereMatematik samlet evaluering for Ahi Internationale Skole
efter 3.klasse. e efter 6.klasse. e Skole efter 9.klasse. e indgå i dialog om spørgsmål og svar, som er karakteristiske i arbejdet med matematik (tankegangskompetence formulere sig skriftligt og mundtligt
Læs mereHvad er formel logik?
Kapitel 1 Hvad er formel logik? Hvad er logik? I daglig tale betyder logisk tænkning den rationelt overbevisende tænkning. Og logik kan tilsvarende defineres som den rationelle tænknings videnskab. Betragt
Læs mereProjekt 7.9 Euklids algoritme, primtal og primiske tal
Projekter: Kapitel 7 Projekt 79 Euklids algoritme, primtal og primiske tal Projekt 79 Euklids algoritme, primtal og primiske tal Projektet giver et kig ind i metodee i modee talteori Det kan udbygges med
Læs mereEleverne skal lære at:
PK: Årsplan 8.Ga. M, matematik Tid og fagligt område Aktivitet Læringsmål Uge 32 uge 50 Tal og algebra Eleverne skal arbejde med at: kende de reelle tal og anvende dem i praktiske og teoretiske sammenhænge
Læs mereTue Tjur: Hvad er tilfældighed?
Tue Tjur: Hvad er tilfældighed? 16. 19. september 1999 afholdtes i netværkets regi en konference på RUC om sandsynlighedsregningens filosofi og historie. Som ikke specielt historisk interesseret, men nok
Læs merePrimtal - hvor mange, hvordan og hvorfor?
Johan P. Hansen 1 1 Institut for Matematiske Fag, Aarhus Universitet Gult foredrag, EULERs Venner, oktober 2009 Disposition 1 EUKLIDs sætning. Der er uendelig mange primtal! EUKLIDs bevis Bevis baseret
Læs mere1/41. 2/41 Landmålingens fejlteori - Lektion 1 - Kontinuerte stokastiske variable
Landmålingens fejlteori - lidt om kurset Landmålingens fejlteori Lektion 1 Det matematiske fundament Kontinuerte stokastiske variable - rw@math.aau.dk Institut for Matematiske Fag Aalborg Universitet Kursusholder
Læs mereÅrsplan for 7. klasse, matematik
Årsplan for 7. klasse, matematik I matematik bruger vi bogsystemet Sigma som grundmateriale. I systemet er der, ud over grundbogen, også kopiark og tests tilknyttet de enkelte kapitler. Systemet er udarbejdet
Læs mere5 hurtige til de voksne
16 Interview 5 hurtige til de voksne om intuitionisme Jingyu She og Maria Bekker-Nielsen Dunbar Hvad er det, du vil med matematik? Du vil gerne opbygge nogle modeller af et eller andet, som på en eller
Læs mereSkriftlig Eksamen Kombinatorik, sandsynlighed og randomiserede algoritmer (DM528)
Skriftlig Eksamen Kombinatorik, sandsynlighed og randomiserede algoritmer (DM58) Institut for Matematik & Datalogi Syddansk Universitet Torsdag den 7 Januar 010, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger,
Læs mereMODELSÆT 2; MATEMATIK TIL LÆREREKSAMEN
MODELSÆT ; MATEMATIK TIL LÆREREKSAMEN Forberedende materiale Den individuelle skriftlige røve i matematik vil tage udgangsunkt i følgende materiale:. En diskette med to regnearks-filer og en MathCad-fil..
Læs mereMatematik. Matematiske kompetencer
Matematiske kompetencer stille spørgsmål, som er karakteristiske for matematik og have blik for hvilke typer af svar, som kan forventes(tankegangskompetence) erkende, formulere, afgrænse og løse matematiske
Læs mereEksempel på den aksiomatisk deduktive metode
Eksempel på den aksiomatisk deduktive metode Et rigtig godt eksempel på et aksiomatisk deduktivt system er Euklids Elementer. Euklid var græker og skrev Elemeterne omkring 300 f.kr. Værket består af 13
Læs mereBOSK F2012, 1. del: Prædikatslogik
ε > 0. δ > 0. x. x a < δ f (x) L < ε February 8, 2012 Prædikater Vi skal lære om prædikatslogik lad os starte med prædikater. Et prædikat er et orakel der svarer ja eller nej. Eller mere præcist: Prædikater
Læs mereTema. Dagens tema: Indfør centrale statistiske begreber.
Tema Dagens tema: Indfør centrale statistiske begreber. Model og modelkontrol Estimation af parametre. Fordeling. Hypotese og test. Teststørrelse. konfidensintervaller Vi tager udgangspunkt i Ex. 3.1 i
Læs mereAf Marc Skov Madsen PhD-studerende Aarhus Universitet email: marc@imf.au.dk
Af Marc Skov Madsen PhD-studerende Aarhus Universitet email: marc@imf.au.dk 1 Besøgstjenesten Jeg vil gerne bruge lidt spalteplads til at reklamere for besøgstjenesten ved Institut for Matematiske Fag
Læs mereMatematisk modellering og numeriske metoder. Lektion 16
Matematisk modellering og numeriske metoder Lektion 16 Morten Grud Rasmussen 6. november, 2013 1 Interpolation [Bogens afsnit 19.3 side 805] 1.1 Interpolationspolynomier Enhver kontinuert funktion f på
Læs mereÅrsplan 8. klasse matematik 2013-2014 Uge Emne Faglige mål Trinmål Materialer/ systemer 33 og løbende
Årsplan 8. klasse matematik 2013-2014 33 løbende 33-34 løbende Løbende Problemregning ( faglig læsning) Mundtlig matematik (forberede oplæg til 6. klasse) - flere forskellige trinmål Ben, formelsamlingen,
Læs mereSandsynlighedsregning 1. forelæsning Bo Friis Nielsen
Sandsynlighedsregning 1. forelæsning Bo Friis Nielsen Anvendt Matematik og Computer Science Danmarks Tekniske Universitet 2800 Kgs. Lyngby Danmark Email: bfni@dtu.dk Hvad er sandsynlighedsregning? Formel/matematisk
Læs meret a l e n t c a m p d k Talteori Anne Ryelund Anders Friis 16. juli 2014 Slide 1/36
Slide 1/36 sfaktorisering Indhold 1 2 sfaktorisering 3 4 5 Slide 2/36 sfaktorisering Indhold 1 2 sfaktorisering 3 4 5 Slide 3/36 1) Hvad er Taleteori? sfaktorisering Slide 4/36 sfaktorisering 1) Hvad er
Læs mereMATEMATIK. Formål for faget
MATEMATIK Formål for faget Formålet med undervisningen er, at eleverne udvikler matematiske kompetencer og opnår viden og kunnen således, at de bliver i stand til at begå sig hensigtsmæssigt i matematikrelaterede
Læs mereEt udtryk på formena n kaldes en potens med grundtal a og eksponent n. Vi vil kun betragte potenser hvor grundtallet er positivt, altså a>0.
Konkrete funktioner Potenser Som udgangspunkt er brugen af potenser blot en forkortelse for at gange et tal med sig selv et antal gange. Hvis a Rskriver vi a 2 for a a a 3 for a a a a 4 for a a a a (1).
Læs mereBevisteknikker. Bevisteknikker (relevant både ved design og verifikation) Matematisk induktion. Matematisk induktion uformel beskrivelse
Bevisteknikker Bevisteknikker (relevant både ved design og verifikation) Bevisførelse ved modstrid (indirekte bevis) Antag, at det givne teorem er falsk Konkluder, at dette vil føre til en modstrid Teorem:
Læs mereAnalytisk plangeometri 1
1 Analytisk plangeometri 1 Kære 1. x, Vi begynder dag vores forløb om analytisk plangeometri. Dette bliver en udvidelse af ting i allerede kender til, så noget ved I i forvejen, mens andet bliver helt
Læs mereMatematik 1 Semesteruge 5 6 (30. september oktober 2002) side 1. Komplekse tal Arbejdsplan
Matematik Semesteruge 5 6 (30. september -. oktober 2002) side Komplekse tal Arbejdsplan I semesterugerne 5 og 6 erstattes den regulære undervisning (forelæsninger og fællestimer) af selvstudium med opgaveregning
Læs mere