Да смятам! Смятам още, че "хората в Wikipedia" съставили тази статия също са наясно с това ... и по-скоро са изброили тези, които са "важни" (каквото и да означава важни в случая)

Ако си прочел статията, която сам посочваш и по-специално частта за тезиса на Чърч-Тюринг ще знаеш, че там се споменава един човек Курт Гьодел.

Ако си бил във ФМИ и са ти "губили времето" с неговите теореми, ще знаеш също, че във всяка аксиоматична система, която съдържа в себе си аксиомите на Пеано за естествените числа или с други думи, която е "по-сложна" от системата на естествените числа съществува твърдение, което нито може да се докаже, нито да се опровергае в системата. А директното следствие от това е, че винаги ще има отворени (нерешени) проблеми - не 4 или 5 или 6, а неизброимо много.
(да отбележа, че всеки от 4-те изброени и нерешени проблеми може да се дефинира в подобна система)

Тези "глупости" разбира се не ти дават автоматично N лева по-голяма заплата ...

Ти например смяташ ли съвсем интуитивно и абстрактно, че играта Го е единствената игра, чиято сложност не позволява реализирането на достатъчно "добра" програма. Дали случайно не може да има още някоя игричка, която да има същия проблем? Дали тези игри не са (доста) повече?

почитания,
Йончев