Цитата Сообщение от General Посмотреть сообщение
Когда я читал об этой задаче у Гарднера, там было чуть хитрее - надо в составной вопрос включать такое утверждение, для которого точно известно, что его истинность не может быть ни доказана, ни опровергнута. Вот только не помню, какое.
Это просто придирка, тут и задан такой вопрос. Можно спросить верна ли континуум-гипотеза в ZFC или что-нибудь в этом роде, но нафига всё усложнять? Тем более с теоремой Гёделя о неполноте не все знакомы .