Gödelin epätäydellisyyslauseet
Ossi Kosonen, Gödelin epätäydellisyyslauseet, Gödel's incompleteness , matematiikan pro gradu -tutkielma, 57 sivua, Jyväskylän yliopisto, Matematiikan ja tilastotieteen laitos, syksy 2016. Tämän tutkielman tarkoituksena on todistaa Gödelin kaksi epätäydellisyyslausetta RA-kielessä. Itävaltalai...
Päätekijä: | |
---|---|
Muut tekijät: | , , , , , |
Aineistotyyppi: | Pro gradu |
Kieli: | fin |
Julkaistu: |
2016
|
Aiheet: | |
Linkit: | https://jyx.jyu.fi/handle/123456789/52001 |