На интересуващите се от такива философско-математически проблеми, препоръчвам книгата на Роджър Пенроуз "Новият разум на царя" ( ISBN 954-07-0468-5). За съжаление книгата се намира трудно - може да потърсите в някоя библиотека или в антикварните книжарници (на три пъти по-висока цена):
http://www.alba-books.com/index.php?go=products&id=2987Книгата може да се намери за изтегляне на руски и английски език (нарочно не давам линкове - не е мястото им в този форум).
Ключови думи за търсене на руския превод (намират се две различни версии на руски език!):
"Роджер Пенроуз" + "Новый ум короля" По темата: Този пример не бива да се ползва като аргумент, че не е разумно да се ползват подобни сайтове. Хората от сериозните фирми не мислете, че са по-различни от останалите. Глупостта е характерна за всички хора и навсякъде може да срещнем човек, който в дадения момент да покаже глупостта си. И освен това не всички от програмистите се интересуват от подобни философски теми - целите им са далеч по-прагматични - да пишат програми за пари (но понякога пропуски в знанията като тези може драматично да окажат влияние върху финансите им - например, ако се мъчат твърде дълго да решат нерешима задача...).
Само две неща са безкрайни - Вселената и човешката глупост, като за първото не съм сигурен.
P.S. Не смятам, че опитите да се решат "нерешими задачи" няма смисъл. Имало е много случаи в историята, когато подобни опити са били успешни! Разбира се не твърдя, че точно тази задача е решима - говоря по принцип.