Gentzen og de transfinitte bevismetoder
|
|
- Caroline Bjerre
- 7 år siden
- Visninger:
Transkript
1 Gentzen og de transfinitte bevismetoder Klaus Frovin Jørgensen Afdeling for Filosofi og Videnskabsteori, RUC Den 15. november / 27
2 Konsistensbeviser og grundlagskrisen Grundlagskrisen opstod på grund af en lang række uafklarede forhold inden for matematikken: Konsistensen af de reelle tal Kontinuumshypotesen Den finere detaljer i mængdelæren, jf. den naive mængdelære De forskellige paradokser Den aksiomatiske metode medførte meget abstrakt matematik osv. Kort sagt: Kunne man nu være sikker på, at indførelsen af ideale elementer altid gik godt? 2 / 27
3 Hilberts program Den aksiomatiske metode har flere funktioner. En meget vigtig er at give en garanti for rimeligheden af indførte ideale elementer. Program (David Hilbert): Angiv formelle systemer, som modsvarer matematiske teorier indeholdende ideale elementer. Vis, at repræsentationen er korrekt. Bevis konsistens af de formelle systemer ved brug af helt elementære metoder fra matematikkens endelige kerne. 3 / 27
4 Gödel, Gentzen og konsistensbeviser Gödel viste, at PA forstået som formaliseringen af den elementære talteori godt kunne forstå sin egen konsistens. Men konsistensen kunne ikke bevises internt i PA. Men Gödel mener ikke, at dette nødvendigvis er dødsstedet til Hilberts program: it is conceivable that there exist finitary proofs that cannot be expressed in the formalism of P. (Gödel, 1931; p. 195) 4 / 27
5 Gerhard Gentzen ( ) På trods af Gödels ufuldstændighedssætninger beviste Gentzen elev af Bernays og assistent til Hilbert konsistensen af PA i / 27
6 De konstruktive ordinaltal Vi definerer de konstruktive ordinaltal til at være de objekter, der opnås ved følgende rekursion: 1 0 er et ordinaltal. 2 Givet ordinaltallene µ, µ 1, µ 2,..., µ n, da er ω µ og µ 1 + µ µ n ordinaltal. Sætter vi ω 0 til at være lig 1, og til at være 2, osv. ser vi, at de naturlige tal er indeholdt i de konstruktive ordinaltal. Følgen hedder da 0, ω 0, ω 0 + ω 0,... svarende til de naturlige tal. Vi kan forstå ω = ω 1 som værende limes-tallet for følgen af naturlige tal. Vi kan definere en ordning og regneoperationer på alle disse tal. 6 / 27
7 Mere avancerede regneoperationer og tal Potensregneregler for ordinaltal: i) α 0 = 1 ii) α β+1 = α β α. iii) α κ = sup λ<κ α λ, hvor κ er limes-tal. Forskellige versioner af det første epsilon-tal: 1 ε 0 er det mindste fix-punkt til funktionen f ω (x) = ω x. 2 ε 0 = ω ω } ω gange. 3 ε 0 = sup{ω, ω ω, ω ωω, ω ωωω, ω ωωωω,...} 7 / 27
8 Den elementære talteori Den elementære talteori er det matematiske studie af de naturlige tal, funktioner herpå og ligningssystemer imellem naturlige tal. Sætningen om entydig primtalsfaktorisering er et godt eksempel på en sætning fra talteorien. Studiet af diofantiske ligninger er et andet vigtigt område af talteorien. Eksempler: ax + by = 1 x n + y n = z n 8 / 27
9 Peano-aritemetikken er den formelle udgave af den elementære talteori 9 / 27
10 Aksiomer for Peano-aritmetik Teorien formuleret i førsteordenssproget med symbolerne 0, S, +, vil vi kalde for PA. Den baserer sig på aksiomerne for den klassiske førsteordenslogik samt følgende aksiomer: 1 x(0 Sx). 2 x y ( (Sx = Sy) (x = y) ). 3 x(x + 0 = x). 4 x y ( x + Sy = S(x + y) ). 5 x(x 0 = 0). 6 x y ( x Sy = (x y) + x ). 7 For enhver formel A(x) gælder A(0) x ( A(x) A(Sx) ) xa(x). 10 / 27
11 Tænk på PA, som primitiv rekursiv aritmetik med kvantorer 11 / 27
12 Mod Gentzens konsistensbevis B B ( A B) B B ( A B) A B ( A B) ( ) ( A B) A A B ( A B) A A Altså, en inkonsistent teori beviser en hvilken som helst formel. Det vil sige: B, B beviser A. 12 / 27
13 Sætning. PA er konsistent. Gentzens konsistensbevis Bevis-skitse. Antag, PA er inkonsistent. Heraf følger, at PA beviser formlen 0 = 1, kald dette bevis B 1. Når B 1 beviser 0 = 1, så benyttes en specifik slutningsregel kaldet snit (en generalisation af modus ponens) et sted i beviset. Denne brug af snit kan flyttes længere op i et modificeret bevis kald dette B 2 som stadigvæk er et bevis af 0 = 1. Lav nu en ordinaltalstildeling til beviser i PA. Det følger af denne tildeling, at ordinaltallet til B 1 er større end ordinaltallet til B 2. Imidlertid gælder der, at vi kan modificere B 2, således at et nyt bevis, B 3, af 0 = 1 opstår. Ordinaltallet her er igen lavere. Denne procedure kan fortsættes i det uendelige. Dette er imidlertid i modstrid med, at ordinaltallene mindre end ε 0 er velordnede. Der kan med andre ord ikke findes en uendelig nedadstigende kæde af ordinaltal mindre end ε / 27
14 Følger af Gentzens bevis Af Gentzens bevis og Gödels ufuldstændighedsbevis følger der, at der er et element af konsistensbeviset, som ikke kan formaliseres i PA. Det viser sig, at det netop er velordningen af ordinaltallene mindre end ε 0, som ikke kan formaliseres i PA. Denne velordning er hverken mere eller mindre det, som skal til for at bevise konsistensen af PA. Derfor siger man også, at vi måler PA ved ordinaltallet ε 0 14 / 27
15 Mod et andet konsistensbevis af PA: Gödels Dialectica fortolkning og den moderne bevisteori 15 / 27
16 Klassisk logik og fuldstændighed Gödel viste i 1930 at klassisk logik havde en rigtig tilfredsstilende semantik, der baserede sig på at give formler mening i forhold til to og kun to sandhedsværdier sand og falsk. I forhold til denne semantik var der ækvivalens mellem bevisbarhed og sandhed, hvilket udtrykt på formler er: A 1,..., A n B A 1,..., A n = B Men hvad med intuitionistisk logik? 16 / 27
17 Heytings uformelle forståelse af symbolernes betydning ( ) p : A B hviss p er et par (p 0, p 1 ) sådan at p 0 : A og p 1 : B. ( ) p : A B hviss p er et par (p 0, p 1 ), p 0 {0, 1} og p 1 : A hvis p 0 = 0 og p 1 : B hvis p 0 = 1. ( ) p : A B iff p er en konstruktion, som tager en hvilken som helst q sådan at q : A over i p(q), hvor p(q) : B. ( ) p : A hviss p er en konstruktion der tager en hvilken som helst q, hvor q : A over i p(q), sådan at p(q) :. ( ) p : xa(x) hviss p er en konstruktion, der tager enhver t fra domænet ind i p(t) sådan at p(t) : A(t). ( ) p : xa(x) hviss p er et par (p 0, p 1 ), hvor p 0 er et objekt fra domænet, og hvor p 1 : A(p 0 ). 17 / 27
18 Intuitionistisk (minimal) udsagnslogik A A, A, A A B, B A B, A B A, A B B, A A B B A B C A (B C) A B B C A C A (B C) A B C A B A C A B C A C B C A B C 18 / 27
19 Forholdet mellem intuitionistisk logik og klassisk logik Syntaktisk kan man forstå klassisk logik som intuitionistisk logik udvidet med tertium non datur. Denne udvidelse er imidlertid ufarlig med hensyn til konsistens: Sætning (Gödel/Gentzen 1933). Hvis klassisk logik er inkonsistent, så er intuitionistisk logik det også. Beviset baserer sig på at oversætte fra klassisk logik ind i intuitionistisk logik, sådan at hvis en hvis en modstrid i klassisk logik kan udledes, så kan man også udlede en i intuitionistisk logik. 19 / 27
20 Hilberts program igen Vigtig pointe: Så intuitionistisk logik var altså stærkere, end man havde regnet med. Lad os erstatte den klassiske logik i PA med intuitionistisk logik. Så får vi HA. Hvad skal vi mene om denne teori? 20 / 27
21 Disjunction Property and Existence Property Does HA have the following two properties? Existence property: If HA xa(x) then HA A(t) for a certain term t. Disjunction property: If HA A B, for A, B closed then HA A or HA B. 21 / 27
22 The System Σ (1/2) The ground type consits of the natural numbers. There are symbols for zero and successor and variables of all types. If F is an operation of type σ τ this is written as F σ τ Operations in T are defined from combinators (which introduce λ-abstraction) K(x, y) = x S(x, y, z) = x(z)(yz) The combinators give us λ-abstraction λx.t for terms t, with the following equality: (λx.t[x])s = t[s]. Moreover, we have primitive recursion R(x, y, 0) = x R(x, y, (z + 1)) = y(r(x, y, z), z) 22 / 27
23 The System Σ (2/3) Quantifier free induction A(0) A(x 0 ) A(Sx 0 ) A(x 0 ) Substitution: A(x σ ) A(t σ ) 23 / 27
24 Soundness of the Dialectica translation The formulas of HA are translated into formulas of the type theory. Theorem (Gödel 1941). If HA A, then Σ A D (T, y), where T is a sequence of terms which can be extracted from a proof of A in HA. 24 / 27
25 Gödel s Results In 1941 the following results are mentioned: 1 For a certain quantifier free formula A(x) let C x(a(x) A(x)). Then HA + C is consistent. 2 If HA proves xa(x) then Σ proves the translated formula A D (t), for a term t. 3 -translation (1933) together with the new interpretation proves consistency of classical arithmetic relative to T. The interpretation was ultimately published in Dialectica in 1958: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. 25 / 27
26 Weak versus Strong Counterexamples Gödel produces with his interpretation a strong counterexample. x(a(x) A(x)) is demonstrably incompatible with classical logic. Thus it is shown that intuitionistic logic syntactically is a generalisation of classical logic: Intuitionistic logic can be continued with either tertium non datur or with x(a(x) A(x)) (but not with both jointly). 26 / 27
27 Coherence Gödel s interpretation is paradigmatic with respect to coherence (Σ is now called T): PA is interpreted in T T is consistent, we can prove strong normalisation, by: Howard s strong computability predicates (uses König s lemma) Tait s method of ascribing ordinals < ε 0 to terms of T Fits with Gentzen s consistency proof (which again fits with Schütte s full cut-elmination) Tait s proof of termination fits with Gentzen s characterisation of PA as ε 0 The no-counter-example interpretation can be derived from both the Dialectica interpretation and Gentzen s cut-elimination 27 / 27
Udvalgsaksiomet. 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 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 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 mereGödels ufuldstændighedssætninger
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 Gödels 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 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 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 mereUniversity of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3
University of Copenhagen Faculty of Science Written Exam - 3. April 2009 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish
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 mereExercise 6.14 Linearly independent vectors are also affinely independent.
Affine sets Linear Inequality Systems Definition 6.12 The vectors v 1, v 2,..., v k are affinely independent if v 2 v 1,..., v k v 1 is linearly independent; affinely dependent, otherwise. We first check
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 mereUniversity of Copenhagen Faculty of Science Written Exam April Algebra 3
University of Copenhagen Faculty of Science Written Exam - 16. April 2010 Algebra This exam contains 5 exercises which are to be solved in hours. The exercises are posed in an English and in a Danish version.
Læs mereSkriftlig Eksamen Beregnelighed (DM517)
Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 31 Oktober 2011, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner
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 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 mereSign variation, the Grassmannian, and total positivity
Sign variation, the Grassmannian, and total positivity arxiv:1503.05622 Slides available at math.berkeley.edu/~skarp Steven N. Karp, UC Berkeley FPSAC 2015 KAIST, Daejeon Steven N. Karp (UC Berkeley) Sign
Læs mereNoter til kursusgang 9, IMAT og IMATØ
Noter til kursusgang 9, IMAT og IMATØ matematik og matematik-økonomi studierne 1. basissemester Esben Høg 4. november 013 Institut for Matematiske Fag Aalborg Universitet Esben Høg Noter til kursusgang
Læs mereKonstruktiv matematik
Konstruktiv matematik Konstruktiv intuitionistisk fuldstændighed D602F12, foråret 2013, Aalborg Universitet 27. juni 2013 Institut for Datalogi Selma Lagerlöfs Vej 300 9220 Aalborg Ø Telefon (+45) 9940
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 mereKurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium
Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium Lisbeth Fajstrup Institut for Matematiske Fag Aalborg Universitet Kurver og Flader 2013 Lisbeth Fajstrup (AAU)
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 mereBasic statistics for experimental medical researchers
Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:
Læs mereStrings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +
Strings and Sets: A string over Σ is any nite-length sequence of elements of Σ The set of all strings over alphabet Σ is denoted as Σ Operators over set: set complement, union, intersection, etc. set concatenation
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 mereNoter til kursusgang 8, IMAT og IMATØ
Noter til kursusgang 8, IMAT og IMATØ matematik og matematik-økonomi studierne 1. basissemester Esben Høg 25. oktober 2013 Institut for Matematiske Fag Aalborg Universitet Esben Høg Noter til kursusgang
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 mereHeuristics for Improving
Heuristics for Improving Model Learning Based Testing Muhammad Naeem Irfan VASCO-LIG LIG, Computer Science Lab, Grenoble Universities, 38402 Saint Martin d Hères France Introduction Component Based Software
Læs mereLinear Programming ١ C H A P T E R 2
Linear Programming ١ C H A P T E R 2 Problem Formulation Problem formulation or modeling is the process of translating a verbal statement of a problem into a mathematical statement. The Guidelines of formulation
Læs mereMM537 Introduktion til Matematiske Metoder
MM537 Introduktion til Matematiske Metoder Spørgsmål 1 (11%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z:
Læs mere1 Beregnelighed. 1.1 Disposition. 1.2 Præsentation. Def. TM. Def. RE/R. Def. 5 egenskaber for RE/R. Def. NSA. Bevis. NSA!RE. Def. SA. Bevis. SA!
1 Beregnelighed 1.1 Disposition Def. TM Def. RE/R Def. 5 egenskaber for RE/R Def. NSA Bevis. NSA!RE Def. SA Bevis. SA!R Bevis. SA RE Def. Beslutningsproblem Arg. Self-Accepting er uløselig 1.2 Præsentation
Læs mereDM547 Diskret Matematik
DM547 Diskret Matematik Spørgsmål 1 (11%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z: 2n > n + 2 Svar 1.b:
Læs mereMultivariate Extremes and Dependence in Elliptical Distributions
Multivariate Extremes and Dependence in Elliptical Distributions Filip Lindskog, RiskLab, ETH Zürich joint work with Henrik Hult, KTH Stockholm I II III IV V Motivation Elliptical distributions A class
Læs mereOn the complexity of drawing trees nicely: corrigendum
Acta Informatica 40, 603 607 (2004) Digital Object Identifier (DOI) 10.1007/s00236-004-0138-y On the complexity of drawing trees nicely: corrigendum Thorsten Akkerman, Christoph Buchheim, Michael Jünger,
Læs mereProbabilistic properties of modular addition. Victoria Vysotskaya
Probabilistic properties of modular addition Victoria Vysotskaya JSC InfoTeCS, NPK Kryptonite CTCrypt 19 / June 4, 2019 vysotskaya.victory@gmail.com Victoria Vysotskaya (Infotecs, Kryptonite) Probabilistic
Læs mereForedrag i Eulers Venner 30. nov. 2004
BSD-prosper.tex Birch og Swinnerton-Dyer formodningen Johan P. Hansen 26/11/2004 13:34 p. 1/20 Birch og Swinnerton-Dyer formodningen Foredrag i Eulers Venner 30. nov. 2004 Johan P. Hansen matjph@imf.au.dk
Læs mereVores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov.
På dansk/in Danish: Aarhus d. 10. januar 2013/ the 10 th of January 2013 Kære alle Chefer i MUS-regi! Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov. Og
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 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 mereMomenter som deskriptive størrelser. Hvad vi mangler fra onsdag. Momenter for sandsynlighedsmål
Hvad vi mangler fra onsdag Momenter som deskriptive størrelser Sandsynlighedsmål er komplicerede objekter de tildeler numeriske værdier til alle hændelser i en σ-algebra. Vi har behov for simplere, deskriptive
Læs mereHvad vi mangler fra onsdag. Vi starter med at gennemgå slides fra onsdag.
Hvad vi mangler fra onsdag Vi starter med at gennemgå slides 34-38 fra onsdag. Slide 1/17 Niels Richard Hansen MI forelæsninger 6. December, 2013 Momenter som deskriptive størrelser Sandsynlighedsmål er
Læs mereFormale Systeme 2 Sommer 2012 Prof. P. H. Schmitt
Formale Systeme 2 Sommer 2012 Prof. P. H. Schmitt I NSTITUT F U R T HEORETISCHE I NFORMATIK KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
Læs mereSkriftlig Eksamen Automatteori og Beregnelighed (DM17)
Skriftlig Eksamen Automatteori og Beregnelighed (DM17) Institut for Matematik & Datalogi Syddansk Universitet Odense Campus Lørdag, den 15. Januar 2005 Alle sædvanlige hjælpemidler (lærebøger, notater
Læs mereCurve Modeling B-Spline Curves. Dr. S.M. Malaek. Assistant: M. Younesi
Curve Modeling B-Spline Curves Dr. S.M. Malaek Assistant: M. Younesi Motivation B-Spline Basis: Motivation Consider designing the profile of a vase. The left figure below is a Bézier curve of degree 11;
Læs mereDM549. Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.e: x Z: y Z: x + y < x y
DM549 Spørgsmål 1 (8%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1 Svar 1.b: x Z: y Z: x + y = 5 Svar 1.c: x Z: y Z: x + y = 5 Svar 1.d: x Z: y Z: x 2 + 2y = 0 Svar 1.e:
Læs mereDM549 Diskrete Metoder til Datalogi
DM549 Diskrete Metoder til Datalogi Spørgsmål 1 (8%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z: 2n > n
Læs mereAktivering af Survey funktionalitet
Surveys i REDCap REDCap gør det muligt at eksponere ét eller flere instrumenter som et survey (spørgeskema) som derefter kan udfyldes direkte af patienten eller forsøgspersonen over internettet. Dette
Læs mereBesvarelser til Lineær Algebra Reeksamen Februar 2017
Besvarelser til Lineær Algebra Reeksamen - 7. Februar 207 Mikkel Findinge Bemærk, at der kan være sneget sig fejl ind. Kontakt mig endelig, hvis du skulle falde over en sådan. Dette dokument har udelukkende
Læs mereComputing the constant in Friedrichs inequality
Computing the constant in Friedrichs inequality Tomáš Vejchodský vejchod@math.cas.cz Institute of Mathematics, Žitná 25, 115 67 Praha 1 February 8, 212, SIGA 212, Prague Motivation Classical formulation:
Læs mereEric Nordenstam 1 Benjamin Young 2. FPSAC 12, Nagoya, Japan
Eric 1 Benjamin 2 1 Fakultät für Matematik Universität Wien 2 Institutionen för Matematik Royal Institute of Technology (KTH) Stockholm FPSAC 12, Nagoya, Japan The Aztec Diamond Aztec diamonds of orders
Læs mereGrundlæggende Matematik
Grundlæggende Matematik Hayati Balo, AAMS August 2012 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske
Læs mereKalkulus 2 - Grænseovergange, Kontinuitet og Følger
Kalkulus - Grænseovergange, Kontinuitet og Følger Mads Friis 8. januar 05 Indhold Grundlæggende uligheder Grænseovergange 3 3 Kontinuitet 9 4 Følger 0 5 Perspektivering 4 Grundlæggende uligheder Sætning
Læs mereOn the Relations Between Fuzzy Topologies and α Cut Topologies
S Ü Fen Ed Fak Fen Derg Sayı 23 (2004) 21-27, KONYA On the Relations Between Fuzzy Topologies and α Cut Topologies Zekeriya GÜNEY 1 Abstract: In this study, some relations have been generated between fuzzy
Læs mereGeneralized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US
Generalized Probit Model in Design of Dose Finding Experiments Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Outline Motivation Generalized probit model Utility function Locally optimal designs
Læs merePARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU
PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU OUTLINE INEFFICIENCY OF ATTILA WAYS TO PARALLELIZE LOW COMPATIBILITY IN THE COMPILATION A SOLUTION
Læs mereKursus 02323: Introducerende Statistik. Forelæsning 12: Forsøgsplanlægning. Peder Bacher
Kursus 02323: Introducerende Statistik Forelæsning 12: Forsøgsplanlægning Peder Bacher DTU Compute, Dynamiske Systemer Bygning 303B, Rum 009 Danmarks Tekniske Universitet 2800 Lyngby Danmark e-mail: pbac@dtu.dk
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 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 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 mereDM547/MM537. Spørgsmål 2 (3%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.
DM547/MM537 Spørgsmål 1 (10%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1 Svar 1.b: x Z: y Z: x + y = 5 Svar 1.c: x Z: y Z: x + y = 5 Svar 1.d: x Z: y Z: x 2 + 2y = 0 Svar
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 mereVina Nguyen HSSP July 13, 2008
Vina Nguyen HSSP July 13, 2008 1 What does it mean if sets A, B, C are a partition of set D? 2 How do you calculate P(A B) using the formula for conditional probability? 3 What is the difference between
Læs mereSome results for the weighted Drazin inverse of a modified matrix
International Journal of Applied Mathematics Computation Journal homepage: www.darbose.in/ijamc ISSN: 0974-4665 (Print) 0974-4673 (Online) Volume 6(1) 2014 1 9 Some results for the weighted Drazin inverse
Læs mereThe X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen
The X Factor Målgruppe 7-10 klasse & ungdomsuddannelser Engelskundervisningen Læringsmål Eleven kan give sammenhængende fremstillinger på basis af indhentede informationer Eleven har viden om at søge og
Læs mereFremkomsten af mængdelæren. Stig Andur Pedersen
Fremkomsten f mængdelæren Stig Andur Pedersen 1 Fourier række for f(x)=x x n 1 ( 1) 2 sin( nx) n n= 1 sin(2 x) sin(3 x) sin(4 x) = 2 sin( x) + + 2 3 4 De første 15 led er tget med på kurven. 2 Fourierrække
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 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 mereDoodleBUGS (Hands-on)
DoodleBUGS (Hands-on) Simple example: Program: bino_ave_sim_doodle.odc A simulation example Generate a sample from F=(r1+r2)/2 where r1~bin(0.5,200) and r2~bin(0.25,100) Note that E(F)=(100+25)/2=62.5
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 mereUniversity of Copenhagen Faculty of Science Written Exam - 8. April 2008. Algebra 3
University of Copenhagen Faculty of Science Written Exam - 8. April 2008 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish
Læs mereSkriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)
Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM58) Institut for Matematik og Datalogi Syddansk Universitet, Odense Torsdag den 1. januar 01 kl. 9 13 Alle sædvanlige hjælpemidler
Læs mereParticle-based T-Spline Level Set Evolution for 3D Object Reconstruction with Range and Volume Constraints
Particle-based T-Spline Level Set for 3D Object Reconstruction with Range and Volume Constraints Robert Feichtinger (joint work with Huaiping Yang, Bert Jüttler) Institute of Applied Geometry, JKU Linz
Læs mereFrequency Dispersion: Dielectrics, Conductors, and Plasmas
1/23 Frequency Dispersion: Dielectrics, Conductors, and Plasmas Carlos Felipe Espinoza Hernández Professor: Jorge Alfaro Instituto de Física Pontificia Universidad Católica de Chile 2/23 Contents 1 Simple
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 mereSandsynlighedsteori. Sandsynlighedsteori. Sandsynlighedsteori Et eksperiment beskrives af et udfaldsrum udstyret med et. Et Bayesiansk argument
Sandsynlighedsteori Sandsynlighedsteori Et eksperiment beskrives af et udfaldsrum udstyret med et sandsynlighedsmål, (, E, ν). Et eksperiment beskrives af et udfaldsrum udstyret med et sandsynlighedsmål,
Læs mereKonstruktionen af de reelle tal gennem decimaltalsrepræsentation og Dedekind-snit
Keeping it real Konstruktionen af de reelle tal gennem decimaltalsrepræsentation og Dedekind-snit Speciale 10. januar 2018 Pernille Andersen Rikke Bod Lund Matematisk Institut Skjernvej 4A 9220 Aalborg
Læs mereBaggrundsnote om logiske operatorer
Baggrundsnote om logiske operatorer Man kan regne på udsagn ligesom man kan regne på tal. Regneoperationerne kaldes da logiske operatorer. De tre vigtigste logiske operatorer er NOT, AND og. Den første
Læs mereDM517:Supplerende noter om uafgørlighedsbeviser:
DM517:Supplerende noter om uafgørlighedsbeviser: Jørgen Bang-Jensen October 9, 2013 Abstract Formålet med denne note er at give en form for kogebogsopskrift på, hvorledes man bygger et uafgørlighedsbevis
Læs mereGrundlæggende Matematik
Grundlæggende Matematik Hayati Balo, AAMS Juli 2013 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske
Læs mereBarnets navn: Børnehave: Kommune: Barnets modersmål (kan være mere end et)
Forældreskema Barnets navn: Børnehave: Kommune: Barnets modersmål (kan være mere end et) Barnets alder: år og måneder Barnet begyndte at lære dansk da det var år Søg at besvare disse spørgsmål så godt
Læs mereModtageklasser i Tønder Kommune
Modtageklasser i Tønder Kommune - et tilbud i Toftlund og Tønder til børn, der har behov for at blive bedre til dansk TOFTLUND TØNDER Hvad er en modtageklasse? En modtageklasse er en klasse med særligt
Læs mereProject Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1
Project Step 7 Behavioral modeling of a dual ported register set. Copyright 2006 - Joanne DeGroat, ECE, OSU 1 The register set Register set specifications 16 dual ported registers each with 16- bit words
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 mereDet er muligt at chekce følgende opg. i CodeJudge: og
Det er muligt at chekce følgende opg. i CodeJudge:.1.7 og.1.14 Exercise 1: Skriv en forløkke, som producerer følgende output: 1 4 9 16 5 36 Bonusopgave: Modificer dit program, så det ikke benytter multiplikation.
Læs mereSkolems Paradoks og den moderne kritik af mængdelæren
Skolems Paradoks og den moderne kritik af mængdelæren PA og ZFC Plus og gange defineret ud fra eierfølgerfunkkonen og 0, samt muligheden for at lave indukkonsbeviser. ZF1. Extensionalitetsaksiomet ZF2.
Læs merePunktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013
Punktmængdetopologi Mikkel Stouby Petersen 1. marts 2013 I kurset Matematisk Analyse 1 er et metrisk rum et af de mest grundlæggende begreber. Et metrisk rum (X, d) er en mængde X sammen med en metrik
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 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 mereFagblad for Aktuar, Matematik, -Økonomi og Statistik 20. årgang, nr. 2, juni 2007
FAMØS Fagblad for Aktuar, Matematik, -Økonomi og Statistik 20. årgang, nr. 2, juni 2007 D 8 en forskningsgruppe? En del af instituttets nye forskningsgrupper præsenterer sig forrest og bagerst i dette
Læs mereECE 551: Digital System * Design & Synthesis Lecture Set 5
ECE 551: Digital System * Design & Synthesis Lecture Set 5 5.1: Verilog Behavioral Model for Finite State Machines (FSMs) 5.2: Verilog Simulation I/O and 2001 Standard (In Separate File) 3/4/2003 1 ECE
Læs mereGö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 mereJa! det beviste vi uge 16+17
Ugens emner Lukketheds- og afgørlighedsegenskaber [5.3-5.5] lukkethed under,,,, * lukkethed under homomorfi og invers homomorfi pumping -lemmaet beslutningsproblemer: membership, emptiness, finiteness
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 mereEt eksperiment beskrives af et udfaldsrum udstyret med et. alle mulige resultater af eksperimentet
Sandsynlighedsteori Et eksperiment beskrives af et udfaldsrum udstyret med et sandsynlighedsmål, (X, E, ν). Udfaldsrummet X indeholder alle mulige resultater af eksperimentet men ofte også yderligere elementer
Læs merePrivat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende
Changes for Rottedatabasen Web Service The coming version of Rottedatabasen Web Service will have several changes some of them breaking for the exposed methods. These changes and the business logic behind
Læs mereStatistik for MPH: oktober Attributable risk, bestemmelse af stikprøvestørrelse (Silva: , )
Statistik for MPH: 7 29. oktober 2015 www.biostat.ku.dk/~pka/mph15 Attributable risk, bestemmelse af stikprøvestørrelse (Silva: 333-365, 381-383) Per Kragh Andersen 1 Fra den 6. uges statistikundervisning:
Læs mere3 Algebraisk Specifikation af Abstrakte Datatyper.
3 Algebraisk Specifikation af Abstrakte Datatyper. Specifikation kontra program. Bestanddele af en algebraisk specifikation. Klassificering af funktioner i en ADT. Systematisk definition af ligninger.
Læs mereTrolling Master Bornholm 2016 Nyhedsbrev nr. 5
Trolling Master Bornholm 2016 Nyhedsbrev nr. 5 English version further down Kim Finne med 11 kg laks Laksen blev fanget i denne uge øst for Bornholm ud for Nexø. Et andet eksempel er her to laks taget
Læs mereIntro to: Symposium on Syntactic Islands in Scandinavian and English
Intro to: Symposium on Syntactic Islands in Scandinavian and English Ken Ramshøj Christensen Dept. of English, AU Symposium on Syntactic Islands in Scandinavian and English Aarhus University, June 11-12,
Læs mereResource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances.
System Model Resource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances. Each process utilizes a resource as follows: request use e.g., request
Læs mere