stackyFACTS
Для машины Тьюринга нет общего теста остановки программ
STACKY / Наука
Наука

Для машины Тьюринга нет общего теста остановки программ

ВОТ ЧТО ИНТЕРЕСНО

Представьте машину, которая выполняет инструкции по одной: если задачу можно описать конечным алгоритмом, машина Тьюринга способна её вычислить. Но это не означает, что она ответит на любой вопрос. Для некоторых программ нельзя заранее составить общий тест, который всегда выяснит, закончат они работу или нет.

Одно открытие ведёт к другому.

Продолжите читать факты по этой теме.

Наука →
STACKY ДЛЯ IPHONE

Большой мир.
Маленькие открытия.

Продолжите открывать мир в Stacky. Интересные факты в приложении, которое всегда под рукой.

Скачать в App Store
ЕЩЁ ОДНО ОТКРЫТИЕ?

Продолжите открытие

Вся тема →
Большинство способно проголосовать по кругу
Наука

Большинство способно проголосовать по кругу

Один избиратель предпочитает A, затем B, затем C; второй — B, C, A; третий — C, A, B. При попарном голосовании A побеждает B, B побеждает C, а C побеждает A.…

Узнать больше
В 365 ячейках 366 человек неизбежно делят место
Наука

В 365 ячейках 366 человек неизбежно делят место

Представьте 365 ячеек — по одной на каждый день рождения — и 366 человек. Если рассадить всех по ячейкам, кому-то придётся делить место с другим: это принцип…

Узнать больше
Математический шар можно разложить на два шара того же размера
Наука

Математический шар можно разложить на два шара того же размера

В обычном мире разрезанный шар не может внезапно стать двумя такими же. Но математический шар — это набор точек, а некоторые его части настолько необычны, что…

Узнать больше
0,999… — это не приближение, а сама единица
Наука

0,999… — это не приближение, а сама единица

0,999… не просто бесконечно приближается к единице: это та же самая величина. Возьмём 1/3 — его запись равна 0,333…; умножив её на 3, получим 0,999…, а из 1/3…

Узнать больше
Некоторые математические истины недоказуемы в выбранной системе
Наука

Некоторые математические истины недоказуемы в выбранной системе

Некоторые математические утверждения могут быть истинными, но недоказуемыми из выбранных правил. Доказательство строят из аксиом — стартовых кирпичиков…

Узнать больше
Общий итог способен перевернуть результат сравнения внутри групп
Наука

Общий итог способен перевернуть результат сравнения внутри групп

Сначала сравнение может быть честным внутри каждой группы: одно лечение выигрывает и у лёгких, и у тяжёлых пациентов. Но если в группе этого лечения оказалось…

Узнать больше
StackyБольше открытий в приложении
Скачать в App Store