Эта цитата не подтверждает какую-либо из наших позиций.
Меня беспокоит, что вы взяли понятие, которое прекрасно работает как чисто синтаксическое, определили его через понятие "правильного ответа" и думаете, что всё в порядке. Задумайтесь над этим. Это ужасно.
мне кажется, на этом месте надо остановиться и посмотреть на следующий набор букв
верно ли, что ответ на этот вопрос — «нет»?
будет ли это yes-no question? что ответит на него компьютер, который способен правильно ответить на любой yes-no question? по условию задачи, такой компьютер у нас есть.
если считать, что это yes-no question, то я не умею решать ни одной задачи, в которой говорится о yes-no questions и правильных ответах на них. поэтому в мире, где это считается yes-no question, я жить не хочу. к счастью для меня, ученые логики в этом мире придумали, как формализовать понятие yes-no question таким образом, чтобы ответ ни на один из них не приводил к выпадению в альтернативную вселенную. некоторые вроде бы невинные вопросы (вроде вашего и моего) в таких формализмах задать нельзя, но с этим я готов мириться.
no subject
Date: 2010-06-08 08:25 pm (UTC)Меня беспокоит, что вы взяли понятие, которое прекрасно работает как чисто синтаксическое, определили его через понятие "правильного ответа" и думаете, что всё в порядке. Задумайтесь над этим. Это ужасно.
no subject
Date: 2010-06-08 09:13 pm (UTC)верно ли, что ответ на этот вопрос — «нет»?
будет ли это yes-no question? что ответит на него компьютер, который способен правильно ответить на любой yes-no question? по условию задачи, такой компьютер у нас есть.
если считать, что это yes-no question, то я не умею решать ни одной задачи, в которой говорится о yes-no questions и правильных ответах на них. поэтому в мире, где это считается yes-no question, я жить не хочу. к счастью для меня, ученые логики в этом мире придумали, как формализовать понятие yes-no question таким образом, чтобы ответ ни на один из них не приводил к выпадению в альтернативную вселенную. некоторые вроде бы невинные вопросы (вроде вашего и моего) в таких формализмах задать нельзя, но с этим я готов мириться.