Доказательство Тьюринга
Доказательство Тьюринга Доказательство неразрешимости проблемы Entscheidungsproblem Тьюринг доказывает, что проблема Entscheidungsproblem (проблема определения, является ли формула доказуемой) неразрешима. Он использует […]
Доказательство Тьюринга Доказательство неразрешимости проблемы Entscheidungsproblem Тьюринг доказывает, что проблема Entscheidungsproblem (проблема определения, является ли формула доказуемой) неразрешима. Он использует […]
Теорема Стоуна–Вейерштрасса Теорема Стоуна-Вейерштрасса утверждает, что если алгебра содержит ненулевую постоянную функцию, то она является плотной в C(X, H), если