Математическое образование
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Матем. обр.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Математическое образование, 2013, выпуск 4(68), страницы 70–85 (Mi mo61)  

Студентам и преподавателям математических специальностей

Каким быть строгому доказательству?

А. Я. Беловa, Н. С. Келлинb

a Московский институт открытого образования
b Институт прикладной математики им. М. В. Келдыша АН СССР
Список литературы:
Аннотация: В работе идет речь о доказательствах в математике. Очевидно, что с доказательствами человек познакомился после возникновения письменности. А сейчас можно задуматься над такой "пропорцией":
Появилась письменность — возникли тексты доказательств.
Появились компьютеры — ?
Иными словами, что будет с доказательствами, на разбор которых уходили основные время и силы при изучении математики, сегодня — при возросших скоростях в вычислениях и всех других областях, где нашел применение компьютер? Видимо, формальные доказательства надо проводить не так уж часто: например, как образец в начале разработки какой-либо крупной темы. Далее можно ограничиваться рассуждениями, из которых следует а) можно ли провести формальное доказательство интересующего утверждения; б) сможет ли это сделать заинтересованный читатель.
В этом состоит суть вводимого понятия математического комикса. Оно применяется к теореме Ван-дер-Вардена об арифметических прогрессиях и к теореме Эйлера о многогранниках. В заключение рассмотрены аналоги м-комиксов в других областях и дается краткий обзор развития понятия доказательства в педагогике.
(Статья была напечатана в препринте Института прикладной математики имени М. В. Келдыша РАН, препринт № 6 за 1992 г. Публикуется с разрешения авторов. — Прим. ред.)
Ключевые слова: формальное доказательство, строгое доказательство, м-комикс, схема доказательства.
Тип публикации: Научно-популярный, образовательный материал
УДК: 510.2
Образец цитирования: А. Я. Белов, Н. С. Келлин, “Каким быть строгому доказательству?”, Матем. обр., 2013, № 4(68), 70–85
Цитирование в формате AMSBIB
\RBibitem{BelKel13}
\by А.~Я.~Белов, Н.~С.~Келлин
\paper Каким быть строгому доказательству?
\jour Матем. обр.
\yr 2013
\issue 4(68)
\pages 70--85
\mathnet{http://mi.mathnet.ru/mo61}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mo61
  • https://www.mathnet.ru/rus/mo/y2013/i4/p70
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математическое образование
    Статистика просмотров:
    Страница аннотации:310
    PDF полного текста:358
    Список литературы:41
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024