{"answer":"\"Обратную теорему\", т.е. то, что она недоказуема.","author":"М. Колесников","batch_info":{"date":"06-Apr-2002","description":"Турнир \"Трисомия 13. ЧГК без границ и без правил\" (Днепропетровск)","filename":"triso.json"},"description":"В свое время Гильберт сформулировал 23 проблемы, определяющие\nперспективы математики в XX веке. На первом месте стояла проблема\nконтинуума, вернее, возможность разрешения этой проблемы. То, что ее\nнельзя опровергнуть доступными средствами математической логики, доказал\nв 1936 году Гёдель. А вот в 1963 году Пол Коэн сделал нечто, что\nпозволило больше не рассматривать данный вопрос, как проблему.\nПриглядитесь к датам, возможно они подскажут, что доказал Коэн?","id":"Вопрос 6","next":22473,"num":277389,"source":"Аванта+, \"Математика\", с.117","tour":"1 тур"}