yigal_s' Journal

Зиновьев, теорема Ферма, Успенский и журнал "Смена"
Подилетантствовал на ru_math

Тут дело в том, что как-то лет 15 назад в журнале Смена прочитал про имеющееся у Зиновьева доказательство недоказуемости теоремы Ферма и запомнилось... А еще года с 2 назад прочитал "Семь размышлений на темы философии математики" Успенского и "картинка сложилась".

Всё же у Зиновьева какой-то странный, недосказанный результат получился: если уж, как он утверждает, теорема Ферма недоказуема, то можно было бы и победно трубить о доказанности наличия опровержения теоремы Ферма. Ведь действительно, "профессиональный логик не мог игнорировать столь простого рассуждения".

Я уж не говорю о странности публикации данного результата после того, как теорема Ферма всё же была доказана.

Или же я чего-то не улавливаю? Или же, Зиновьев просто гонит?

ПС: только больно ногами не бейте, моё образование де-факто закончилось при поступлении на первый курс МИРЭА. Ну, сейчас еще по мелочевке пытаюсь что-то добрать.