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 |