1937 in science

Вики

Доказательство Тьюринга

/

Доказательство Тьюринга Доказательство неразрешимости проблемы Entscheidungsproblem Тьюринг доказывает, что проблема Entscheidungsproblem (проблема определения, является ли формула доказуемой) неразрешима.  Он использует

Вики

Теорема Стоуна–Вейерштрасса

/

Теорема Стоуна–Вейерштрасса Теорема Стоуна-Вейерштрасса утверждает, что если алгебра содержит ненулевую постоянную функцию, то она является плотной в C(X, H), если

Прокрутить вверх