Korisnik:Velickovicdara9/pesak

Kjurijev paradoks je paradoks u kome se proizvoljna tvrdnja F dokazuje iz pukog postojanja rečenice C koja za sebe kaže "Ako C, onda F", zahtevajući samo nekoliko naizgled bezazlenih pravila logičke dedukcije.

Pošto je F proizvoljno, svaka logika koja ima ova pravila omogućava da se sve dokaže. Paradoks se može izraziti prirodnim jezikom i različitim logikama, uključujući određene oblike teorije skupova, lambda računa i kombinatorne logike.

Paradoks je nazvan po logičaru Haskelu Kjuri. Takođe je nazvan Lobov paradoks po Martinu Lobu, zbog njegove veze sa Lobovom teoremom.

Primer

U logici,posebno matematičkoj logici, Kjurijevi paradoksi odnose se na porodicu logičkih paradoksa koji se javljaju u nekim teorijama skupova.

Jedna tekstualna verzija glasi:

• A: ''Ako ne grešim,onda Deda Mraz postoji.''
• B: ''Slažem se. Ako ti ne grešiš onda Deda Mraz postoji.''
• A: ''Ti se slažeš ono što sam rekao je tačno.''
• B: ''Da''
• A: ''Onda ne grešim.''
• B: ''Tačno''
• A: ''Ako ja ne grešim, onda Deda Mraz postoji.Ja nisam pogrešio. Prema tome, Deda Mraz postoji.''

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

Kjurijev paradoks je: ''Ako ja ne grešim, Y je tačno'', gde Y može biti bilo koja izjava (''crno je belo'', ''2=1'' i slično).

Pogledajte još

• Rišarov paradoks