в тред вызывается Тьюринг
May. 9th, 2012 12:03 am![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png)
возможно ли создание алгоритма, который бы определял парадоксальные высказывания по типу "я лгу", а для всех остальных бы говорил, истинны ли они или ложны?
УПД: я ступил и забыл, что кроме парадоксальных высказываний могут быть те, которые нельзя доказать или опровергнуть в рамках данной аксиоматики, но к парадоксам не приводящие. Так вот, требуется алгоритм, разделяющий все утверждения на четыре группы: истинные, ложные, парадоксальные и неопределенные в данной аксиоматике.
УПД: я ступил и забыл, что кроме парадоксальных высказываний могут быть те, которые нельзя доказать или опровергнуть в рамках данной аксиоматики, но к парадоксам не приводящие. Так вот, требуется алгоритм, разделяющий все утверждения на четыре группы: истинные, ложные, парадоксальные и неопределенные в данной аксиоматике.