Исходное сообщение glevr
Множество всех проблем очевидно не счетное, а множество всех разрешимых проблем счетное, так как каждой разрешимой проблеме соответсвует машина Тьюринга
(вспоминая зачёты по мат.) Доказательство липовое!
Множество всех проблем - конечное.
Вообще, мы на втором курсе спорили с нашим матлогиком. Он отставивал точку зрения, что в реальном мире не существует бесконечных множеств, я пытался ему конструктивно возразить, говоря о множестве элементарных частиц во вселенной, но был "раздавлен авторитетом" :)
Вот теорема Гёделя - это да...