Gödelove teoreme nepotpunosti

S Wikipedije, slobodne enciklopedije
Idi na: navigaciju, pretragu

Gödelove teoreme nepotpunosti su dvije teoreme matematičke logike koje uspostavljaju inherentno ograničenje svih trivialnih aksiomatičnih sistema koji dozvoljavaju aritmetiku. Ove teoreme, koje je dokazao Kurt Gödel 1931. godine, su obje važne u matematičkoj logici i u filozofskoj matematici.

Također pogledajte[uredi | uredi izvor]

Vanjski linkovi[uredi | uredi izvor]


E-to-the-i-pi.svg Nedovršeni članak Gödelove teoreme nepotpunosti koji govori o matematici treba dopuniti. Dopunite ga prema pravilima Wikipedije.