![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Aug. 1st, 2005
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif){kind=small}
Подилетантствовал на ru_math
Тут дело в том, что как-то лет 15 назад в журнале Смена прочитал про имеющееся у Зиновьева доказательство недоказуемости теоремы Ферма и запомнилось... А еще года с 2 назад прочитал "Семь размышлений на темы философии математики" Успенского и "картинка сложилась".
Всё же у Зиновьева какой-то странный, недосказанный результат получился: если уж, как он утверждает, теорема Ферма недоказуема, то можно было бы и победно трубить о доказанности наличия опровержения теоремы Ферма. Ведь действительно, "профессиональный логик не мог игнорировать столь простого рассуждения".
Я уж не говорю о странности публикации данного результата после того, как теорема Ферма всё же была доказана.
Или же я чего-то не улавливаю? Или же, Зиновьев просто гонит?
ПС: только больно ногами не бейте, моё образование де-факто закончилось при поступлении на первый курс МИРЭА. Ну, сейчас еще по мелочевке пытаюсь что-то добрать.
Тут дело в том, что как-то лет 15 назад в журнале Смена прочитал про имеющееся у Зиновьева доказательство недоказуемости теоремы Ферма и запомнилось... А еще года с 2 назад прочитал "Семь размышлений на темы философии математики" Успенского и "картинка сложилась".
Всё же у Зиновьева какой-то странный, недосказанный результат получился: если уж, как он утверждает, теорема Ферма недоказуема, то можно было бы и победно трубить о доказанности наличия опровержения теоремы Ферма. Ведь действительно, "профессиональный логик не мог игнорировать столь простого рассуждения".
Я уж не говорю о странности публикации данного результата после того, как теорема Ферма всё же была доказана.
Или же я чего-то не улавливаю? Или же, Зиновьев просто гонит?
ПС: только больно ногами не бейте, моё образование де-факто закончилось при поступлении на первый курс МИРЭА. Ну, сейчас еще по мелочевке пытаюсь что-то добрать.