Keskustelu:Gödelin epätäydellisyyslause
Siirry navigaatioon
Siirry hakuun
Muistutukseksi itselleni ja muille, jotka aikovat muokata sivua:
- Epätäydellisyyslause on parempaa suomea kuin epätäydellisyysteoreema.
- Erotettava ensimmäinen ja toinen epätäydellisyyslause.
- Varottava ylilyöntejä. Ens. ET-lause koskee ainoastaan ristiriidattomia systeemejä, jotka kykenevät imitoimaan lukuteoriaa. Se ei esimerkiksi kerro, että mikä tahansa aksiomaattinen järjestelmä on välttämättä epätäydellinen.
- Voisi mainita siitä, kuinka lausetta väärinkäytetään populaarikirjallisuudessa. (Esim. Jumalaa ei ole, sillä Gödelin lauseen mukaan jokainen päättelyjärjestelmä on epätäydellinen mutta Jumalan tulisi määritelmän mukaan olla täydellinen. Tai jotain muuta vastaavaa sotkua.)
- Lähdeviitteet näkyviin.
--Sml 17. heinäkuuta 2007 kello 09.06 (UTC)