Счётность вычислимых функций. Теорема Поста. Существование перечислимого, но неразрешимого множества. Фундаментальный характер этой теоремы. Её доказательство.

Человек доказывает некоторые теоремы, потом эти теоремы делают из него другого человека.