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...
Main Author: | |
---|---|
Other Authors: | , , , , , |
Format: | Master's thesis |
Language: | fin |
Published: |
2016
|
Subjects: | |
Online Access: | https://jyx.jyu.fi/handle/123456789/52001 |