Curryjev paradoks

Ovaj članak ili neki od njegovih odlomaka nije dovoljno potkrijepljen izvorima (literatura, veb-sajtovi ili drugi izvori). Ako se pravilno ne potkrijepe pouzdanim izvorima, sporne rečenice i navodi mogli bi biti izbrisani. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci te nakon toga možete ukloniti ovaj šablon.

U logici, posebno matematičkoj logici, Curryjevi paradoksi odnose se 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 je li tačan ili ne, može biti dokazan.

Curryjev 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).