Skip to Content

Ошибка в вопросе

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

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

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

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

6 + 6 =
Решите этот несложный пример. Вы должны видеть три слагаемых. Если слагаемых два, то прибавьте к сумме 2.