Razlika između verzija stranice "Gödelove teoreme nepotpunosti"

[pregledana izmjena][pregledana izmjena]
Uklonjeni sadržaj Dodani sadržaj
m vanjski link u "website"; razne ispravke
mNo edit summary
Red 1:
'''Gödelove teoreme nepotpunosti''' su dvije [[teorema|teoreme]] [[matematička logika|matematičke logike]]<ref>{{Cite web|url=http://pazishkola.tripod.com/marko_decembar.pdf|title=Gˆdelovi teoremi nepotpunosti|last=Raduka|first=Marko|date=|website=pazishkola.tripod.com|publisher=|accessdate=5. juni 2018.}}</ref> koje uspostavljaju inherentno ograničenje svih trivialnih [[aksiomatični sistem|aksiomatičnih sistema]] koji dozvoljavaju [[aritematika|aritmetiku]]. Ove teoreme, koje je dokazao [[Kurt Gödel]] 1931. godine, su obje važne u matematičkoj logici i u [[filozofskafilozofija matematikamatematike|filozofskojfilozofiji matematicimatematike]]. Ove teoreme su široko prihvaćene, doduše ne i univerzalno, interpretirane kao pokaz da je [[Hilbertov program]] pronalaska kompletnog i konzistentog seta [[aksioma]] za cijelu matematiku, nemoguć.
 
Ove teoreme predstavljaju jedan od vrhunaca matematičke i logičke misli dvadesetog vijeka, a '''Gödel se smatra jednim od n'''ajvećih najvećih mislilaca čovječanstva.
 
== Također pogledajte ==