"Это прямой потомок нумерации Гёделя (1931): любой конечный текст, формула или машина —...
"Это прямой потомок нумерации Гёделя (1931): любой конечный текст, формула или машина — одно число. Ниже — конструктивное доказательство с проверкой бит-в-бит, исполняемое прямо в вашем браузере." Я как бы не математик, но это утверждение клауда меня просто поразило.🤗
125 просмотров