THINKING IN STYLE: Пьер Ферма
Смотреть картинку в полный размер
Утверждение, не имеющее логического или математического доказательства, является недоказанным. Среди недоказанных утверждений могут оказаться верные, возможно, в их числе и Великая теорема Ферма, но, упоминая ее, мы всегда говорим "возможно", имея в виду, что при всей эмпирической очевидности недоказанное утверждение остается недоказанным, принятым на веру, требующим доказательства. Что не мешает нам заметить, что большинство НЕ доказанных теорем - это теоремы НЕ существования. НЕ является ли трудность доказательств НЕ существования провидением? Попробуйте доказать или опровергнуть эту гипотезу.