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]
- ↑ 1,0 1,1 Meos, I., 2002. Filosoofia sõnaraamat. Tallinn, kirjastus Koolibri. Lk 90
