Cristin-prosjekt-ID: 305176
Sist endret: 14. januar 2015, 13:51

Cristin-prosjekt-ID: 305176
Sist endret: 14. januar 2015, 13:51
Prosjekt

Sannhetsbegreper i matematikk og absolutt uavgjørbarhet

prosjektleder

Arne Hole
ved Institutt for grunnskole- og faglærerutdanning ved OsloMet - storbyuniversitetet

prosjekteier / koordinerende forskningsansvarlig enhet

  • Institutt for grunnskole- og faglærerutdanning ved OsloMet - storbyuniversitetet

Klassifisering

Emneord

Grunnlagsspørsmål • Matematikkfilosofi

Tidsramme

Avsluttet
Start: 1. januar 2005 Slutt: 31. juli 2011

Beskrivelse Beskrivelse

Tittel

Sannhetsbegreper i matematikk og absolutt uavgjørbarhet

Sammendrag

Sannhetsbegrepet i matematikk påvirker måten matematikk oppfattes på. Mange opplever matematikk som et fag der alle utsagn har en klar sannhatsverdi (sant/usant). Dette fagsynet påviker også teoridannelser innen matematikkdidaktikk. Eksemplene jeg arbeider med kan bidra til å nyansere bildet av matematiske utsagn som enten sanne eller usanne.

Vitenskapelig sammendrag

Dette er er videreføring av prosjekt om grunnlagsspørsmål i matematikk som jeg har arbeidet med i mange år. Jeg har kommet frem til at det finnes muligheter for å konstruere eksempler på matematiske utsagn som er simultant uavgjørbare i matematikske teorier over ganske generelle språk. Prosjektet består i å undersøke disse mulighetene.

Metode

Teoretiske undersøkelser, litteraturstudier

Utstyr

Intet spesielt.

Tittel

Mathematical truth concepts and absolute undecidability

Vitenskapelig sammendrag

The project is concerned with possibilities of constructing candidates for mathmetaical statements which are absolutely undecidable, that is, simultaneously undecidable in "commonly" used formal theories of mathematics.

prosjektdeltakere

prosjektleder

Arne Hole

  • Tilknyttet:
    Prosjektleder
    ved Institutt for grunnskole- og faglærerutdanning ved OsloMet - storbyuniversitetet
1 - 1 av 1