Gödeli mittetäielikkuse teoreem

Allikas: Vikipeedia

Gödeli mittetäielikkuse teoreem (inglise Gödel's incompleteness theorem) ehk Gödeli teoreem on Kurt Gödeli (1906–1978) teoreem formaalse aritmeetika mittetäielikkusest[1]. Gödel väitis, et igas formaalses aritmeetikas leidub tõene lause, mis ei ole antud formaalses aritmeetikas tõestatav[1].

Viited[muuda | redigeeri lähteteksti]

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