Şeytan Sorusu

Aklınızdan bir sayı tutun.
Eğer sayı çift ise 2 ye bölün, değilse 3 katının 1 fazlasını 2 ye bölün.
Elde ettiğiniz sayıya aynı işlemleri yapmaya devam edin.
Bu sırayla devam ederseniz sonunda elde edeceğiniz 1 rakamı olacaktır.

Sorunun mantığı kavranmış değil. Yani olayın neden 1 de sonlandığını ispatlamak henüz kimseye nasip olmadı.
Çok çalışılmış ancak "elde her sayıyı mutlaka 1 e götürmeli," veya ".... bu yüzden her sayı 1 e kadar gidiyor" gibi cümleler kurduracak kesin bir kanıt yok.
 Paul Erdös ki kendisi "yalnızca sayıları seven adam" olarak bilinir, "umutsuz tamamen umutsuz" bile demiş.

Bu kanıt bulunamadığı için ise tersine örnek bulma ihtimalinden kimse "imkansız" diye bahsedemez.

Kanıtlamaya çalıştığımız şeyin tahmin ettiğimiz şey olması güzel olurdu ancak her zaman durum öyle olmayabilir.