Турнир "Трисомия 13. ЧГК без границ и без правил" (Днепропетровск). 1 тур. Вопрос 6

Вопрос 6: В свое время Гильберт сформулировал 23 проблемы, определяющие перспективы математики в XX веке. На первом месте стояла проблема континуума, вернее, возможность разрешения этой проблемы. То, что ее нельзя опровергнуть доступными средствами математической логики, доказал в 1936 году Гёдель. А вот в 1963 году Пол Коэн сделал нечто, что позволило больше не рассматривать данный вопрос, как проблему. Приглядитесь к датам, возможно они подскажут, что доказал Коэн?

Ответ: "Обратную теорему", т.е. то, что она недоказуема.

Источник(и): Аванта+, "Математика", с.117

Автор: М. Колесников