morreth: (укроп)
morreth ([personal profile] morreth) wrote2014-08-21 07:13 am

Иллюстрация к посту о советских фантастах и людях будущего

Читатель Стругацких советует насчет педагогики: http://novayagazeta.livejournal.com/2174434.html
О какой камень разбить мне свои бессильные руки?

[identity profile] nemka.livejournal.com 2014-08-21 11:46 am (UTC)(link)
Скорее всего элементарного доказательства теоремы ферма действительно не существует. Но проще, чем то, которое нашли (только чтобы понимать его, нужно семестр изучать теорию Галуа), наверняка есть. Школьникам задавать бесполезно, конечно, но студентов вполне разумно поощрять в поиске упрощения существующего доказательства. А потом мало ли что, никто не ДОКАЗАЛ, что элементарного доказательства нет.

[identity profile] polytheme.livejournal.com 2014-08-21 12:03 pm (UTC)(link)
Бог мой, какой семестр, какая "теория Галуа" ? в нём филдсовский лауреат Фальтингс, работающий практически в той же области, год копался. год нужен (приличному студенту первого-второго курса), чтобы понять _формулировку_ гипотезы Таниямы-Вейля и как к ней свести теорему Ферма.

[identity profile] nutuzh.livejournal.com 2014-08-21 04:55 pm (UTC)(link)
В этом контексте что означают слова "элементарное доказательство"? Доказательство средствами элементарной математики? Мне кажется, такого доказательства действительно не существует.
Edited 2014-08-21 16:55 (UTC)

[identity profile] nemka.livejournal.com 2014-08-21 05:00 pm (UTC)(link)
Мне тоже так кажется, но нет ведь 100% уверенности. Все-таки ведь Ферма сам утверждал, что у него есть миленькое доказательство этой теоремы. С точки зрения исторических наук можно, наверное, считать доказанным, что он ошибался. Но с т.з. математики у нас нет в руках ничего такого, чтобы ТОЧНО сказать это.

[identity profile] nutuzh.livejournal.com 2014-08-21 05:10 pm (UTC)(link)
То, что у Ферма, возможно, было доказательство, отнюдь не означает, что это доказательство элементарное. Ведь и в доказательстве "малой теоремы Ферма" (если целое число a не кратно простому числу p, то a в степени p-1 даёт остаток 1 при делении на p) без высшей математики не обойтись...

[identity profile] smirnfil.livejournal.com 2014-08-25 02:09 pm (UTC)(link)
Зачем там вышка??
Малую теорему Ферма семиклассники в мат. кружках проходят.

[identity profile] nutuzh.livejournal.com 2014-08-30 01:33 pm (UTC)(link)
Ну смотрите - если те же семиклассники в радиокружках самостоятельно конструируют транзисторные радиоприемники, то из этого не следует, что радиотехника является разделом элементарной физики. В школьном курсе физики полупроводимость рассматривается весьма поверхностно и, если память мне не изменяет, рассматривается действие только полупроводникового диода, а устройство и принцип действия полупроводниковых транзисторов остаются за рамками школьного (или элементарного) курса.

Примерно также обстоит дело и с математическими кружками. На них могут рассматриваться вопросы, выходящие за рамки элементарной математики. По сути: в доказательстве малой теоремы Ферма используются такие понятия теории чисел, которые не рассматриваются элементарной математикой. В институте мы доказывали малую теорему Ферма методом математической индукции. В этом доказательстве использовался расчет биномиальных коэффициентов. И метод индукции, и расчет коэффициентов не входят в курс элементарной математики. Понятие факториала, несмотря на его простоту, в школах не изучается. Абитуриенту на вступительных экзаменах не предложат задачи с использованием комбинаторики.

[identity profile] smirnfil.livejournal.com 2014-08-30 07:02 pm (UTC)(link)
Вы ошибочно мешаете школьную и элементарную математику. Метод индукции безусловно не может считаться "сложным", также как и понятия факториала и биномиальных коэффициентов. Соответственно тезис, что малая теорема Ферма сложна ошибочен - это один из базовых фактов теории чисел.

[identity profile] nutuzh.livejournal.com 2014-08-31 02:51 pm (UTC)(link)
Значит, весь вопрос в терминологии, в том, что мы понимаем под понятием "Элементарная математика". Если под этим понятием понимать школьную, невузовскую математику, то тогда малая теорема Ферма не доказывается средставми школьной математики. Если же принять определение Большой Советской Энциклопедии, и определить элементарную математику как "Совокупность таких разделов, задач и методов математики, в которых пользуются общими понятиями переменной функции предела и т п. Иначе говоря Э. м. пользуется теми общими понятиями (абстракциями), которые сложились до появления математического анализа", то тогда Вы правы и действительно малая теорема Ферма - это теорема элементарной математики.

[identity profile] van-der-moloth.livejournal.com 2014-08-23 10:31 am (UTC)(link)
Даже если это был не троллинг - я почти уверен, что это "миленькое доказательство" содержало небольшую ошибку. Но теперь-то уж не проверишь и не ткнешь в нее.