epätäydellisyyslausesubstantiivi
/ˈepæˌtæy̯delːisyːsˌlɑu̯seˣ/
sisältää sanat: epätäydellisyys + lause
Merkitys
(käännetty englannista)- 1.looginen tai matemaattinen lause, joka osoittaa järjestelmän epätäydellisyyden; viittaa usein Gödelin todistamiin lauseisiin
Synonyymit
Esimerkkilauseet
Kuuluisin esimerkki tästä on Gödelin epätäydellisyyslause, jonka mukaan jokainen formaali systeemi sisältää hyvin muodostuneita lauseita, joita ei voi todistaa systeemin sisällä, vaikka ne intuitiivisesti tiedetäänkin tosiksi.
Gödelin epätäydellisyyslause, joka osoitti, ettei mikään riittävän ilmaisuvoimainen aksioomajärjestelmä voi koskaan osoittaa omaa ristiriidattomuuttaan, kuitenkin romutti Hilbertin ohjelman.
Esiintymistiheys
139 esiintymää, 0.1 / milj.
Suomi24
0.1
Sanomalehdet
0.0
Aikakauslehdet
0.0
Wikipedia
0.3
Reddit
0.1
Tekstitykset
0.0
Taivutustiedot
Taivutusluokka 48
| Sijamuoto | Yksikkö |
|---|---|
| Nominatiivi | epätäydellisyyslause |
| Genetiivi | epätäydellisyyslauseen |
| Partitiivi | epätäydellisyyslausetta |
| Essiivi | epätäydellisyyslauseena |
| Translatiivi | epätäydellisyyslauseeksi |
| Inessiivi | epätäydellisyyslauseessa |
| Elatiivi | epätäydellisyyslauseesta |
| Illatiivi | epätäydellisyyslauseeseen |
| Adessiivi | epätäydellisyyslauseella |
| Ablatiivi | epätäydellisyyslauseelta |
| Allatiivi | epätäydellisyyslauseelle |
| Abessiivi | epätäydellisyyslauseetta |
Riimit
-ɑuse
Kaikki riimit