Filosofia:epätäydellisyysteoreema

From Tieteen termipankki
Jump to: navigation, search

epätäydellisyysteoreema

epätäydellisyysteoreema
Definition Gödelin näkemys, jonka mukaan jokaisessa muodollisessa, johdonmukaisessa loogisessa järjestelmässä, joka kykenee kuvaamaan aritmetiikkaa, on ainakin yksi lause, jota ei järjestelmän sisällä voidan todistaa tai kumota
Explanation Kurt Gödel (1906-1978) esitti kaksi erilaista epätäydellisyysteoreemaa, joita jälkimmäinen on ensimmäisen korollaari. Niissä hän osoitti, että täydellistä loogista järjestelmää ei voi olla olemassa toisin kuin Frege ja Russell olivat väittäneet. Siten Gödelin teoreema teki mahdottomaksi Russellin yrityksen alistaa matematiikka logiikalle.

Related Concepts

Sources

BagginiJFoslP2013

References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 19.07.2019: Filosofia:epätäydellisyysteoreema. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:epätäydellisyysteoreema.)


Siirry tarkastelemaan sivun muokkaushistoriaa →