А что за вторая теорема Ферма такая?)

Вторая - "Малая", в отличие от "Великой" (IMG:style_emoticons/default/bigwink.gif)
Это что-то из теории чисел, кажется так:
"Для любого простого Р и целого А, (A^P — A) делится на P" (IMG:style_emoticons/default/unsure.gif)

Ну да, я уже догадался, что имелась в виду она. А разве Ферма её не доказал? Да и кроме этих двух теорем у него ещё много разных других.

Нет!
Видимо не хватило места на полях очередной книжки (IMG:style_emoticons/default/smile.gif)

Да, он не доказал её оказывается. Её доказал Лейбниц. Но Ферма много других вещей придумал, так что он известен не только великой теоремой Ферма.

Да, он был гений, и придумал много разных вещей, но как я говорил выше, даже двух его теорем, которые он только сформулировал, не доказав, уже достаточно, чтобы обессмертить его имя.

Позволю себе немного поправить ваше высказывание. Вы написали "которые он только сформулировал, не доказав". Я считаю, что будет корректнее написать "для которых он оставил формулировку, но не оставил доказательства".
Поверьте мне наслово, - это ничего, что Ферма давно уже нет в живых, - это замечание принципиально. Вы ведь не знаете, наверняка, появится или нет завтра элементарное доказательство, подтверждающее или опровергающее его запись на полях...
Вы вовремя вспомнили Эйлера. Да, всё верно, позже его утверждение опровергли, но так и не получили метод определения четвёрок чисел, удовлетворяющих биквадратному равенству. А ведь оно есть, если... - если есть метод определения троек чисел для квадратного равенства.
Или в моей логике есть ошибка? Или кто-то может утверждать, что такого метода нет?
Вот, смотрите: для 3-ей и 4-ой степени минимум 3 слагаемых, для 5-ой и 6-ой минимум 4... - машинным способом это можно проверить, но выдать соотношения между переменными равенства машина не может. Она совершает подбор а не действие по определению соотношений...
Она совершает подбор а не действие по определению соотношений...
Она совершает подбор а не действие по определению соотношений...
Я специально написал последнее несколько раз...

Не появится.
Эрнст Куммер в 1847 году доказал, что полное доказательство ВТФ элементарными методами не возможно.
"А мужики-то и не знают!" (IMG:style_emoticons/default/laugh.gif)

Странно. Неужели формализовано понятие "элементарные методы"?

Вот-вот. И мне это кажется подозрительным.

Почему же, знаю. Знаю мнение Куммера. Ну и что? Это его личное мнение. Я даже знаю почему он придерживался такого мнения. У него, как и у многих других не получилось. Но это же не повод безаппеляционно заявлять о том, что решение лежит за пределами возможностей математики. Полная чушь! Просто решение оказалось за пределами ЕГО возможностей и способностей. Ни кто не умаляет достижений Куммера и значимости его работ, но подобные заявления... - Это опять сыграла злую шутку логика европейской аналитической математики.
Современные математики воспитаны в "рамках" этой логики и почти невозможно заглянуть за её границы. Но если кому это и удаётся, то он там ничего не видит не потому, что там ничего нет, а по той причине, что увиденное и осознанное он воспринимает как что-то примитивное, не заслуживающее внимания. - Ну что особеннрого в античной математике (геометрии)? Сегодня этот материал изучают в школе в самом начале, - скажете вы...
Понимаете, феномен Ферма и состоит в том, что он как древние философы и геометры самостоятельно открывал для себя все математические правила и законы. Это совсем не то, что происходит при лекционном изучении и дальнейших самостоятельных занятиях. Сегодня для вас кто-то определяет форму подачи материала, способ и метод усвоения, объём достаточных знаний (!?) и, что самое главное, прививает свою логику, которая надолго или навсегда остаётся доминирующей. Всё довольно просто.

Нет, не формализовано. Сделать это невозможно. Заявить об этом можно, а сделать невозможно. Элементарные математические методы не основываются на на чьём-то личном мнении. Пусть даже это мнение временно окажется "общепризнанным"... Это ничего не меняет. Математические логика и гармония существуют в окружающем нас мире и после того, как я прекращаю о них думать, говорить, пользоваться ими и обращать внимание...
Нужен пример? - Плеяды великих физиков, химиков и математиков рождались, жили и умирали, но соотношения в распределении электронов на "орбиталях" в атоме не изменилось... И больше того, - оно было таковым в атоме и до того, как мир узнал о этих количественных соотношениях... (IMG:style_emoticons/default/bigwink.gif)

Лукомор, у меня к вам вопрос. Вот это ещё актуально? -

Теорема Лукомора:
"Великую Теорему Ферма невозможно ни доказать, ни опровергнуть методами элементарной математики"

Доказательство теоремы ферма элементарными методами. Теорема ферма верна. слово ВМКашника

Ну, видите ли, это была шутка, этакая тестовая тема на Scilog.ru,
я ее и назвал соответственно:
"Теорема Лукомора - нужно ли ее доказывать?"
Тема быстро заглохла, и была снесена за ненадобностью.

Понятно... - значит тоже теоремкой балуетесь?... (IMG:style_emoticons/default/smile.gif)

Т.е. типа «мамой клянусь»? (IMG:style_emoticons/default/smile.gif)

Отнюдь...
У меня несколько другие интересы...
Но учиться на ошибках других, это святое...
Для меня это типа легкого отдыха, найти ошибку в рассуждениях, когда заведомо известно, что она там есть... (IMG:style_emoticons/default/smile.gif)

- "...когда заведомо известно..." - этот оптимизм вам вселяют неудачи математиков за последние три с лишним сотни лет... - но взгляните на это иначе: пока счёт в пользу П.Ферма. (IMG:style_emoticons/default/yes.gif)

Нет! (IMG:style_emoticons/default/no.gif)
Этот оптимизм мне вселяет "теорема Лукомора". (IMG:style_emoticons/default/megalol.gif)