Gödelove teoreme nepotpunosti

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži

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.