Hyppää sisältöön
    • Suomeksi
    • In English
Trepo
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   Etusivu
  • Trepo
  • Opinnäytteet - ylempi korkeakoulututkinto
  • Näytä viite
  •   Etusivu
  • Trepo
  • Opinnäytteet - ylempi korkeakoulututkinto
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Matematiikan formalisointi Nicolas Bourbakin mukaan

FRIMAN, VÄINÖ (2007)

 
Avaa tiedosto
gradu01612.pdf (342.2Kt)
Lataukset: 



FRIMAN, VÄINÖ
2007

Matematiikka - Mathematics
Informaatiotieteiden tiedekunta - Faculty of Information Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2007-03-29
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/urn:nbn:fi:uta-1-16649
Tiivistelmä
Tässä tutkielmassa peryhdytään Nicolas Bourbakin kehittämään matematiikan formalisointiin. Bourbaki loi formalisointinsa tarkoituksena luoda mahdollisimman yksinkertaisten oletusten avulla kattava järjestelmä, josta voidaan johtaa käytännössä kaikki matematiikka.

Tutkielmassa operoidaan kahdella tasolla: matemaattisella ja metamatemaattisella. Meta-tasolla kuvaillaan ja määritellään itse matematiikkaa, ja pääosa tutkielman sisällöstä keskittyykin meta-tason operaatioiden tarkasteluun. Matemaattinen taso rakentuu meta-tason tarkastelujen kautta. Matematiikan kuvailemiseen käytetään määrittelyjä ja kriteerejä, jotka kuuluvat metamatematiikkaan.

Nicolas Bourbaki oli salanimi ryhmälle ranskalaisia matemaatikkoja, tutkielman johdanto-luvussa kerrotaankin lyhyesti ryhmän toimintaan ja vaiheisiin liittyvästä historiasta. Aiheen käsittely tapahtuu luvussa 2, ja kolmannessa luvussa, joka on myös viimeinen, pohditaan formalisoinnin heikkouksia ja vahvuuksia verrattuna nykyiseen matemaattiseen käytäntöön.

Käsittely kattaa Nicolas Bourbakin kirjan Elements of Mathematics Theory of Sets ensimmäisen luvun Description of Formal Mathematics. Tutkielma seuraa alkutekstiä verraten uskollisesti.

Asiasanat: Nicolas Bourbaki, formalisointi, predikaattilogiikka
Kokoelmat
  • Opinnäytteet - ylempi korkeakoulututkinto [40600]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2019 -)Tiedekunta (- 2018)Tutkinto-ohjelmat ja opintosuunnatAvainsanatJulkaisuajatKokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste