Gödeli mittetäielikkuse teoreemid

Allikas: Vikipeedia
(Ümber suunatud leheküljelt Gödeli mittetäielikkuse teoreem)

Gödeli mittetäielikkuse teoreemid (inglise Gödel's incompleteness theorems) ehk Gödeli teoreemid on Kurt Gödeli (1906–1978) kaks teoreemi matemaatilises loogikas, mis demonstreerivad iga loogilise süsteemi, mis sisaldab formaalse aritmeetika, piiratust või mittetäielikkust[1]. Gödel väitis, et igas formaalses aritmeetikas leidub tõene lause, mis ei ole antud formaalses aritmeetikas tõestatav[1].

Viited[muuda | muuda lähteteksti]

  1. 1,0 1,1 Meos, I., 2002. Filosoofia sõnaraamat. Tallinn, kirjastus Koolibri. Lk 90