Читать «Приключения Алисы в Стране Головоломок» онлайн - страница 94
Рэймонд М. Смаллиан
Что касается Утверждения 2, предположим, некто считает, что он принадлежит к Типу А. Если это действительно так, то его суждение верно, но ведь любой представитель Типа А может рассуждать здраво только наяву. С другой стороны, если этот некто относится к Типу Б, то его суждение неверно, но ведь любой представитель Типа Б может иметь неверные суждения только наяву. Поэтому в любом случае он бодрствует, что является доказательством Утверждения 2.
Notes
1
Кэрролл Л.
2
Это вариации на тему знаменитой старой задачи, автором которой является американец Сэм Ллойд.
3
Грифон говорил об этом в «Приключениях Алисы в Стране Чудес».