2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2, 3, 4, 5 ... 14  След.
 
 Re: Арнольд
Сообщение01.06.2014, 09:45 
определение можно вводить по-разному

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 09:47 
Аватара пользователя
Oleg Zubelevich, А как вы определяете синус? Его производную?
Собственно, изначально речь шла о стандартном определении из стандартного учебника. Именно оно было примером недостаточной строгости.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 09:50 
Есть стандартное определение. А стандартное оно потому, что ещё школьное, а школьное потому, что в школе без синуса никак. Любое же альтернативное определение просто перенесёт трудности в другое место. Чудес не бывает.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 09:51 
provincialka в сообщении #870176 писал(а):
Собственно, изначально речь шла о стандартном определении из стандартного учебника

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

Определение. Синусом ($x(t)=\sin t$) называется решение задачи Коши $\ddot x+x=0,\quad x(0)=0,\quad \dot x(0)=1$

Это один из вариантнов дать абсолютно формальное построение тригонометрии. Вариант, естественно, совершенно непедагогичный, но речь, еще раз повторю, не о педагогике.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 09:54 
Аватара пользователя
Прекрасное определение. Осталось только доказать, что именно этот синус задает отношение сторон к прямоугольном треугольнике.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 09:54 
provincialka в сообщении #870176 писал(а):
речь шла о стандартном определении из стандартного учебника. Именно оно было примером недостаточной строгости.

Оно само по себе вполне строго. Нестрогим (при стандартном изложении) является лишь предшествующее геометрическое понятие длины дуги (ну или площади сектора, по вкусу). Однако эта нестрогость вполне безобидна: интуитивно всё выглядит очевидным, и достаточно лишь знать, что этим правдоподобным рассуждениям можно придать точную форму.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 09:55 
provincialka в сообщении #870179 писал(а):
Прекрасное определение. Осталось только доказать, что именно этот синус задает отношение сторон к прямоугольном треугольнике.

это совсем несложно

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 09:56 
provincialka в сообщении #870179 писал(а):
Осталось только доказать, что именно этот синус задает отношение сторон к прямоугольном треугольнике.

Нет-нет, это чуть позже. Сперва надо ещё доказать теорему ну хотя бы Пикара.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 10:02 
Аватара пользователя
Несколько боянов на тему ПЗП: например
topic57894.html
topic24259.html
topic48223.html

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 10:11 
Аватара пользователя
Собственно, дело не только в первом замечательном. Мне кажется, в самом понятии "строгого доказательства" нельзя полностью уйти от субъективности. Ведь представления о строгости вырабатываются людьми (и меняются в процессе развития математики). Впрочем, это все оффтопик в теме про Арнольда.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 10:19 
provincialka в сообщении #870191 писал(а):
Впрочем, это все оффтопик в теме про Арнольда.

Почему? Я, правда, всю тему не читал; но, по-моему, в любой теме вообще (и в этой в частности), где затрагивается Арнольд, речь неизбежно заходит о его подходе к вопросам строгости и вообще к педагогике.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 10:21 

(Оффтоп)

вообще немного забавно, что введение синуса как спецфункции оказалось таким сюрпризом

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 10:22 
Аватара пользователя
Ну, о его подходе. А о нем-то на последних страницах и забыли.

-- 01.06.2014, 11:24 --

Oleg Zubelevich, ну, не то чтобы сюрпризом, просто немного не в тему. Говорилось ведь о тех доказательствах, которые используются математиками. В реальных учебниках. Не заметила, чтобы кто-то отвергал саму возможность произвести описание более точно.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 10:33 

(Оффтоп)

Oleg Zubelevich в сообщении #870195 писал(а):
вообще немного забавно, что введение синуса как спецфункции оказалось таким сюрпризом

Это не сюрприз, это общеизвестный подход. Только ничем не мотивированный. В отличие, скажем, от экспоненты, для которой определение через дифур действительно достаточно идейно.

 
 
 
 Re: Арнольд
Сообщение01.06.2014, 12:25 
Аватара пользователя

(Оффтоп)

ewert в сообщении #870198 писал(а):
Это не сюрприз, это общеизвестный подход. Только ничем не мотивированный. В отличие, скажем, от экспоненты, для которой определение через дифур действительно достаточно идейно.

В общем-то, они для синуса и экспоненты мотивированы в равной степени. Если экспонента идейна, то и синус тоже; и наоборот.

 
 
 [ Сообщений: 207 ]  На страницу Пред.  1, 2, 3, 4, 5 ... 14  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group