Curryn paradoksi
Curryn paradoksi on nimetty keksijänsä, matemaatikko ja loogikko Haskell Brooks Curryn mukaan. Curryn paradoksi haastaa naiiveja teorioita:
Curryn paradoksi menee seuraavasti;
On olemassa lista, jossa on väitteet:
- Tasmanian tuholaisella on vahvat leuat.
- Toinen kohta listassa on kehämäinen.
- Jos listan kolmas kohta on tosi, on koko lista tosi.
- Listassa on neljä kohtaa.
Lista itsessään ei ole paradoksaalinen, kolmas kohta on. Oletetaan että väite "listan kolmas kohta on tosi" pätee. Tällöin tiedämme että "jos listan kolmas kohta on tosi, on koko lista tosi" on tosi, koska juuri totesimme kolmannen kohdan pätevän. Tästä voimme päätellä että koko lista on tosi, jolloin kolmas kohta on tosi, jolloin listan jokainen kohta on tosi...
Toinen paradoksi
muokkaaCurryn paradoksin nimellä kulkee myös taikuri Paul Curryn vuonna 1953 tuottama 13*5 kokoinen suorakulmainen kolmio, joka leikataan osiksi, jotka uudelleen järjestelyllä sopivat täysin 13*5 suorakulmaiseen kolmioon siten, että yksi neliö jää tyhjäksi. Kolmiosta esiintyy myös versio, jossa on tasakylkinen kolmio (joka koostuu itse asiassa kahdesta Curryn kolmiosta), jonka kanta on 10 ja korkeus 12. Tällöin tyhjä kahden ruudun tila muodostuu uudelleenjärjestelyllä tasakylkisen kolmion keskelle.
Kyseessä on kuitenkin silmänkääntötemppu, joten varsinaisesta paradoksista ei ole kysymys.