Filosofia:epätäydellisyysteoreema

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

epätäydellisyysteoreema

epätäydellisyysteoreema
Määritelmä 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
Selite 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.

Lähikäsitteet

Käytetyt lähteet

BagginiJFoslP2013

Alaviitteet

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


Siirry tarkastelemaan sivun muokkaushistoriaa →