Сверхзадача
- Сверхзадачи — это задачи, которые кажутся невыполнимыми из-за противоречия.
- Парадокс Томсона — пример сверхзадачи, где состояние лампы не может быть определено логически.
- Пол Бенасерраф считает, что сверхзадачи логически возможны, несмотря на противоречие Томсона.
- Современная литература написана потомками Бенасеррафа, допускающими возможность сверхзадач.
- Философы, отвергающие возможность сверхзадач, обычно отвергают их не на таких основаниях, как у Томсона.
- Некоторые утверждают, что лампа Томсона физически невозможна из-за необходимости проведения измерений.
- Сверхзадачи привели к появлению новых интересных работ в теоретической информатике, таких как машина Тьюринга с бесконечным временем.
Полный текст статьи: