Kurijev paradoks

S Wikipedije, slobodne enciklopedije
Idi na navigaciju Idi na pretragu

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]