Gödelin epätäydellisyyslause
Wikipedia
Ohjattu sivulta Gödelin epätäydellisyysteoreema
Gödelin epätäydellisyyslauseet ovat Kurt Gödelin vuonna 1931 todistamat kaksi lausetta. Epätäydellisyyslauseen mukaan lukuteorian sisältävä aksiomaattinen järjestelmä on epätäydellinen sillä aina on tosia lauseita, joita ei voi todistaa järjestelmän sisäisillä menetelmillä[1].
[muokkaa] Lähteet
- ↑ Matti Lehtinen ym. Johdatus tasogeometriaan. s. 13.
