Kurijev paradoks

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži
Question book-new.svg Ovaj članak ili neka od njegovih sekcija nije dovoljno potkrijepljena izvorima (literatura, web stranice ili drugi izvori).
Sporne rečenice i navodi bi mogli, ukoliko se pravilno ne označe validnim izvorima, biti obrisani i uklonjeni. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci, te nakon toga možete ukloniti ovaj šablon.

U logici, posebno matematičkoj logici, Kurijevi paradoksi se odnose na porodicu logičkih paradoksa koji se javljaju u nekim teorijama skupova. Dobili su ime po matematičaru Haskellu Curryju.

Jedna tekstualna verzija glasi:

A: "Ako ne griješim, onda Djed Mraz postoji."
B: "Slažem se. Ako ti ne griješiš onda Djed Mraz postoji."
A: "Ti se slažeš. Ono što sam rekao je tačno."
B: "Da."
A: "Onda ne griješim."
B: "Tačno."
A: "Ako ja ne griješim, onda Djed Mraz postoji. Ja nisam pogriješio. Prema tome, Djed Mraz postoji."

Na ovaj način, bilo koji prijedlog, nebitno da li je tačan ili ne, može biti dokazan.

Kurijev paradoks je: "Ako ja ne griješim, Y je tačno", gdje Y može biti bilo koja izjava. ("crno je bijelo", "2=1" i slično).

Također pogledajte[uredi | uredi izvor]