5 hurtige til de voksne
|
|
- Bent Laursen
- 7 år siden
- Visninger:
Transkript
1 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 anden måde formaliserer en eller anden tankegang eller idé. Asger Törnquist I anledning af vinterens mangel på sollys er to HCØ-unger gået i tænkeboks. Til daglig laver vi beviser til højre og venstre ved hjælp af uendelige approksimationer - men giver det overhovedet mening? Luitzen Egbertus Brouwer 3 lavede sit eget logiske system, hvor det var dybt urimeligt bare at føre behandlingen af endelige mængder over på uendelige mængder; hvor det beviselige kun kunne bevises ved konstruktion (og ikke modstrid). Hvorfor er han gået i glemmebogen, og hvad hvis vi alligevel begynder at tænke matematik på andre måder? Følgende er en vurdering fra Asger Törnquist, matematiker på IMF, som beskæftiger sig med logik og mængdelære: I en hvis forstand tabte Brouwer. Han gjorde en meget, meget fornuftig indvending mod ukritisk at anvende den samme logik til at tale om endelige ting og uendelige ting. Men i dag er det næsten umuligt for os at kunne sympatisere med det Brouwer konkret sagde, for det reflekterer et meget mere ufærdiggjort forhold til uendelige mængder. Vi er, på godt og ondt, blevet formet af at have brugt vores nuværende mængdelære i lang tid. Nu spiller alternative logiske systemer mest en rolle inden for datalogi. Nok fordi de er interesseret i konkret beregnelighed og beviselighed frem for abstrakt sandhed.. 3 Kendt nederlandsk topologiforsker og særligt intuitionismens fader Famøs december 2011
2 Jingyu She og Maria Bekker-Nielsen Dunbar 17 I de foregående årtier er debatten måske ebbet ud, men vores nysgerrighed er blevet vakt! I denne artikel har vi lokket tre af HCØs voksne (AT, Asger Törnquist; EH, Ernst Hansen og MWJ, Mikkel Willum Johansen) til at gribe matematikken an fra en filosofisk vinkel ved hjælp af en meme fra intuitionism.org. 4 Mener du, at middelværdisætningen ikke holder, sådan som den normalt er formuleret? (cf. Kalkulus) AT: Uden denne sætning ville vi have afvist det begreb om kontinuerte funktioner som Weierstrass eller Cauchy indførte. Den blev simpelthen nødt til at være sand for, at den model for kontinuerte funktioner og reelle tal, de var ved at opbygge, kunne opfattes som korrekt af samtiden. Vi får altså det kontinuitetsbegreb vi gerne vil have, som passer meget, meget godt med den type resultat vi er interesserede i at bevise. Jeg har ikke noget imod den [middelværdisætningen, red.], overhovedet ikke. EH: Nej. Beviset for middelværdisætningen beror på supremumsegenskaben, og den egenskab er der INGEN, der vil frasige sig. Selvfølgelig kan man opstille dogmeregler for sig selv om, at man ikke må dit og dat og så se, hvor langt man kan komme under de betingelser. Man kan binde sine hænder på ryggen og prøve at lave reel analyse uden supremumsegenskaben, hvis man synes, at den udfordring lyder sjov. Eller man kan gøre som visse excentriske 4 Vi vil gerne rette en særlig tak til Frederik M. Lauridsen for hans uundværlige støtte under samtalen med Törnquist. Det skal desuden nævnes, at artikelforfatterne oplevede et lille uheld med diktafonen under Ernsts interview. Derfor opfordrer vi til, at I hjælper os med at foretage endnu et interview. Så skriv ind til famos@ math. ku. dk, hvis der er noget, I gerne vil vide om ham! (Inspiration kan evt. hentes i Facebookgruppen Ernst Hansen Facts ) 21. årgang, nr. 2
3 18 5 hurtige til de voksne sandsynlighedsteoretikere og lave teori for endeligt additive sandsynlighedsmål frem for tælleligt additive sandsynligshedsmål. Det kan da godt påkalde sig en vis nysgerrighed fra os andre. Men primært opstår der en masse bøvl med selvskabte problemer, uden at nogen bliver klogere af det. MWJ: Det tør jeg ikke udtale mig om, da jeg ikke kender det konkrete eksempel i dybden. Kan man for ethvert matematisk spørgsmål nemt bygge en maskine, hvor en lampe markeret Ja lyser, hvis det er sandt, og en lampe markeret Nej lyser, hvis det er falsk? AT: Følger man Church, Gödel og Turing, så viser det sig, at det at afgøre sandhed er noget helt andet end at afgøre beviselighed. Beviselighed er noget, hvor der findes en semieffektiv, mekanisk proces; sandhed tillader ikke en lignende proces. Mit udgangspunkt er at kigge på det her ud fra den analyse som Church, Gödel og Turing gav os, og så er svaret nej, denne maskine findes ikke. EH: Jeg synes, at spørgsmålet har indbygget en misforstået opfattelse af, hvordan vi arbejder som matematikere. Hvis ikke man kan bevise (eller modbevise) en påstand, så ændrer man påstanden. Hvis man heller ikke kan bevise den påstand, så ændrer man den igen. Man bliver ved og ved med at rette påstanden ind, indtil der fremkommer et eller andet, som man kan bevise. Jeg synes slet ikke, jeg skelner mellem, om en påstand er logisk uafgørlig eller om jeg bare er en knold til bevisteknik. Det er to sider af samme mønt. MWJ: Helt klart nej. Matematikken støder hele tiden på eksempler, der ikke på en klar måde dækkes af de regler, man hidtil Famøs december 2011
4 Jingyu She og Maria Bekker-Nielsen Dunbar 19 har fulgt. Så er der brug for at genforhandle hvad den præcise betydning af de indgående begreber er, hvilke slutningsregler, der er gyldige mv. Tænk på, hvordan indførelsen af et nyt artefakt i form af abstrakte symboler fundamentalt ændrede matematikken, både hvad angår metoder, epistemiske standarder (i.e. kravene vi stiller til et gyldigt bevis) og objekter. Det er naivt at tro, at vi NU har nået et stadie, hvor alle forhandlinger er på plads og alle tvivlsspørgsmål besvaret. Den slags kan en maskine ikke klare. Matematikken er en levende videnskab, en maskine vil kun kunne give os et fossil. Er kontinuumshypotesen (CH) en meningsfyldt påstand, der har en afgørende sandhedsværdi, som vi bare ikke kender til? AT: Jeg er egentlig ligeglad, men min personlige holdning er, at CH 5 burde være falsk. Det er dybt, dybt urimeligt, at de reelle tal, der som grundlæggende ide har transcendens, skulle have en velordning hvor alle initialsegmenter er tællelige, for så fremstår elementerne jo ikke som værende særligt transcendente. Jeg har altid håbet lidt på, at kontinuum var et eller andet fuldstændig latterligt stort, enormt. Folk, som arbejder med axiomet PFA, føler almindeligvis, at kontinuum burde være ℵ 2, fordi PFA 6 medfører det. Jeg tænker egentligt, at det er fint (selvom ℵ 2 ikke er så stort igen), for PFA har så mange pæne konsekvenser, som passer godt med mit verdenssyn som deskriptiv mængdeteoretiker PFA: Proper Forcing Axiom, som udover mange andre seje sager giver et system, der gør det muligt at analysere visse kvotientgrupper og strukturen af deres automorfigrupper. En konsekvens af PFA er, at kontinuet har kardinalitet ℵ 2 i stedet for ℵ 1 som givet ved CH. 21. årgang, nr. 2
5 20 5 hurtige til de voksne EH: Kontinuumshypotesen ligger langt fra mit interesseområde jeg har aldrig stået i en situation, hvor den betød noget som helst. Så jeg har ikke stærke følelser der. Man kan se på udvalgsaksiomet 7 i stedet for. Her må jeg sige, at udvalgsaksiomet ikke er min kop the! Påstande, der afhænger af udvalgsaksiomet, er efter min bedste overbevisning fup og fidus. Man kan bruge udvalgsaksiomet til at komme med visse farvestærke generelle påstande. F.eks. at hvert vektorrum har en basis. Det har da en vis attraktion at kunne slynge den slags påstande ud. Men hvis man tillader sig selv at argumentere på den måde i visse situationer, så må man også gøre det i alle mulige andre situationer. Og det viser sig, at man på den måde får skabt et bestiarium af monstre så skrækindjagende, at man er nødt til at kigge væk! De mareridt, man skaffer sig på halsen, er så høj en pris at betale, at det er bedre at forbyde udvalgsaksiomet. De vektorrum jeg arbejder med, de HAR en basis. Det følger af meget mere konkrete og jordnære argumenter end udvalgsaksiomet. Har kæmpestore vektorrum også en basis? Well, what do I care? Hvis udvalgsaksiomet er prisen for at svare ja, så svarer jeg nej! MWJ: Her er svaret nej. For det første vil jeg som anti-realist hævde, at ingen matematiske sætninger har en sandhedsværdi uafhængigt af den menneskelige bevidsthed, og for det andet er de begreber, der indgår i kontinuumshypotesen, ikke klare. Der er stadig meget at forhandle om her! 7 Ifølge dette kan du blive millionær ved at rive en halvtredser over i endelig mange stykker og sætte den sammen til to halvtredsere. Hvis du ikke tror på aksiomet, kan du blot rive halvtredseren i to og sætte den sammen med tape - det er lovligt at betale med sådan en. Famøs december 2011
6 Jingyu She og Maria Bekker-Nielsen Dunbar 21 Giver et konstruktivt bevis giver større indsigt end et klassisk bevis? AT: Ja. I nogle sammenhænge kan det være afgørende for os, at et bevis er konstruktivt, og vi vil måske endda kræve det. For mig er det fuldstændig relativt til, hvad det er, vi prøver at beskrive matematisk, og hvad vores mål er. Jeg kan selv meget bedre lide et konstruktivt bevis, når det er tilgængeligt og ikke alt for langt. Det giver ofte mere information. EH: Masser af klassiske beviser er da konstruktive. De fleste af os vil være enige om, at et konstruktivt bevis gør tingene mere klare end et indirekte bevis. Men hellere et bevis, der ikke er konstruktivt, end intet bevis. MWJ: Nej. Modstridsbeviser kan sagtens give masser af indsigt. Mener du, at alle matematiske sandheder er sande, men at nogle af dem er mere sande end andre? AT: Det kunne være interessant at opbygge en logik, som kunne reflektere den typiske matematikers opfattelse af, at nogle matematiske sandheder er mere sande end andre. Det er jo netop pointen med matematisk logik, at man kan bruge matematisk tankegang til at studere de strukturer som ligger til grund for matematisk tankegang. Jeg ved ikke, om jeg har en holdning til dit spørgsmål, så jeg vil lade det være ubesvaret! EH: Jeg vil f.eks. mene, at sætninger bevist uden udvalgsaksiomet er mere sande end dem, der er bevist med. Sætninger, der kræver udvalgsaksiomet, er i bedste fald svagt sande. MWJ: Ja. Hvis vi bliver tvunget til at revidere formodningsnetværk, vil der altid være dele, vi hellere opgiver end andre. Fx er jeg mere villig til at opgive velordningssætningen, end at 1+1= årgang, nr. 2
Hvad 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 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 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 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 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 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 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 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 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 mereEn differentiabel funktion hvis afledte ikke er kontinuert Søren Knudby
24 En differentiabel funktion hvis afledte ikke er kontinuert Søren Knudby Det er velkendt for de fleste, at differentiabilitet af en reel funktion f medfører kontinuitet af f, mens det modsatte ikke gælder
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 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 mereSpilstrategier. 1 Vindermængde og tabermængde
Spilstrategier De spiltyper vi skal se på her, er primært spil af følgende type: Spil der spilles af to spillere A og B som skiftes til at trække, A starter, og hvis man ikke kan trække har man tabt. Der
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 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 mereProjekt 1.4 De reelle tal og 2. hovedsætning om kontinuitet
Projekt 1.4 De reelle tal og 2. hovedsætning om kontinuitet Mens den 1. hovedsætning om kontinuerte funktioner kom forholdsvis smertefrit ud af intervalrusebetragtninger, så er 2. hovedsætning betydeligt
Læs mereπ er irrationel Frank Nasser 10. december 2011
π er irrationel Frank Nasser 10. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion
Læs mereHvad vil videnskabsteori sige?
20 Ubehjælpelig og uvederhæftig åndsidealisme Hvad vil videnskabsteori sige? Et uundværligt svar til de i ånden endnu fattige Frederik Möllerström Lauridsen Men - hvem, der ved et filosofisk spørgsmål
Læs mereFagblad for Aktuar, Matematik, -Økonomi og Statistik 21. årgang, nr. 2, december 2011
FAMØS Fagblad for Aktuar, Matematik, -Økonomi og Statistik 21. årgang, nr. 2, december 2011 År 2043 Niels Bohr Science Park står næsten færdig. Redaktion Bo Maling Malling Christensen, Frederik Möllerström
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 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 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 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 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 mereAppendiks 6: Universet som en matematisk struktur
Appendiks 6: Universet som en matematisk struktur En matematisk struktur er et meget abstrakt dyr, der kan defineres på følgende måde: En mængde, S, af elementer {s 1, s 2,,s n }, mellem hvilke der findes
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 mereSpilstrategier. Indhold. Georg Mohr-Konkurrencen. 1 Vindermængde og tabermængde 2. 2 Kopier modpartens træk 4
Indhold 1 Vindermængde og tabermængde 2 2 Kopier modpartens træk 4 3 Udnyt modpartens træk 5 4 Strategityveri 6 5 Løsningsskitser 7 Spilstrategier De spiltyper vi skal se på her, er primært spil af følgende
Læs mereMartin Patrick Speirs & Frederik Möllerström Lauridsen
Interview 15 Matematik & filosofi et interview med Mikkel W. Johansen Martin Patrick Speirs & Frederik Möllerström Lauridsen Matematikken og filosofien har historisk set været tæt sammenknyttet og genstand
Læs mereTal. Vi mener, vi kender og kan bruge følgende talmængder: N : de positive hele tal, Z : de hele tal, Q: de rationale tal.
1 Tal Tal kan forekomme os nærmest at være selvfølgelige, umiddelbare og naturgivne. Men det er kun, fordi vi har vænnet os til dem. Som det vil fremgå af vores timer, har de mange overraskende egenskaber
Læs mereOmskrivningsregler. Frank Nasser. 10. december 2011
Omskrivningsregler Frank Nasser 10. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion
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 mereHer er et spørgsmål, du måske aldrig har overvejet: kan man finde to trekanter med samme areal?
Her er et spørgsmål, du måske aldrig har overvejet: kan man finde to trekanter med samme areal? Det er ret let at svare på: arealet af en trekant, husker vi fra vor kære folkeskole, findes ved at gange
Læs mereOg fornuften har det virkelig svært med opstandelsen. Lige siden det skete, som han havde sagt, har mennesker forholdt sig
Gudstjeneste i Skævinge & Lille Lyngby Kirke den 27. marts 2016 Kirkedag: Påskedag/B Tekst: Matt 28,1-8 Salmer: SK: 219 * 235 * 233 * 236 * 227,9 * 240 LL: 219 * 235 * 233 * 236 * 240 Jeg kan godt lide
Læs mereInterview med eleven Cathrine I = interviewer (Anders), C = informant (Cathrine)
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 31 32 Ja, mit det navn det er selvfølgelig Anders, og du hedder? athrine. Yes. Og du går i? 3.e. 3.e. Og lige nu har crossfit.
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 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 mereTekster: 1 Mos 15,1-6, Hebr 11,1-6, Luk 17,5-10
Tekster: 1 Mos 15,1-6, Hebr 11,1-6, Luk 17,5-10 Salmer: Vejby 9.00 4 Giv mig Gud en salmetunge 582 At tro er at komme (Laub) 321 O Kristelighed 588 Herre Gør mit liv til bøn Lem 10.30 4 Giv mig Gud en
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 mereInternt trænings- & repetitionsprogram. Indvendinger. En-til-en træning med indvendinger
Internt trænings- & repetitionsprogram Indvendinger En-til-en træning med indvendinger To kolleger træner sammen En af jer træner som kunden. En af jer træner som sælgeren. Næste gang I træner, bytter
Læs mereAlle taler om det, men hvor finder du overskuddet, når hverdagen ofte selv står i vejen?
Din e-guide til mere OVERSKUD Alle taler om det, men hvor finder du overskuddet, når hverdagen ofte selv står i vejen? For at hjælpe dig på vej med at finde dit overskud har jeg formuleret 7 vigtige spørgsmål.
Læs mereHvorfor er På Tværs svært?
Hvorfor er På Tværs svært? ATV møde om LAR Schæffergården 26. April 2012 Henrik Kærgaard Udviklingschef På Tværs NIRAS 1 når vi ser virkeligheden forskelligt 2 og hvad er det, der er så svært ved det med
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 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 mere20.s.e.trin.B Matt 21,28-44 Salmer: Vi er godt 50, der mødes 4 gange her i efteråret til kristendomskursus.
20.s.e.trin.B. 2018 Matt 21,28-44 Salmer: 749-448-28 496-457-731 Vi er godt 50, der mødes 4 gange her i efteråret til kristendomskursus. Det er gode aftener. Aftener fyldt med fællesskab og humor, -og
Læs mereKonstruktiv Kritik tale & oplæg
Andres mundtlige kommunikation Når du skal lære at kommunikere mundtligt, er det vigtigt, at du åbner øjne og ører for andres mundtlige kommunikation. Du skal opbygge et forrådskammer fyldt med gode citater,
Læs mereMatematisk modellering og numeriske metoder. Lektion 8
Matematisk modellering og numeriske metoder Lektion 8 Morten Grud Rasmussen 18. oktober 216 1 Fourierrækker 1.1 Periodiske funktioner Definition 1.1 (Periodiske funktioner). En periodisk funktion f er
Læs mereEksamensopgaver i DM17, Januar 2003
Eksamensopgaver i DM17, Januar 2003 Skriftlig Eksamen Automatteori og Beregnelighed (DM17) Institut for Matematik & Datalogi Syddansk Universitet Odense Universitet Lørdag, den 18. Januar 2003 Alle sædvanlige
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 mereLøsning af simple Ligninger
Løsning af simple Ligninger Frank Nasser 19. 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 mereEn dialogisk undervisningsmodel
8 Lær e r v e j l e d n i n g En dialogisk undervisningsmodel Helle Alrø gør i artiklen En nysgerrigt undersøgende matematikundervisning 6 rede for en måde at samtale på, som kan være et nyttigt redskab,
Læs mereHjerner i et kar - Hilary Putnam. noter af Mogens Lilleør, 1996
Hjerner i et kar - Hilary Putnam noter af Mogens Lilleør, 1996 Historien om 'hjerner i et kar' tjener til: 1) at rejse det klassiske, skepticistiske problem om den ydre verden og 2) at diskutere forholdet
Læs merePointen med Funktioner
Pointen med Funktioner Frank Nasser 0. april 0 c 0080. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk: Dette er en
Læs mereOrdbog over Symboler
Ordbog over Symboler 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: Dette
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 mereSandhed - del 2 To typer af sandhed
Sandhed - del 2 To typer af sandhed Her er nogle interessante citater fra Et Kursus i Mirakler : Frelse er genkendelsen af, at sandheden er sand, og at intet andet er sandt. Det har du måske hørt før,
Læs mereNogle grundlæggende begreber
BE2-kursus 2010 Jørgen Larsen 5. februar 2010 Nogle grundlæggende begreber Lidt simpel mængdelære Mængder består af elementer; mængden bestående af ingen elementer er, den tomme mængde. At x er element
Læs merePythagoras Sætning. Frank Nasser. 20. april 2011
Pythagoras Sætning Frank Nasser 20. april 2011 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 mereSANDELIG! INDHOLD. Dette materiale er ophavsretsligt beskyttet og må ikke videregives
SANDELIG! STAKKELS PLUTO I 1930 opdagede en astronom fra den amerikanske delstat New Mexico et ganske lille objekt. Ved nærmere efterforskning viste det sig at bevæge sig i en bane omkring solen, der lå
Læs mereFormål & Mål. Ingeniør- og naturvidenskabelig. Metodelære. Kursusgang 1 Målsætning. Kursusindhold. Introduktion til Metodelære. Indhold Kursusgang 1
Ingeniør- og naturvidenskabelig metodelære Dette kursusmateriale er udviklet af: Jesper H. Larsen Institut for Produktion Aalborg Universitet Kursusholder: Lars Peter Jensen Formål & Mål Formål: At støtte
Læs mereFokusgruppeinterview. Gruppe 1
4 Fokusgruppeinterview Gruppe 1 1 2 3 4 Hvorfor? Formålet med et fokusgruppeinterview er at belyse et bestemt emne eller problemfelt på en grundig og nuanceret måde. Man vælger derfor denne metode hvis
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 mereEuklids algoritme og kædebrøker
Euklids algoritme og kædebrøker Michael Knudsen I denne note vil vi med Z, Q og R betegne mængden af henholdsvis de hele, de rationale og de reelle tal. Altså er { m } Z = {..., 2,, 0,, 2,...} og Q = n
Læs mereVINCENT HENDRICKS: VI ER NØDT TIL AT DROPPE DET MEGET LEMFÆLDIGE FORHOLD TIL INFORMATION
VINCENT HENDRICKS: VI ER NØDT TIL AT DROPPE DET MEGET LEMFÆLDIGE FORHOLD TIL INFORMATION 08.12.2013 Hvis man har et alt for lemfældigt forhold til sandhed, så har man også et alt for lemfældigt forhold
Læs mereKapitel 2: Erkendelse og perspektiver
Reservatet ledelse og erkendelse Kapitel 2: Erkendelse og perspektiver Erik Staunstrup Christian Klinge Budgetforhandlingerne Du er på vej til din afdeling for at orientere om resultatet. Du gennemgår
Læs mereFunktionalligninger. Anders Schack-Nielsen. 25. februar 2007
Funktionalligninger Anders Schack-Nielsen 5. februar 007 Disse noter er en introduktion til funktionalligninger. En funktionalligning er en ligning (eller et ligningssystem) hvor den ubekendte er en funktion.
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 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 mereUCC - Matematiklærerens dag 28.04.15.
UCC - Matematiklærerens dag 28.04.15. 1 UCSJ FFM + 21+Ude-demoer UCC - Matematiklærerens dag 28.04.15. 2 www.mikaelskaanstroem.dk Og det er jer.! UCSJ 10. klasse 25. August 2014 3 UCC - Matematiklærerens
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 mereRikke Heimark Coaching
Find dit rette fokus Pixi E-bog Af Rikke Heimark, 2. februar 2017 For at tiltrække de rigtige ting i livet, hvad en det er mennesker, oplevelser, kontakter, muligheder osv, så er det alt afgørende at du
Læs merePåstand: Et foster er ikke et menneske
Påstand: Et foster er ikke et menneske Hvad svarer vi, når vi møder denne påstand? Af Agnete Maltha Winther, studerende på The Animation Workshop, Viborg Som abortmodstandere hører vi ofte dette udsagn.
Læs mereMatroider Majbritt Felleki
18 Rejselegatsformidlingsaktivitet Matroider Majbritt Felleki Den amerikanske matematiker Hassler Whitney fandt i 1935 sammenhænge mellem sætninger i grafteori og sætninger i lineær algebra. Dette førte
Læs mereAt vi skal blive som børn betyder, at vi skal erkende vores behov og afhængighed af Gud. Vi skal erkende, at vi kun kan
Gudstjeneste i Skævinge & Lille Lyngby Kirker den 12. januar 2014 Kirkedag: 1.s.e.H3K/B Tekst: Mark 10,13-16 Salmer: SK: 16 * 20 * 57 * 69 * 117,3 * 54 LL: 16 * 57 * 69 * 117,3 * 54 Når man bliver far,
Læs mereBeskrevet med input fra pædagog Ann Just Thodberg og pædagogisk leder Marietta Rosenvinge, Børnehaven Stjernen, Aalborg Kommune BAGGRUND
18 Børnecoaching Beskrevet med input fra pædagog Ann Just Thodberg og pædagogisk leder Marietta Rosenvinge, Børnehaven Stjernen, Aalborg Kommune Forståelse af sig selv og andre BAGGRUND Kort om metoden
Læs mereAsymptoter. for standardforsøgene i matematik i gymnasiet. 2003 Karsten Juul
Asymptoter for standardforsøgene i matematik i gymnasiet 2003 Karsten Juul Indledning om lodrette asymptoter Lad f være funktionen bestemt ved =, 2. 2 Vi udregner funktionsværdierne i nogle -værdier der
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 mereFunktionsterminologi
Funktionsterminologi 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
Læs mereGruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel.
Gruppeteori Michael Knudsen 8. marts 2005 1 Motivation For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Eksempel 1.1. Lad Z betegne mængden af de hele tal, Z = {..., 2, 1, 0,
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 mereThomas Ernst - Skuespiller
Thomas Ernst - Skuespiller Det er tirsdag, sidst på eftermiddagen, da jeg er på vej til min aftale med den unge skuespiller Thomas Ernst. Da jeg går ned af Blågårdsgade i København, støder jeg ind i Thomas
Læs mereVinkelrette linjer. Frank Villa. 4. november 2014
Vinkelrette linjer Frank Villa 4. november 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 mereNaturvidenskab. Hvis man skulle prøve at tegne, hvordan den naturvidenskabelige metode fungerer, vil den se sådan her ud:
Naturvidenskab Videnskab handler om at samle ny viden, så natur-videnskab er det ord, vi bruger om at samle ny viden om naturen. Når vi hører ordene videnskab eller naturvidenskab, er det første, der dukker
Læs mereOm at løse problemer En opgave-workshop Beregnelighed og kompleksitet
Om at løse problemer En opgave-workshop Beregnelighed og kompleksitet Hans Hüttel 27. oktober 2004 Mathematics, you see, is not a spectator sport. To understand mathematics means to be able to do mathematics.
Læs merehjulpet dem. Men Jesus tvister fortællingen, og tvinger den lovkyndige til at pege på samaritaneren som en, der skal elskes.
Gudstjeneste i Skævinge & Lille Lyngby Kirke den 10. sept. 2017 HØST Kirkedag: 13.s.e.Trin/A Tekst: 3 Mos 19,1-2+9-18; Gal 2,16-21; Luk 10,23-37 Salmer: SK: Nu går vi glad * 447 * 730 * 729 * 728 LL: Nu
Læs merePrædiken til Juledag 2015 Tekster: 1. Mosebog 1, Johannes Brev 4, Johannesevangeliet 1,1-14
Prædiken til Juledag 2015 Tekster: 1. Mosebog 1,1-5 - 1.Johannes Brev 4,7-11 - Johannesevangeliet 1,1-14 Glædelig jul! Sådan håber vi, den er for alle. At alle på én eller anden måde mærker at man hører
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 mereEn martingalversion af CLT
Kapitel 11 En martingalversion af CLT Når man har vænnet sig til den centrale grænseværdisætning for uafhængige, identisk fordelte summander, plejer næste skridt at være at se på summer af stokastiske
Læs mereANMELDELSE AF ODENSE KATEDRALSKOLES VÆRDIGRUNDLAG. Det fremgår af jeres værdigrundlag, at Odense Katedralskole ønsker at være
ANMELDELSE AF ODENSE KATEDRALSKOLES VÆRDIGRUNDLAG Dr.phil. Dorthe Jørgensen Skønhed i skolen Det fremgår af jeres værdigrundlag, at Odense Katedralskole ønsker at være en god skole. Dette udtryk stammer
Læs mereLars Mæhle FUCK OFF I LOVE YOU. Roman. Oversat af Arko Højholt og Mads Heinesen. Vild Maskine
Lars Mæhle FUCK OFF I LOVE YOU Roman Oversat af Arko Højholt og Mads Heinesen Vild Maskine FUCK OFF / I LOVE YOU er oversat fra nynorsk af Arko Højholt og Mads Heinesen. Copyright Det Norske Samlaget 2013
Læs merePrædiken holdt i Haderslev Domkirke af sognepræst Henning Wehner / ,4 672 Dom kl s.e.tr. 17. juli 2016 Matt.
Prædiken holdt i Haderslev Domkirke af sognepræst Henning Wehner 743 300 336 / 701 10,4 672 Dom kl.10.00 8.s.e.tr. 17. juli 2016 Matt.7,22-29 BØN: I Faderens, Sønnens og Helligåndens navn! AMEN. I disse
Læs mereInterviewer: Ej, vi skal lige gå en god tur i det dejlige vejr. Hvor bor du henne? I forhold til.
Samtalevandring d. 9. maj 2012. Sanne, 23 år. Studerende på KEA. Bor på Jagtvej. Interviewer: Så lad os gå den her vej. Sanne: Ja. Interviewer: Fedt, you re mine nej. Sanne: Ej fuck, Maria har jo ikke
Læs mereFunktionsterminologi
Funktionsterminologi 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 mereAfklaring af tegn: - Pause på 1-5 sek. ( ) - Minimal udeladelser for tydelighed (G) - Latter
Interviewperson: Tove Knudsen TK Interviewer: Asbjørn Busk Jørgensen ABJ Afklaring af tegn: - Pause på 1-5 sek. ( ) - Minimal udeladelser for tydelighed (G) - Latter I forbindelse med transskribering af
Læs mereDa Elisabeth var i sjette måned, blev englen Gabriel sendt fra Gud til en by i Galilæa, der hedder Nazaret, til en jomfru, der var forlovet med en
1 Da Elisabeth var i sjette måned, blev englen Gabriel sendt fra Gud til en by i Galilæa, der hedder Nazaret, til en jomfru, der var forlovet med en mand, som hed Josef og var af Davids hus. Jomfruens
Læs mereItalien spørgeskema til seminarielærere / sprog - dataanalyse
Italien spørgeskema til seminarielærere / sprog - dataanalyse Om dig 1. 7 seminarielærere, der under viser i sprog, har besvaret spørgeskemaet 2. 6 undervisere taler engelsk, 6 fransk, 3 spansk, 2 tysk
Læs mereVilla Venire Biblioteket. Af Marie Martinussen, Forsker ved Aalborg Universitet for Læring og Filosofi. Vidensamarbejde
Af Marie Martinussen, Forsker ved Aalborg Universitet for Læring og Filosofi Vidensamarbejde - Når universitet og konsulenthus laver ting sammen 1 Mødet Det var ved et tilfælde da jeg vinteren 2014 åbnede
Læs mereEvaluering af klinisk undervisningsseance i Kvalitetssikring og Patientsikkerhed for MedIS på 4. semester den
Evaluering af klinisk undervisningsseance i Kvalitetssikring og Patientsikkerhed for MedIS på 4. semester den 29.02.2012. Antal tilbagemeldinger: 37 ud af 40 mulige. 1: Har du på sygehuset fået den fornødne
Læs mereAt forstå det uforståelige Ordet virkelighed er også et ord, som vi må lære at bruge korrekt
Julie K. Depner, 2z Allerød Gymnasium Essay Niels Bohr At forstå det uforståelige Ordet virkelighed er også et ord, som vi må lære at bruge korrekt Der er mange ting i denne verden, som jeg forstår. Jeg
Læs mere10 dilemmaer om hash og unge. Hvad mener du?
10 dilemmaer om hash og unge Hvad mener du? Problemet nærmer sig "Min datter, som går i 8. klasse, fortæller, at nogle af eleverne i parallelklassen er begyndt at ryge hash. Mon de også er i hendes klasse?"
Læs mere