Начальная

Windows Commander

Far
WinNavigator
Frigate
Norton Commander
WinNC
Dos Navigator
Servant Salamander
Turbo Browser

Winamp, Skins, Plugins
Необходимые Утилиты
Текстовые редакторы
Юмор

File managers and best utilites

Реферат на тему Математика в современном мире. Современная математика реферат


Реферат Математика в современном мире 2

Негосударственное образовательное учреждение высшего профессионального образования ИНСТИТУТ КОММУНИКАТИВНЫХ ТЕХНОЛОГИЙ

Реферат

Тема: «Математика в современном мире».Исполнитель: Павлова М.М. студентка 1 курса, специальность финансовый менеджмент, форма обучения заочная

 Проверил:  Муслакова Е.А. Преподаватель  Гуманитарных и                            социальных дисциплинМосква 2010 План:1. Введение

2. Роль математики в современном мире. Основные этапы развития математики

3. Особенности математического стиля мышления

4. “Мы живем в математической цивилизации - и, может быть, умираем вместе с нею”

5. Заключение

6. Список литературыВведение

Математика - область человеческого знания, изучающая математические модели, отражающие объективные свойства и связи. "Замечательно, - пишет В.А. Успенский, - что хотя математическая модель создается человеческим разумом, она, будучи создана, может стать предметом объективного изучения. Познавая ее свойства, мы тем самым познаем и свойства отраженной моделью реальности" Кроме того, математика дает удобные способы описания самых разнообразных явлений реального мира и тем самым выполняет роль языка науки. Наконец, математика дает людям методы изучения и познания окружающего мира, методы исследования как теоретических, так и практических проблем.

Математика (греч. mathematike, от mathema - знание, наука) наука, в которой изучаются пространственные формы и количественные отношения. Современное понятие математики - наука о математических структурах (множествах, между элементами которых определены некоторые отношения). У представителей науки начала 19 века, не являющихся математиками, можно найти такие общедоступные определения математики.

"Чистая математика имеет своим объектом пространственные формы и количественные отношения действительного мира" (Ф. Энгельс).

"Математика - наука о величинах и количествах; все, что можно выразить цифрою, принадлежит математике. Математика может быть чистой и прикладной. Математика делится на арифметику и геометрию; первая располагает цифрами, вторая - протяжениями и пространствами. Алгебра заменяет цифры более общими знаками, буквами; аналитика добивается выразить все общими формулами, уравнениями, без помощи чертежа" (В. Даль).

Современная математика насчитывает множество математических теорий: математическая статистика и теория вероятности, математическое моделирование, численные методы, теория групп, теория чисел, векторная алгебра, теория множеств, аналитическая и проективная геометрия, математический анализ и т.д.

Несмотря на то, что математических теорий достаточно много и они, на первый взгляд, могут и не иметь ничего общего, внутренняя эволюция математической науки упрочила единство ее различных частей и создала центральное ядро. Существенным в этой эволюции является систематизация отношений, существующих между различными математическими теориями; ее итогом явилось направление, которое обычно называют "аксиоматический метод". В теории, построенной в согласии с аксиоматическим методом, начинают с небольшого количества неопределяемых (первичных) понятий, с помощью которых образуются утверждения, называемые аксиомами.

Прочие понятия, изучаемые в теории, определяются через первичные, и из аксиом и определений выводятся теоремы. Теория становится рекурсивно структурированной, ее можно представить в виде матрешки, в которой понятия и их свойства как бы являются вложенными друг в друга. Каждая математическая теория является цепочкой высказываний, которые выводятся друг из друга согласно правилам логики, т.е. объединяющим началом математики является "дедуктивное рассуждение". Развитие математической теории в таком стиле - это первый шаг по направлению к ее формализации.                          

                         Роль математики в современном мире. Основные этапы развития математики

Целью изучения математики является повышение общего кругозора, культуры мышления, формирование научного мировоззрения.

Математика – наука о количественных отношениях и пространственных формах действительного мира. Академик Колмогоров А.Н. выделяет четыре периода развития математики[1]:

1) зарождение математики

2) элементарная математика

3) математика переменных величин

4) современная математика.

Начало периода элементарной математики относят к VI-V веку до нашей эры. К этому времени был накоплен достаточно большой фактический материал. Понимание математики, как самостоятельной науки возникло впервые в Древней Греции. В течение этого периода математические исследования имеют дело лишь с достаточно ограниченным запасом основных понятий, возникших для удовлетворения самых простых запросов хозяйственной жизни. Развивается арифметика – наука о числе.

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

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

К этому времени относятся и появление гениальной идеи Р. Декарта о методе координат. Создается аналитическая геометрия, которая позволяет изучать геометрические объекты методами алгебры и анализа. С другой стороны метод координат открыл возможность геометрической интерпретации алгебраических и аналитических фактов[2].

Дальнейшее развитие математики привело в начале ХIX века к постановке задачи изучения возможных типов количественных отношений и пространственных форм с достаточно общей точки зрения. Связь математики и естествознания приобретает все более сложные формы. Возникают новые теории. Новые теории возникают  нe

только в результате запросов естествознания и техники, но и в результате внутренней потребности математики. Замечательным примером такой теории является воображаемая геометрия Н. И. Лобачевского. Развитие математики в XIX и XX веках позволяет отнести ее к периоду современной математики. Развитие самой математики, математизация различных областей науки, проникновение математических методов во многие сферы практической деятельности, прогресс вычислительной техники привели к появлению новых математических дисциплин, например, исследование операций, теория игр, математическая экономика и другие.

В основе построения математической теории лежит аксиоматический метод. В основу научной теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории получаются, как логические следствия аксиом. Основными методами в математических исследованиях являются математические доказательства – строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция.

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

В математике используют два вида умозаключений: дедукция и индукция[3].

Индукция – метод исследования, в котором общий вывод строится не основе частных посылок.

Дедукция – способ рассуждения, посредством которого от общих посылок следует заключение частного характера.

Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности.Особенности математического стиля мышления

Представляет интерес характеристика А.Я. Хинчиным математического мышления, а точнее, его конкретно-исторической формы – стиля математического мышления. Раскрывая сущность стиля математического мышления, он выделяет четыре общие для всех эпох черты, заметно отличающие этот стиль от стилей мышления в других науках[4].

Во-первых, для математика характерна доведенное до предела доминирование логической схемы рассуждения. Математик, потерявший, хотя бы временно, из виду эту схему, вообще лишается возможности научно мыслить. Эта своеобразная черта стиля математического мышления имеет в себе много ценного. Очевидно, что она в максимальной степени позволяет следить за правильностью течения мысли и гарантирует от ошибок; с другой стороны, она заставляет мыслящего при анализе иметь перед глазами всю совокупность имеющихся возможностей и обязывает его учесть каждую из них, не пропуская ни одной (такого рода пропуски вполне возможны и фактически часто наблюдаются при других стилях мышления).

Во-вторых, лаконизм, т.е. сознательное стремление всегда находить кратчайший ведущий к данной цели логический путь, беспощадное отбрасывание всего, что не абсолютно необходимо для безупречной полноценности аргументации. Математическое сочинение хорошего стиля не терпит никакой “воды”, никаких украшающих, ослабляющих логическое напряжение разглагольствований, отвлечений в сторону; предельная скупость, суровая строгость мысли и ее изложения составляют неотъемлемую черту математического мышления. Черта эта имеет большую ценность не только для математического, но и для любого другого серьезного рассуждения. Лаконизм, стремление не допускать ничего излишнего, помогает и самому мыслящему, и его читателю или слушателю полностью сосредоточиться на данном ходе мыслей, не отвлекаясь побочными представлениями и не теряя непосредственного контакта с основной линией рассуждения.

Корифеи науки, как правило, мыслят и выражаются лаконично во всех областях знания, даже тогда, когда мысль их создает и излагает принципиально новые идеи. Какое величественное впечатление производит, например, благородная скупость мысли и речи величайших творцов физики: Ньютона, Эйнштейна, Нильса Бора! Может быть, трудно найти более яркий пример того, какое глубокое воздействие может иметь на развитие науки именно стиль мышления ее творцов.

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

В-третьих, четкая расчлененность хода рассуждений. Если, например, при доказательстве какого-либо предложения мы должны рассмотреть четыре возможных случая, из которых каждый может разбиваться на то или другое число подслучаев, то в каждый момент рассуждения математик должен отчетливо помнить, в каком случае и подслучае его мысль сейчас обретается и какие случаи и подслучаи ему еще остается рассмотреть. При всякого рода разветвленных перечислениях математик должен в каждый момент отдавать себе отчет в том, для какого родового понятия он перечисляет составляющие его видовые понятия. В обыденном, не научном мышлении мы весьма часто наблюдаем в таких случаях смешения и перескоки, приводящие к путанице и ошибкам в рассуждении. Часто бывает, что человек начал перечислять виды одного какого-нибудь рода, а потом незаметно для слушателей (а часто и для самого себя), пользуясь недостаточной логической отчетливостью рассуждения, перескочил в другой род и заканчивает заявлением, что теперь оба рода расклассифицированы; а слушатели или читатели не знают, где пролегает граница между видами первого и второго рода[5].

Для того чтобы сделать такие смешения и перескоки невозможными, математики издавна широко пользуются простыми внешними приемами нумерации понятий и суждений, иногда (но гораздо реже) применяемыми и в других науках. Те возможные случаи или те родовые понятия, которые надлежит рассмотреть в данном рассуждении, заранее перенумеровываются; внутри каждого такого случая те подлежащие рассмотрению подслучаи, которые он содержит, также перенумеровываются (иногда, для различения, с помощью какой-либо другой системы нумерации). Перед каждым абзацем, где начинается рассмотрение нового подслучая, ставится принятое для этого подслучая обозначение (например, II 3, -это означает, что здесь начинается рассмотрение третьего подслучая второго случая, или описание третьего вида второго рода, если речь идет о классификации). И читатель знает, что до тех пор, покуда он не натолкнется на новую числовую рубрику, всё излагаемое относится только к этому случаю и подслучаю. Само собою разумеется, что такая нумерация служит лишь внешним приемом, очень полезным, но отнюдь не обязательным, и что суть дела не в ней, а в той отчетливой расчлененности аргументации или классификации, которую она и стимулирует, и знаменует собою.

В-четвертых, скрупулезная точность символики, формул, уравнений. То есть “каждый математический символ имеет строго определенное значение: замена его другим символом или перестановка на другое место, как правило, влечет за собою искажение, а подчас и полное уничтожение смысла данного высказывания”.

Выделив основные черты математического стиля мышления, А.Я. Хинчин замечает, что математика (особенно математика переменных величин) по своей природе имеет диалектический характер, а следовательно, способствует развитию диалектического мышления. Действительно, в процессе математического мышления происходит взаимодействие наглядного (конкретного) и понятийного (абстрактного). “Мы не можем мыслить линии, – писал Кант, – не проведя её мысленно, не можем мыслить себе три измерения, не проведя из одной точки трех перпендикулярных друг к другу линий”[6].

Взаимодействие конкретного и абстрактного “вело” математическое мышление к освоению новых и новых понятий и философских категорий. В античной математике (математике постоянных величин) таковыми были “число” и “пространство”, которые первоначально нашли отражение в арифметике и евклидовой геометрии, а позже в алгебре и различных геометрических системах. Математика переменных величин “базировалась” на понятиях, в которых отражалось движение материи, - “конечное”, “бесконечное”, “непрерывность”, “дискретное”, “бесконечно малая”, “производная” и т.п.

                    “Мы живем в математической цивилизации - и, может быть, умираем вместе с нею”

 Выдающегося российского математика академика Игоря Ростиславовича Шафаревича считал, что основная догма научной идеологии - это вера в математизацию. Она утверждает, что всё (или, по крайней мере, всё существенное) в природе может быть измерено, превращено в числа (или другие математические объекты), и что путем совершения над ними различных математических манипуляций можно предсказать и подчинить своей воле все явления природы и общества. Кант говорил, что каждая область сознания является наукой настолько, насколько в ней содержится математика. Пуанкаре писал, что окончательная, идеальная фаза развития любой научной концепции - это ее математизация. В некотором смысле можно сказать, что мы живем в математической цивилизации - и, может быть, умираем вместе с нею. Ввиду сказанного выше математику естественно проявить интерес к этим взаимосвязанным явлениям.

Научная идеология имеет сейчас уже длинную историю. Еще Галилей говорил, что "книга науки написана на языке геометрии" (геометрией тогда называли математику). Приблизительно в то же время (1605) Кеплер писал в письме своему другу: "Моя цель показать, что небесную машину нужно сравнивать не с божественным организмом, а с часовым механизмом". Декарт сравнивал животное с машиной, а столетие спустя Ламетри в книге "Человек-машина" распространил этот принцип и на человека.

Однако лишь во времена Ньютона механическая концепция мира полностью покорила себе умы. Ньютон и его последователи называли его теорию "Системой Мира". Она вдохновляла не только его современников, но и многие следующие поколения. Казалось, что можно развить полную картину природы на основе небольшого числа законов, из которых все остальное может быть дедуцировано при помощи решения дифференциальных уравнений, разложения функций в степенные ряды и других математических процедур.

Но больше всех был зачарован этой картиной сам Ньютон. Неслучайно свое главное сочинение он назвал "Математические начала натуральной философии". В конце его он прокламирует применимость тех же принципов к живым существам, чтобы и эта часть природы была включена в его "Систему Мира". Он пишет: "Теперь следовало бы кое-что добавить о некотором тончайшем эфире, проникающем все сплошные тела и в них содержащемся, коего силою... возбуждается всякое чувствование, заставляющее члены животных двигаться по желанию, передаваясь именно колебаниями этого эфира через тончайшие нити нервов от внешних органов чувств мозгу и от мозга мускулам. Но это не может быть изложено кратко, к тому же нет и достаточного запаса опытов, коими законы действия этого эфира были бы точно определены и показаны". Очевидно, Ньютон имеет в виду механическую теорию эфира и дает понять, что лишь недостаток места и неполнота экспериментальной базы мешают ему развить механическую теорию функционирования тел животных на базе эфира.

В то же время стали слышны и встревоженные голоса. Задавались вопросом: остается ли в этой механической системе мира место для Бога? Можно было бы даже спросить - для чего-либо живого? Вселенная выглядела как гигантская машина, функционирующая исключительно на основе механических законов. И опять наиболее встревожен был сам Ньютон. Религиозные убеждения Ньютона и до сих пор остаются несколько загадочными. Но несомненно, он был глубоко религиозным человеком. Бесспорно, противоречие между его механической системой мира и его религиозными чувствами было для него очень болезненным. Он ясно выразил это в своей переписке. Когда ему было около 50 лет, Ньютон пережил тяжелый нервный кризис, некоторые исследователи говорят даже о психическом заболевании. Он не мог спать по нескольку дней и ночей подряд. Его память была спутанной. Он переживал глубокую депрессию. Есть основания считать, что в этом случае мы имеем дело с кризисом мировоззрения.

Основная догма научной идеологии - это вера в то, что все измеримо, все может быть выражено в числах, переведено на язык математики.

Эта вера содержится уже в призыве Галилея: "Измерить все, что измеримо, и сделать измеримым то, что неизмеримо". Особенно интересна вторая часть этой программы: как нам быть с любовью, состраданием, мужеством, нежностью? Очевидно, всем этим сторонам жизни нет места в математизированной концепции мира.

В научной идеологии математизация играет ту же роль, что стандартизация в технике. Простейший путь применения математики - это счет. Но считать можно только однородные объекты. Пусть нам даны, скажем, яблоко, цветок, собака, дом, солдат, девушка, луна. Мы можем сосчитать их и сказать, что их 7 - но 7 чего? Единственный ответ - 7 предметов. Различия между собакой и луной, между яблоком и солдатом исчезают: они все потеряли свою индивидуальность и превратились в лишенные признаков "предметы". Счет убивает индивидуальность. Это самый примитивный пример, но во всех случаях присутствует тот же принцип. Другая особенность математики, очень существенная для научной идеологии, - это ее способность трансформировать решение глубоких проблем в стандартизированные логические схемы. Например, квадрирование параболы или спирали в античности было проблемой, требующей усилий такого гениального математика, как Архимед, и основывалось на красивом арифметическом тождестве. Сейчас школьник старших классов может стандартным приемом вычислить интеграл от xndx при любом n. Более того, такое вычисление легко совершает компьютер. Возникает чувство, что вся математика может быть сведена к работе грандиозного компьютера. Но большинство математиков, несомненно, согласятся с тем, что их работа в принципе отличается от работы компьютера. Этот вопрос был предметом интересной дискуссии между Пуанкаре и Гильбертом в начале нашего века. Та же проблема ставилась тогда иначе: формализуема ли математика? Ответ Гильберта был: "да" - и на этом пути он надеялся получить доказательство непротиворечивости арифметики. Пуанкаре не соглашался с ним. Позже теорема неполноты Гёделя, по-видимому, решила вопрос в пользу Пуанкаре. Особенно интересны взгляды Пуанкаре на роль эстетического чувства в математическом творчестве. Он говорит, что математическое открытие приносит чувство наслаждения, оно привлекательно как раз ввиду содержащегося в нем эстетического элемента. Если бы математика была лишь собранием силлогизмов, она была бы доступна всем - для этого была бы нужна лишь хорошая память. Но известно, что большинству людей математика дается с трудом. Пуанкаре видит причину в том, что силлогизмы складываются в математике в "структуру", обладающую красотой. Чтобы понимать математику, надо "увидеть" эту красоту, а это требует эстетических способностей, которыми не все обладают.

Пуанкаре предлагает очень интересную схему математического творчества. Он связывает его с делением человеческой психики на сознательную и бессознательную части. Процесс начинается с сознательных усилий, направленных на решение некоторой проблемы. Эти усилия повышают активность бессознательной части психики. Там появляется множество новых комбинаций математических объектов - как бы возможных фрагментов решения. Они возникают в громадном количестве и с колоссальной скоростью. Сейчас мы могли бы сравнить эту фазу с работой грандиозного компьютера. Но подавляющая часть этих комбинаций бесполезна для решения проблем. Они, за очень небольшим исключением, не достигают сознания, проходят отбор, основанный на эстетическом принципе, некий эстетический барьер позволяет лишь небольшому их числу проникнуть в сознание. Они появляются там как готовая идея решения, причем это сопровождается очень сильным субъективным чувством уверенности в правильности идеи. Дальше остается лишь техническая работа по осуществлению найденного решения.

Эта схема, очевидно, напоминает картину эволюции, основанную на мутациях и естественном отборе, и, вероятно, возникла под ее влиянием. Гораздо позже, видимо, не зная об идеях Пуанкаре, Конрад Лоренц высказал аналогичные мысли. Он рассматривает жизнь как "процесс обучения", "познавательный процесс". Он подчеркивает черты, общие обоим явлениям - мышлению и эволюции, - такие, как "творческое озарение", "творческий акт", когда после долгих поисков "почти мгновенно" возникает новая идея или новый вид. Но можно эту аналогию обратить и взглянуть на эволюцию как на результат деятельности некоего гигантского интеллекта или души Природы. Концепция "anima mundi" (души Природы) возникала в различных философских и мистических учениях: у Платона, в христианстве. Когда в молодости я читал работы Пуанкаре, мне пришла в голову мысль об эволюции как процессе мышления; она показалась очень привлекательной. Только много позже я узнал, что еще до Дарвина знаменитый естествоиспытатель Л. Агассис рассматривал эволюцию как "мышление Бога". Но если продолжить эту аналогию, то насколько красивее окажется точка зрения Пуанкаре сравнительно с принятой сейчас концепцией: решающим фактором в эволюции оказывается не "борьба за существование", а эстетический критерий. Тогда становится понятным, почему природа порождает не только прекрасные растения и животных, но и решения проблемы адаптации видов, которые по красоте н е уступают самым совершенным научным теориям.

Но профессионалам-математикам вряд ли нужны какие-либо аргументы в пользу важности эстетического элемента в математике: в разговорах математика все время можно услышать: "изящное доказательство", "прекрасная статья"... Каждый математик знает, что в его работе эстетическое чувство не только дает удовлетворение, помогающее и облегчающее необходимые усилия, но и является рабочим средством, не менее важным, чем чисто логическое рассуждение. Он не будет следовать некоторой линии мыслей, т. к. она приводит к несимметричным, некрасивым формулам, и он будет верить в некоторую гипотезу и не пожалеет сил для ее доказательства только потому, что она очень красива. С этой точки зрения математика играет противоположную, анти-техническую роль. Мы видим, как под воздействием технологической цивилизации красота все больше исчезает из нашей жизни: из живописи и музыки, из архитектуры наших городов и из окружающей нас природы в виде прекрасных бабочек, цветов и птиц. Математика (вместе с математической физикой) остается почти единственным островом, где это загадочное явление сохраняется в полной силе. Иисус спросил: "Что есть истина?". Явление красоты не менее загадочно. Очевидно, что это - одна из фундаментальных форм взаимодействия с внешним миром, столь же существенная для большинства живых существ, как феномен истины и морали - для человека.

Многие виды гибли из-за гипертрофированного развития признаков, первоначально очень полезных для их выживания (например, громадная броня гигантских третичных ящеров). Для Homo sapiens эту роль может сыграть его интеллект: способность к холодному рациональному мышлению, не ограниченному моралью и жалостью. Математика, несомненно, как-то связана со способностью к такому алгоритмическому, машинообразному мышлению. С другой стороны, она глубоко связана с эстетическим чувством, которое способно служить противоядием для этой тенденции. И математик имеет свободу выбора - в каком направлении развития человечества принять ему участие.[7]

Заключение

Если говорить о современном историческом этапе развития математического познания, то он идет в русле дальнейшего освоения философских категорий: теория вероятностей “осваивает” категории возможного и случайного; топология – категории отношения и непрерывности; теория катастроф – категорию скачка; теория групп – категории симметрии и гармонии и т.д.

В математическом мышлении выражены основные закономерности построения сходных по форме логических связей. С его помощью осуществляется переход от единичного (скажем, от определенных математических методов – аксиоматического, алгоритмического, конструктивного, теоретико-множественного и других) к особенному и общему, к обобщенным дедуктивным построениям. Единство методов и предмета математики определяет специфику математического мышления, позволяет говорить об особом математическом языке, в котором не только отражается действительность, но и синтезируется, обобщается, прогнозируется научное знание. Могущество и красота математической мысли – в предельной четкости её логики, изяществе конструкций, искусном построении абстракций[8].

Принципиально новые возможности мыслительной деятельности открылись с изобретением ЭВМ, с созданием машинной математики. В языке математики произошли существенные изменения. Если язык классической вычислительной математики состоял из формул алгебры, геометрии и анализа, ориентировался на описание непрерывных процессов природы, изучаемых прежде всего в механике, астрономии, физике, то современный её язык – это язык алгоритмов и программ, включающий старый язык формул в качестве частного случая.

Язык современной вычислительной математики становится все более универсальным, способным описывать сложные (многопараметрические) системы.Список использованной литературы:

1.                  Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

2.                  Кудрявцев Л.Д. Мысли о современной математике и ее изучении / Л.Д. Кудрявцев. - М.: Просвещение, 1977.

3.                  Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с.

4.                  Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с.

5.                  Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с.

6.                  Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. - СПб., РХГИ. 2008. – 244 с.

7.                  Шафаревич И.Р.  Математическое мышление и природа-доклад,1993.

bukvasha.ru

Реферат на тему Математика в современном мире

Оглавление Введение...................................................................................................................3 1. Роль математики в современном мире. Основные этапы развития математики...............................................................................................................5 2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии.........................................................................................8 3. Особенности математического стиля мышления...........................................11 Заключение.............................................................................................................15 Список литературы................................................................................................17

Введение Математика является экспериментальной наукой - частью теоретической физики и членом семейства естественных наук. Основные принципы построения и преподавания всех этих наук применимы и к математике. Искусство строгого логического рассуждения и возможность получать этим способом надежные выводы не должно оставаться привилегией Шерлока Холмса - каждый школьник должен овладеть этим умением. Умение составлять адекватные математические модели реальных ситуаций должно составлять неотъемлемую часть математического образования. Успех приносит не столько применение готовых рецептов (жестких моделей), сколько математический подход к явлениям реального мира. При всем огромном социальном значении вычислений (и computer science), сила математики не в них, и преподавание математики не должно сводиться к вычислительным рецептам. "No star wars - no mathematics", - говорят американцы. Тот прискорбный факт, что с (временным?) прекращением военного противостояния математика, как и все фундаментальные науки, перестала финансироваться, является позором для современной цивилизации, признающей только "прикладные" науки, ведущей себя совершенно подобно свинье под дубом. На самом деле никаких прикладных наук не существует и никогда не существовало, как это отметил более ста лет назад Луи Пастер (которого трудно заподозрить в занятиях, не нужных человечеству). Согласно Пастеру, существуют лишь приложения науки[1]. Опыты с янтарем и кошачьим мехом казались бесполезными правителям и военачальникам XVIII века. Но именно они изменили наш мир после того, как Фарадей и Максвелл написали уравнения теории электромагнетизма. Эти достижения фундаментальной науки окупили все затраты человечества на нее на сотни лет вперед. Отказ современных правителей платить по этому счету - удивительно недальновидная политика, за которую соответствующие страны, несомненно, будут наказаны технологической и следовательно экономической (а также и военной) отсталостью. Человечество в целом (перед которым ведь стоит тяжелейшая задача выживания в условиях мальтузианского кризиса) должно будет заплатить тяжелую цену за близоруко-эгоистическую политику составляющих его стран. Математическое сообщество несет свою долю ответственности за повсеместно наблюдаемое давление со стороны правительств и общества в целом, направленное на уничтожение математической культуры как части культурного багажа каждого человека и в особенности на уничтожение математического образования. Выхолощенное и формализованное преподавание математики на всех уровнях сделалось, к несчастью, системой. Выросли целые поколения профессиональных математиков и преподавателей математики, умеющих только это и не представляющих себе возможности какого-либо другого преподавания математики. 1. Роль математики в современном мире. Основные этапы развития математики Целью изучения математики является повышение общего кругозора, культуры мышления, формирование научного мировоззрения. Математика – наука о количественных отношениях и пространственных формах действительного мира. Академик Колмогоров А.Н. выделяет четыре периода развития математики[2]: ·                     зарождение математики, ·                     элементарная математика, ·                     математика переменных величин, ·                     современная математика. Начало периода элементарной математики относят к VI-V веку до нашей эры. К этому времени был накоплен достаточно большой фактический материал. Понимание математики, как самостоятельной науки возникло впервые в Древней Греции. В течение этого периода математические исследования имеют дело лишь с достаточно ограниченным запасом основных понятий, возникших для удовлетворения самых простых запросов хозяйственной жизни. Развивается арифметика – наука о числе. В период развития элементарной математики появляется теория чисел, выросшая постепенно из арифметики. Создается алгебра, как буквенное исчисление. Обобщается труд большого числа математиков, занимающихся решением геометрических задач в стройную и строгую систему элементарной геометрии геометрию Евклида, изложенную в его замечательной книге Начала (300 лет до н. э.). В XVII веке запросы естествознания и техники привели к созданию методов, позволяющих математически изучать движение, процессы изменения величин, преобразование геометрических фигур. С употребления переменных величин в аналитической геометрии и создание дифференциального и интегрального исчисления начинается период математики переменных величин. Великим открытиям XVII века является введенная Ньютоном и Лейбницем понятие бесконечно малой величины, создание основ анализа бесконечно малых (математического анализа). На первый план выдвигается понятие функции. Функция становится основным предметом изучения. Изучение функции приводит к основным понятиям математического анализа: пределу, производной, дифференциалу, интегралу. К этому времени относятся и появление гениальной идеи Р. Декарта о методе координат. Создается аналитическая геометрия, которая позволяет изучать геометрические объекты методами алгебры и анализа. С другой стороны метод координат открыл возможность геометрической интерпретации алгебраических и аналитических фактов[3]. Дальнейшее развитие математики привело в начале ХIX века к постановке задачи изучения возможных типов количественных отношений и пространственных форм с достаточно общей точки зрения. Связь математики и естествознания приобретает все более сложные формы. Возникают новые теории. Новые теории возникают не только в результате запросов естествознания и техники, но и в результате внутренней потребности математики. Замечательным примером такой теории является воображаемая геометрия Н. И. Лобачевского. Развитие математики в XIX и XX веках позволяет отнести ее к периоду современной математики. Развитие самой математики, математизация различных областей науки, проникновение математических методов во многие сферы практической деятельности, прогресс вычислительной техники привели к появлению новых математических дисциплин, например, исследование операций, теория игр, математическая экономика и другие. В основе построения математической теории лежит аксиоматический метод. В основу научной теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории получаются, как логические следствия аксиом. Основными методами в математических исследованиях являются математические доказательства – строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция. В математике изучаются математические модели объектов. Одна и та же математическая модель может описывать свойства далеких друг от друга реальных явлений. Так, одно и тоже дифференциальное уравнение может описывать процессы роста населения и распад радиоактивного вещества. Для математика важна не природа рассматриваемых объектов, а существующие между ними отношения. В математике используют два вида умозаключений: дедукция и индукция[4]. Индукция – метод исследования, в котором общий вывод строится не основе частных посылок. Дедукция – способ рассуждения, посредством которого от общих посылок следует заключение частного характера. Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности. 2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится[5]: 1) к перечислению основных понятий, 2) к изложению определений, 3) к изложению аксиом, 4) к изложению теорем, 5) к доказательству этих теорем. Аксиома – утверждение, принимаемое без доказательств. Теорема – утверждение, вытекающее из аксиом. Доказательство – составная часть дедуктивной системы, это есть рассуждение, которое показывает, что истинность утверждения вытекает логически из истинности предыдущих теорем или аксиом. Внутри дедуктивной системы не могут быть решены два вопроса: 1) о смысле основных понятий, 2) об истинности аксиом. Но это не значит, что эти вопросы вообще неразрешимы. История естествознания свидетельствует, что возможность аксиоматического построения той или иной науки появляется лишь на довольно высоком уровне развития этой науки, на базе большого фактического материала, позволяет отчетливо выявить те основные связи и соотношения, которые существуют между объектами, изучаемыми данной наукой. Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э.) в непревзойденном по своей значимости труде “Начала”. Эта система в основных чертах сохранилась и по сей день. Основные понятия: точка, прямая, плоскость основные образы; лежать между, принадлежать, движение[6]. Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома о параллельных (V постулат Евклида): через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, т.е. до того момента, когда Николай Иванович Лобачевский доказал в своих трудах полную безнадежность этих попыток. В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом. Аксиому о параллельных Н.И. Лобачевский заменил аксиомой: Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые. Из новой системы аксиом Н.И. Лобачевский с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны. Три великих математика в 19 веке почти одновременно, независимо друг от друга пришли к одним результатам недоказуемости пятого постулата и к созданию неевклидовой геометрии. Николай Иванович Лобачевский (1792-1856) Карл Фридрих Гаусс (1777-1855) Янош Бойяи (1802-1860) Судьба открытия Лобачевского. В 2004 г. Казанский Государственный Университет отметил 200-летие своего существования. Имя Николая Ивановича Лобачевского тесно связано с Казанским Университетом и составляет его гордость[7]. Н. И. Лобачевский родился 1 декабря 1792г. в Нижнем Новгороде, в 1807 году поступил в Императорский Казанский Университет, в 1811 году окончил его. 19 февраля 1826 года представил доклад о своем открытии физико-математическому факультету. В течении всей своей жизни он развивал свои идеи, которые излагал в трудах “Начала геометрии”, “Воображаемая геометрия” и других. За год до смерти он опубликовал свою работу “Пангеометрия” (1855г.). Николай Иванович помимо научных трудов, вел громадную работу, как профессор, главный библиотекарь, декан, а позднее ректор Университета, при нем развернулось строительство Университетского прекрасного архитектурного ансамбля. Умер он 12 февраля 1856г., так и не дождавшись признания своих идей. Эти идеи были враждебно встречены даже известными математиками того времени. Идеи Н.И. Лобачевского далеко опередили свое время, но все развитие науки подготовило их неизбежное торжество. Через пятнадцать лет после его смерти его открытие стало общеизвестным и определило на столетие вперед развитие геометрической науки, оказало сильнейшее влияние на другие разделы математики, явилось одной из предпосылок глубокого преобразования физических представлений о пространстве и времени. 3. Особенности математического стиля мышления Представляет интерес характеристика А.Я. Хинчиным математического мышления, а точнее, его конкретно-исторической формы – стиля математического мышления. Раскрывая сущность стиля математического мышления, он выделяет четыре общие для всех эпох черты, заметно отличающие этот стиль от стилей мышления в других науках[8]. Во-первых, для математика характерна доведенное до предела доминирование логической схемы рассуждения. Математик, потерявший, хотя бы временно, из виду эту схему, вообще лишается возможности научно мыслить. Эта своеобразная черта стиля математического мышления имеет в себе много ценного. Очевидно, что она в максимальной степени позволяет следить за правильностью течения мысли и гарантирует от ошибок; с другой стороны, она заставляет мыслящего при анализе иметь перед глазами всю совокупность имеющихся возможностей и обязывает его учесть каждую из них, не пропуская ни одной (такого рода пропуски вполне возможны и фактически часто наблюдаются при других стилях мышления). Во-вторых, лаконизм, т.е. сознательное стремление всегда находить кратчайший ведущий к данной цели логический путь, беспощадное отбрасывание всего, что не абсолютно необходимо для безупречной полноценности аргументации. Математическое сочинение хорошего стиля не терпит никакой “воды”, никаких украшающих, ослабляющих логическое напряжение разглагольствований, отвлечений в сторону; предельная скупость, суровая строгость мысли и ее изложения составляют неотъемлемую черту математического мышления. Черта эта имеет большую ценность не только для математического, но и для любого другого серьезного рассуждения. Лаконизм, стремление не допускать ничего излишнего, помогает и самому мыслящему, и его читателю или слушателю полностью сосредоточиться на данном ходе мыслей, не отвлекаясь побочными представлениями и не теряя непосредственного контакта с основной линией рассуждения. Корифеи науки, как правило, мыслят и выражаются лаконично во всех областях знания, даже тогда, когда мысль их создает и излагает принципиально новые идеи. Какое величественное впечатление производит, например, благородная скупость мысли и речи величайших творцов физики: Ньютона, Эйнштейна, Нильса Бора! Может быть, трудно найти более яркий пример того, какое глубокое воздействие может иметь на развитие науки именно стиль мышления ее творцов. Для математики лаконизм мысли является непререкаемым, канонизированным веками законом. Всякая попытка обременить изложение не обязательно нужными (пусть даже приятными и увлекательными для слушателей) картинами, отвлечениями, разглагольствованиями заранее ставится под законное подозрение и автоматически вызывает критическую настороженность. В-третьих, четкая расчлененность хода рассуждений. Если, например, при доказательстве какого-либо предложения мы должны рассмотреть четыре возможных случая, из которых каждый может разбиваться на то или другое число подслучаев, то в каждый момент рассуждения математик должен отчетливо помнить, в каком случае и подслучае его мысль сейчас обретается и какие случаи и подслучаи ему еще остается рассмотреть. При всякого рода разветвленных перечислениях математик должен в каждый момент отдавать себе отчет в том, для какого родового понятия он перечисляет составляющие его видовые понятия. В обыденном, не научном мышлении мы весьма часто наблюдаем в таких случаях смешения и перескоки, приводящие к путанице и ошибкам в рассуждении. Часто бывает, что человек начал перечислять виды одного какого-нибудь рода, а потом незаметно для слушателей (а часто и для самого себя), пользуясь недостаточной логической отчетливостью рассуждения, перескочил в другой род и заканчивает заявлением, что теперь оба рода расклассифицированы; а слушатели или читатели не знают, где пролегает граница между видами первого и второго рода[9]. Для того чтобы сделать такие смешения и перескоки невозможными, математики издавна широко пользуются простыми внешними приемами нумерации понятий и суждений, иногда (но гораздо реже) применяемыми и в других науках. Те возможные случаи или те родовые понятия, которые надлежит рассмотреть в данном рассуждении, заранее перенумеровываются; внутри каждого такого случая те подлежащие рассмотрению подслучаи, которые он содержит, также перенумеровываются (иногда, для различения, с помощью какой-либо другой системы нумерации). Перед каждым абзацем, где начинается рассмотрение нового подслучая, ставится принятое для этого подслучая обозначение (например, II 3, -это означает, что здесь начинается рассмотрение третьего подслучая второго случая, или описание третьего вида второго рода, если речь идет о классификации). И читатель знает, что до тех пор, покуда он не натолкнется на новую числовую рубрику, всё излагаемое относится только к этому случаю и подслучаю. Само собою разумеется, что такая нумерация служит лишь внешним приемом, очень полезным, но отнюдь не обязательным, и что суть дела не в ней, а в той отчетливой расчлененности аргументации или классификации, которую она и стимулирует, и знаменует собою. В-четвертых, скрупулезная точность символики, формул, уравнений. То есть “каждый математический символ имеет строго определенное значение: замена его другим символом или перестановка на другое место, как правило, влечет за собою искажение, а подчас и полное уничтожение смысла данного высказывания”. Выделив основные черты математического стиля мышления, А.Я. Хинчин замечает, что математика (особенно математика переменных величин) по своей природе имеет диалектический характер, а следовательно, способствует развитию диалектического мышления. Действительно, в процессе математического мышления происходит взаимодействие наглядного (конкретного) и понятийного (абстрактного). “Мы не можем мыслить линии, – писал Кант, – не проведя её мысленно, не можем мыслить себе три измерения, не проведя из одной точки трех перпендикулярных друг к другу линий”[10]. Взаимодействие конкретного и абстрактного “вело” математическое мышление к освоению новых и новых понятий и философских категорий. В античной математике (математике постоянных величин) таковыми были “число” и “пространство”, которые первоначально нашли отражение в арифметике и евклидовой геометрии, а позже в алгебре и различных геометрических системах. Математика переменных величин “базировалась” на понятиях, в которых отражалось движение материи, - “конечное”, “бесконечное”, “непрерывность”, “дискретное”, “бесконечно малая”, “производная” и т.п. Заключение Если говорить о современном историческом этапе развития математического познания, то он идет в русле дальнейшего освоения философских категорий: теория вероятностей “осваивает” категории возможного и случайного; топология – категории отношения и непрерывности; теория катастроф – категорию скачка; теория групп – категории симметрии и гармонии и т.д. В математическом мышлении выражены основные закономерности построения сходных по форме логических связей. С его помощью осуществляется переход от единичного (скажем, от определенных математических методов – аксиоматического, алгоритмического, конструктивного, теоретико-множественного и других) к особенному и общему, к обобщенным дедуктивным построениям. Единство методов и предмета математики определяет специфику математического мышления, позволяет говорить об особом математическом языке, в котором не только отражается действительность, но и синтезируется, обобщается, прогнозируется научное знание. Могущество и красота математической мысли – в предельной четкости её логики, изяществе конструкций, искусном построении абстракций[11]. Принципиально новые возможности мыслительной деятельности открылись с изобретением ЭВМ, с созданием машинной математики. В языке математики произошли существенные изменения. Если язык классической вычислительной математики состоял из формул алгебры, геометрии и анализа, ориентировался на описание непрерывных процессов природы, изучаемых прежде всего в механике, астрономии, физике, то современный её язык – это язык алгоритмов и программ, включающий старый язык формул в качестве частного случая. Язык современной вычислительной математики становится все более универсальным, способным описывать сложные (многопараметрические) системы. Вместе с тем хочется подчеркнуть, что каким бы совершенным ни был математический язык, усиленный электронно-вычислительной техникой, он не порывает связей с многообразным “живым”, естественным языком. Мало того, разговорный язык является базой языка искусственного. В этом отношении представляет интерес недавнее открытие ученых. Речь идет о том, что древний язык индейцев аймара, на котором говорят примерно 2,5 миллиона человек в Боливии и Перу, оказался в высшей степени удобным для компьютерной техники. Еще в 1610 г. итальянский миссионер-иезуит Людовико Бертони, составивший первый словарь аймара, отмечал гениальность его создателей, добившихся высокой логической чистоты. В аймара, например, не существует неправильных глаголов и никаких исключений из немногих четких грамматических правил. Эти особенности языка аймара позволили боливийскому математику Айвану Гусману де Рохас создать систему синхронного компьютерного перевода с любого из пяти заложенных в программу европейских языков, “мостиком” между которыми служит язык аймара. ЭВМ “Аймара”, созданная боливийским ученым, получила высокую оценку специалистов. Резюмируя эту часть вопроса о сущности математического стиля мышления, следует отметить, что его основным содержанием является понимание природы Список литературы 1. Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с. 2. Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с. 3. Информационная безопасность. Под ред. М.А.Вуса. – С-Пб.: Изд-во СПбГУ, 2006. – 201 с. 4. История математики. Под ред. А.П.Юшкевича. Т. 1-3. - М., Наука, 2007. – 512 с. 5. Колмогоров А.Н. Математика в ее историческом развитии. - М., Наука, 2005. – 325 с. 6. Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с. 7. Пойа Д. Математика и правдоподобные рассуждения. - М., Наука, 2005. – 178 с. 8. Пойа Д. Математическое открытие. - М., Наука, 2007. – 213 с. 9. Стройк Д.Я. Краткий очерк истории математики. - М., Физматлит, 2007. – 346 с. 10. Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с. 11. Шикин Е.В., Шикина Г.Е. Гуманитариям о математике. - М., АГАР, 2007. – 170 с. 12. Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. - СПб., РХГИ. 2008. – 244 с.

[1] Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с.

[2] Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с.

[3] Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

[4] Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

[5] Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

[6] Пойа Д. Математика и правдоподобные рассуждения. - М., Наука, 2005. – 178 с.

[7] Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с.

[8] Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с.

[9] Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с.

[10] Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с.

[11] Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. - СПб., РХГИ. 2008. – 244 с.

bukvasha.ru

Реферат: Математика и современный мир

Содержание

1. Общие сведения о математике

2. Основные понятия математики

3. Что такое математический язык?

4. Аксиоматический метод

5. Математические структуры

5. Функции и графики

Список использованной литературы

До начала 17 в. математика - преимущественно наука о числах, скалярных величинах и сравнительно простых геометрических фигурах; изучаемые ею величины (длины, площади, объемы и пр.) рассматриваются как постоянные. К этому периоду относится возникновение арифметики, геометрии, позднее - алгебры и тригонометрии и некоторых частных приемов математического анализа. Областью применения математики являлись: счет, торговля, землемерные работы, астрономия, отчасти архитектура.

В 17 и 18 вв. потребности бурно развивавшегося естествознания и техники (мореплавания, астрономии, баллистики, гидравлики и т.д.) привели к введению в математику идей движения и изменения, прежде всего в форме переменных величин и функциональной зависимости между ними. Это повлекло за собой создание аналитической геометрии, дифференциального и интегрального исчислений. В 18 в. возникают и развиваются теория дифференциальных уравнений, дифференциальная геометрия и т.д. В 19-20 вв. математика поднимается на новые ступени абстракции. Обычные величины и числа оказываются лишь частными случаями объектов, изучаемых в современной алгебре; геометрия переходит к исследованию "пространств", весьма частным случаем которых является евклидово пространство. Развиваются новые дисциплины: теория функций комплексного переменного, теория групп, проективная геометрия, неевклидова геометрия, теория множеств, математическая логика, функциональный анализ и др. Практическое освоение результатов теоретического математического исследования требует получения ответа на поставленную задачу в числовой форме.

В связи с этим в 19-20 вв. численные методы математики вырастают в самостоятельную ее ветвь - вычислительную математику. Стремление упростить и ускорить решение ряда трудоемких вычислительных задач привело к созданию вычислительных машин. Потребности развития самой математики, "математизация" различных областей науки, проникновение математических методов во многие сферы практической деятельности, быстрый прогресс вычислительной техники привели к появлению целого ряда новых математических дисциплин, как например, теория игр, теория информации, теория графов, дискретная математика, теория оптимального управления.

Математика- область человеческого знания, изучающая математические модели, отражающие объективные свойства и связи. "Замечательно, - пишет В.А. Успенский, - что хотя математическая модель создается человеческим разумом, она, будучи создана, может стать предметом объективного изучения. Познавая ее свойства, мы тем самым познаем и свойства отраженной моделью реальности" Кроме того, математика дает удобные способы описания самых разнообразных явлений реального мира и тем самым выполняет роль языка науки. Наконец, математика дает людям методы изучения и познания окружающего мира, методы исследования как теоретических, так и практических проблем.

Математика(греч. mathematike, от mathema - знание, наука) наука, в которой изучаются пространственные формы и количественные отношения.

Современное понятиематематики- наука о математических структурах (множествах, между элементами которых определены некоторые отношения).

У представителей науки начала 19 века, не являющихся математиками, можно найти такие общедоступные определения математики.

"Чистая математика имеет своим объектом пространственные формы и количественные отношения действительного мира" (Ф. Энгельс).

"Математика - наука о величинах и количествах; все, что можно выразить цифрою, принадлежит математике. Математика может быть чистой и прикладной.

Математика делится на арифметику и геометрию; первая располагает цифрами, вторая - протяжениями и пространствами. Алгебра заменяет цифры более общими знаками, буквами; аналитика добивается выразить все общими формулами, уравнениями, без помощи чертежа" (В. Даль).

Современная математика насчитывает множество математических теорий: математическая статистика и теория вероятности, математическое моделирование, численные методы, теория групп, теория чисел, векторная алгебра, теория множеств, аналитическая и проективная геометрия, математический анализ и т.д.

Несмотря на то, что математических теорий достаточно много и они, на первый взгляд, могут и не иметь ничего общего, внутренняя эволюция математической науки упрочила единство ее различных частей и создала центральное ядро. Существенным в этой эволюции является систематизация отношений, существующих между различными математическими теориями; ее итогом явилось направление, которое обычно называют "аксиоматический метод". В теории, построенной в согласии с аксиоматическим методом, начинают с небольшого количества неопределяемых (первичных) понятий, с помощью которых образуются утверждения, называемые аксиомами.

Прочие понятия, изучаемые в теории, определяются через первичные, и из аксиом и определений выводятся теоремы. Теория становится рекурсивно структурированной, ее можно представить в виде матрешки, в которой понятия и их свойства как бы являются вложенными друг в друга. Каждая математическая теория является цепочкой высказываний, которые выводятся друг из друга согласно правилам логики, т.е. объединяющим началом математики является "дедуктивное рассуждение". Развитие математической теории в таком стиле - это первый шаг по направлению к ее формализации.

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

Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности. Математика является не только мощным средством решения прикладных задач и универсальным языком науки, но также и элементом общей культуры.

Современная математика имеет следующие основные разделы:

1. Элементарная математика: алгебра, геометрия и тригонометрия (на плоскости и сфере).

2. Аналитическая геометрия (на плоскости и в пространстве).

3. Функции и пределы. Дифференциальное и интегральное исчисление.

4. Векторный анализ. Системы криволинейных координат.

5. Функции комплексного переменного.

6. Преобразование Лапласа и другие интегральные преобразования.

7. Дифференциальные уравнения.

8. Максимумы и минимумы.

9. Математические модели. Абстрактная алгебра и абстрактные пространства.

10. Матрицы. Квадратичные и эрмитовы формы.

11. Линейные векторные пространства и линейные операторы. Матричное представление линейных преобразований.

12. Интегральные уравнения, краевые задачи и задачи о собственных значениях.

13. Тензорная алгебра и тензорный анализ.

14. Дифференциальная геометрия.

15. Теория вероятностей.

16. Теория случайных процессов.

17. Математическая статистика.

18. Численные методы и конечные разности.

Число, одно из основных понятий математики. В связи со счетом отдельных предметов возникло понятие о целых положительных (натуральных) числах, а затем идея о безграничности натурального ряда чисел: 1, 2, 3,4... Задачи измерения длин, площадей и т.п., а также выделение долей именованных величин привели к понятию рационального (дробного) числа. Понятие об отрицательных числах возникло у индийцев в 6-11 вв. Потребность в точном выражении отношений величин (напр., отношение диагонали квадрата к его стороне) привела к введению иррациональных чисел, которые выражаются через рациональные числа лишь приближенно; рациональные и иррациональные числа составляют совокупность действительных чисел. Окончательное развитие теория действительных чисел получила в связи с потребностями математического анализа. В связи с решением квадратных и кубических уравнений были введены комплексные числа.

Делимость,свойство целого числа делиться на другое целое число без остатка. Простейшие признаки делимости: число делится на 2, если его последняя цифра делится на 2; на 3 или на 9, если сумма цифр делится соответственно на 3 или на 9; на 5, если оно оканчивается на 0 или 5.

Единица, наименьшее из натуральных чиселn= 1. В современной математике понятие единицы (единичного элемента) рассматривают в алгебраических структурах более общей природы (напр., группах).

Сложение, арифметическое действие. Обозначается знаком + (плюс). В области целых положительных чисел (натуральных чисел) в результате сложения по данным числам (слагаемым) находится новое число (сумма), содержащее столько единиц, сколько их содержится во всех слагаемых. Действие сложения определяется также для случая произвольных действительных или комплексных чисел, векторов и т.д.

Вычитание, арифметическое действие, обратное сложению, т.е. нахождение одного из слагаемых (разности) по данной сумме двух слагаемых (уменьшаемому) и данному другому слагаемому (вычитаемому). Обозначается знаком - (минус).

Умножение, арифметическое действие. Обозначается точкой "." или знаком "х" (в буквенном исчислении знаки умножения опускаются). Умножение целых положительных чисел (натуральных чисел) есть действие, позволяющее по двум числама(множимому) иb(множителю) найти третье числоab(произведение), равное суммеbслагаемых, каждое из которых равноа;аиbназываются также сомножителями. Умножение дробных чисела/bис/dопределяется равенством

Умножение двух рациональных чисел дает число, абсолютная величина которого равна произведению абсолютных величин сомножителей и которое имеет знак плюс (+), если у обоих сомножителей одинаковые знаки, или минус (-), если у них различные знаки. Умножение иррациональных чисел определяется при помощи их рациональных приближений. Умножение комплексных чисел, данных в формеa=а+biиb=с+di, определяется равенствомab =ас - bd+ (a+bc) i.

Деление, арифметическое действие, обратное умножению; посредством деления по произведениюa(делимому) и одному из множителейb(делителю), отличному от нуля, отыскивается другой множитель (частное). Знаки деления - две точки (a:b), горизонтальная чертаили наклонная черта (a/b). Деление дробных чиселa/bиc/dопределяется равенством (a/b): (c/d) =ad/bc.

Сумма, результат сложения.

Процент, сотая доля числа; обозначается знаком %.

Точка, одно из основных понятий геометрии. При систематическом изложении геометрии точка обычно принимается за одно из исходных понятий.

Степень, произведение нескольких равных сомножителей (напр., 24=2·2·2·2=16). Число, повторяющееся сомножителем, называют основанием степени; число, показывающее, сколько раз повторяется сомножитель, называют показателем степени. Действие нахождения степени называют возведением (возвышением) в степень. Понятие степень обобщается также на случай произвольного (рационального или иррационального, а также комплексного) показателя.

Равенство,отношение взаимной заменяемости объектов, которые именно в силу этой заменяемости и считаются равными (а=b). Отношение равенства обладает свойствами рефлексивности (каждый объект равен самому себе), симметричности (еслиа=b, тоb=a) и транзитивности (еслиa=b, аb=c, тоa=c). Буквенное равенство, верное для всех числовых значений входящих в него букв, называетсятождеством.

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

Сравнение, соотношение между двумя целыми числамиaиb, означающее, что разностьa-bэтих чисел делится на заданное целое числоm, называемое модулем сравнения; пишетсяaєb(modm).

Понятие множества,простейшее математическое понятие, оно не определяется, а лишь поясняется при помощи примеров: множество книг на полке, множество точек на прямой (точечное множество) и т.д. То, что данный предмет (элемент, точка)хпринадлежит множествуМ, записываютхО М.

Уравнение, математическая запись задачи о разыскании значений аргументов, при которых значения двух данных функций равны. Аргументы, от которых зависят эти функции, называются неизвестными, а значения неизвестных, при которых значения функций равны, - решениями (корнями). Бывают алгебраические уравнения, например х2=2, и неалгебраические уравнения, называемые трансцендентными, например 2х=х.

Неравенство,соотношение между числами, указывающее, какое из них больше или меньше другого.

Корень,

1)корень степениnиз числаa- всякое числоx.Действие нахождения корня называется извлечением корня.2) Корень уравнения - число, которое после подстановки его в уравнение вместо неизвестного обращает уравнение в тождество.

Логарифмданного числаNпри основанииа, показатель степениу, в которую нужно возвести числоа, чтобы получитьN; таким образом,N = ay. Логарифмом обозначается обычно logaN. Логарифм с основаниеме= 2,718... называется натуральным и обозначается lnN. Логарифм с основанием 10 называется десятичным и обозначается lgN. Равенствоу=logaxопределяет логарифмическую функцию. Основные свойства логарифма позволяют заменить умножение, деление, возведение в степень и извлечение корня более простыми действиями сложения, вычитания, умножения и деления.

Функция, 1)зависимая переменная величина. Соответствиеy=f(x) между переменными величинами, в силу которого каждому рассматриваемому значению некоторой величиныx(аргумента, или независимого переменного) соответствует определенное значение другой величиныy(зависимой переменной, или функции). Такое соответствие может быть задано различным образом, например формулой, графически или таблицей.

График функции, y=f(x) состоит из точек, абсциссы которых равны значениямx, а ординаты - соответствующим значениямy.

Тригонометрические функции,функции угла: синус (sin), косинус (cos), тангенс (tg), котангенс (ctg), секанс (sec), косеканс (cosec). Их можно определить как отношения длины r и проекций а и b на оси координат радиуса-вектора, образующего с положительным направлением оси Ох угол (или отсекающего дугу) a. Именно: sin a=b/r, cos a=a/r, tg a=b/a, сtg a=a/b, sec a=r/а, cosec a=r/b.

Группа,понятие современной математики. Возникло из рассмотрения совокупности операций, производимых над какими-либо объектами и обладающих тем свойством, что результат последовательного применения двух или большего числа операций из этой совокупности равносилен какой-то одной операции из этой совокупности. Пример: умножение на рациональные числа (умножение сначала наm, а потом наnравносильно умножению наmn).

Кольцо, понятие современной алгебры - совокупность элементов, для которых определены операции сложения, вычитания и умножения, обладающие обычными свойствами операций над числами. Напр., кольцо целых чисел.

Всякое точное объяснение того или иного явления - математично и, наоборот, все, что точно - математика. Любое же точное описание - это описание на соответствующем математическом языке. Классический трактат Ньютона "Математические начала натуральной философии", произведший переворот во всей математике, по существу является учебником грамматики разгаданного им "языка Природы", дифференциального исчисления, вместе с рассказом о том, что ему удалось у нее в результате услышать. Естественно, что он смог разобрать только смысл ее самых простых фраз. Последующие поколения математиков и физиков, постоянно совершенствуясь в этом языке, постигали все более и более сложные выражения, потом несложные четверостишия, поэмы... Соответственно, печатались расширенные и дополненные версии Ньютоновской грамматики.

История математики знает две великие революции, каждая из которых полностью меняла её облик и внутреннее содержание. Их движущей силой была "невозможность жить по старому", т.е. невозможность адекватно интерпретировать актуальные проблемы точного естествознания на языке существующей математики. Первая из них связана с именем Декарта, вторая с именами Ньютона и Лейбница, хотя, конечно же, они отнюдь не сводятся только к этим великим именам. По словам Гиббса, математика - это язык, и сутью этих революций была глобальная перестройка всей математики на новой языковой основе. В итоге первой революции, языком всей математики стал язык коммутативной алгебры, вторая же заставила её говорить языком дифференциального исчисления.

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

Дело в том, что на математическом языке многие утверждения выглядят яснее и прозрачнее, чем на обычном. Например, на обычном языке говорят: "От перемены мест слагаемых сумма не меняется" - так звучит переместительный закон сложения чисел. Математик пишет (или говорит):a + b = b + a

А выражение: "Путь S, пройденный телом со скоростью V за период времени от начала движения tндо конечного момента tк" запишут так:S = V · (tк- tн)

Или такую фразу из физики: "Сила равна произведению массы на ускорение" запишут:F = m · a

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

Возьмем другой пример. На обычном языке говорят: "Чтобы сложить две обыкновенные дроби с одинаковыми знаменателями, нужно сложить их числители и записать в числителе дроби, а знаменатель оставить тот же без изменения и записать в знаменатель". Математик осуществляет "синхронный перевод" на свой язык:

А вот пример обратного перевода. На математическом языке записан распределительный закон:a (b + c) = ab + ac

Осуществляя перевод на обычный язык, получим длинное предложение: "Чтобы умножить число a на сумму чисел b и c, надо число a умножить поочередно на каждое слагаемое: b, потом c, и полученные произведения сложить".

Во всяком языке есть своя письменная и устная речь. Выше мы говорили о письменной речи в математике. А устная речь - это употребление специальных терминов или словосочетаний, например: "слагаемое", "произведение", "уравнение", "неравенство", "функция", "график функции", "координата точки", "система координат" и т.п., а также различные математические утверждения, выраженные словами: "Число а делится на2тогда и только тогда, когда оканчивается на0или четную цифру".

Говорят, что культурный человек, кроме родного языка должен владеть ещё хотя бы одним иностранным языком. Это верно, но требует дополнения: культурный человек должен ещё уметь говорить, писать и думать и на математическом языке, поскольку это тот язык, на котором, как мы не раз уже убеждались, "говорит" окружающая действительность. Чтобы овладеть новым языком, необходимо изучить, как говорят, его алфавит, синтаксис и семантику, т.е. правила написания и смысл, заложенный в написанном. И, конечно же, в результате такого изучения представления о математическом языке и предмете будут постоянно расширяться.

В основе построения математической теории лежитаксиоматический метод[1]-один из способов дедуктивного построения научных теорий. В основании аксиоматически построенной теории лежатаксиомы, т.е. предложения, принимаемые без доказательства. Все остальные предложения теории выводятся из аксиом (т.е. доказываются, являются теоремами) на основании логических правил вывода и правил определения предложений, допускаемых в данной теории. Понятие аксиоматической теории было уточнено путем введения определения формальной системы, состоящей из языка системы, аксиом системы, правил вывода системы. Язык системы состоит из алфавита (перечня элементарных символов системы) и синтаксиса (правил, по которым из элементарных символов строятся формулы, предложения системы). Правила вывода позволяют получать из аксиом теоремы.

Основными методами в математических исследованиях являются математические доказательства - строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция. В математике используют два вида умозаключений:индукция- метод исследования, в котором общий вывод строится не основе частных посылок идедукция- способ рассуждения, посредством которого от общих посылок следует заключение частного характера.

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

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

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

Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э) в непревзойденном по своей значимости труде - "Начала". Эта система в основных чертах сохранилась и по сей день.

Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома - аксиома о параллельных (V постулат Евклида). Через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, когда Н.И. Лобачевский доказал в своих трудах полную безнадежность этих попыток.

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

За геометрией Лобачевского возникли и другие непротиворечивые геометрии: от евклидовой отделилась проективная геометрия, сложилась многомерная евклидова геометрия, возникла риманова геометрия (общая теория пространств с произвольным законом измерения длин) и др. Из науки о фигурах в одном трёхмерном евклидовом пространстве геометрия превратилась в совокупность разнообразных теорий.

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

Чтобы определить структуру, задают одно или несколько отношений, в которых находятся его элементы (в случае групп - это отношениехτу = zмежду тремя произвольными элементами), затем постулируют, что данное отношение или данные отношения удовлетворяют некоторым условиям (которые перечисляют и которые являются аксиомами рассматриваемой структуры). Построить аксиоматическую теорию данной структуры - это значит вывести логические следствия из аксиом структуры, отказавшись от каких-либо других предположений относительно рассматриваемых элементов (в частности от всяких гипотез относительно их "природы").

Основные типы структур.

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

Другой важный тип представляют собойструктуры, определенные отношением порядка -это отношение между двумя элементамих, у,которое чаще всего мы выражаем словами "хменьше или равноу" и которое мы будем обозначать в общем случаехRу.Здесь больше не предполагается, что это отношение однозначно определяет один из элементовх, укак функцию другого. Аксиомы, которым оно подчиняется, таковы: а) для всехх хRх;b) из соотношенийхRу, уRхследуетх = у,с) из соотношенийхRу, уRzследуетхRz.

Очевидным примером множества, снабженного такой структурой, является множество целых чисел (или множество действительных чисел), причем здесь знакRзаменяется на ≤. Но надо заметить, что мы не включили в число аксиом аксиому, отражающую следующее свойство, которое кажется неотделимым от того понятия порядка, каким мы пользуемся в обыденной жизни: "каковы бы ни былих, у,имеет место илихRуилиуRх". Другими словами, не исключается случай, когда два элемента могут оказаться несравнимыми.

На первый взгляд это может показаться странным, но легко привести очень важные примеры структур порядка, для которых имеет место именно это обстоятельство. Именно с таким положением вещей мы сталкиваемся, когдаX, Yозначают подмножества некоторого множества, аХRYозначает "Xсодержится вY", или когдах, уявляются натуральными числами, ахRуозначает "хделитy", или, наконец, когдаf (х)иg (x)являются действительными функциями, определенными на интервалеa≤x≤b, аf (х) Rg (х)означает: "каково бы ни былох,f (х)≤g (х)".Эти примеры в то же время показывают, сколь велико разнообразие областей, где появляются структуры порядка.

Третий тип структур -топологических структурах(топологии)[2], в них находят абстрактную математическую формулировку интуитивные понятия окрестности, предела и непрерывности, к которым нас приводит наше представление о пространстве.

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

Именно таким образом теория групп, помимо общих положений, которые справедливы для всех групп и зависят только от аксиом, перечисленных выше, содержит, в частности,теориюконечных групп(в которой добавляют аксиому, гласящую, что число элементов группы конечно),теорию абелевых групп(в которых имеемхτу=уτх, каковы бы ни былих, у), а такжетеорию конечных абелевых групп(в которой предполагаются выполненными обе вышеуказанные аксиомы). Точно так же среди упорядоченных множеств различают те, в которых любые два элемента сравнимы и которые называютсялинейно упорядоченными.Среди этих последних особо изучают множества, называемыевполне упорядоченными(в которых, так же как в множестве натуральных чисел, каждое подмножество имеет "наименьший элемент"). Подобная же градация существует и для топологических структур.

За пределами этого первоначального ядра появляются структуры, которые можно было бы назватьсложнымиструктурамии в которые входят одновременно одна или несколько порождающих структур, но не просто совмещенные друг с другом, а органически скомбинированные при помощи одной или нескольких связывающих их аксиом. Именно такой характер носит топологическая алгебра, изучающая структуры, определяемые одним или несколькими законами композиций и одной топологией, которые связаны тем условием, что алгебраические операции являются непрерывными функциями (для рассматриваемой топологии) элементов, над которыми они производятся.

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

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

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

Термин "функция"впервые был применен в конце 17 века Лейбницем и его учениками. Вначале этот термин употребляли еще в очень узком смысле слова, связывая лишь с геометрическими образами. Речь шла об отрезках касательных к кривым, их проекция на оси координат и о "другого рода линиях, выполняющих для данной фигуры некоторую функцию" (от латинского "функтус" - выполнять). Таким образом, понятие функции еще не было освобождено от геометрической формы.

Лишь И. Бернулли дал определение функции, свободное от геометрического языка: "Функцией переменной величины называется количество, образованное каким угодно способом из этой переменной величины и постоянных".

Чтобы определение функции, данное И. Бернулли, стало полноценным, надо было условиться, какие способы задания функций следует считать допустимыми. Обычно считали, что допускаются функции, заданные выражениями, в которые входят числа, буквы, знаки арифметических действий, возведение в степень и извлечение корней, а также обозначения тригонометрических, обратных тригонометрических, показательных и логарифмических функций. Такие функции называли элементарными. Вскоре выяснилось, что интегралы от них не всегда выражаются через элементарные функции. В связи с этим пришлось добавить новые функции, получающиеся при вычислении интегралов от элементарных функций, при решении дифференциальных уравнений и т.д. Многие из этих функций нельзя было явно выразить с помощью ранее известных операций. Поэтому один из самых замечательных математиков 18 века Леонард Эйлер пишет: "Когда некоторые количества зависят от других таким образом, что при изменении последних и сами они подвергаются изменению, то первые называют функциями вторых".

В 1834 году Н.И. Лобачевский писал: "Общее понятие функции требует, чтобы функцией отхназывать число, которое дается для каждогохи вместе схпостепенно изменяется. Значение функции может быть дано или аналитическим выражением, или условием, которое подает средство испытывать все числа и выбрать одно из них; или, наконец, зависимость может существовать и оставаться неизвестной".

Более общий подход к понятию функции, при котором отождествляются понятия "функция", "отображение", "оператор", возник после того, как во второй половине 19 века было введено общее понятие множества. И именно творцы теории множеств Г. Кантор и Р. Дедекинд дали общее определение отображения:

"ПустьX иY - два множества; говорят, что задано отображениеf множестваX в (на) множествоY, если для каждого элементаx изX указан соответствующий ему единственный элементy изY. Этот элементy называют образом элемента х при отображенииf и обозначаютf (x)".

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

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

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

Современная трактовка понятия функции выглядит следующим образом: "Функцией называется отношение двух (группы) объектов, в котором изменению одного из них сопутствует изменение другого".

Но как бы далеко ни отходило то или иное обобщение понятия функции от определений И. Бернулли и Л. Эйлера, к каким бы сложным объектам оно ни прилагалось, в основе всех построений лежала одна и та же мысль о существовании взаимозависимых величин, знание значения одной из которых позволяет найти значение другой величины.

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

График функции- один из способ ее представления.

График функции- это линия, дающая цельное представление о характере изменения функции по мере изменения, ее аргумента.

График функции- множество точек плоскости с прямоугольными координатами (х, у),гдеy=f (x) -функция отхиз области определенияЕэтой функции.

Рис.1. Кривая - график функции

Здесьy =f (x) -функция одного переменногох.

Для построения графика функции нужно нарисовать "кривую" - множество точек, координаты которых (х у)связаны соотношениемy =f (x), хиз множестваЕ. Строго говоря, точное построение графика функции невозможно, так как любое геометрическое изображение точек, отрезков, кривых и др. объектов можно сделать только приближенно.

Поэтому рисунок на самом деле является только эскизом графикаf (х),от французского слова "esquisse", что означает "предварительный набросок", однако если кривая нарисована с достаточной точностью, то её также называют графиком функции.

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

Для построения графика функцииy=f (x),заданной аналитически (формулой), обычно используют следующие её свойства:

1) Находят область определения функции.

2) В области определения находят интервалы, на которых функция непрерывна, имеет первую и вторую производные.

3) Исследуя знаки производных, находят промежутки возрастания и убывания функции, промежутки выпуклости и вогнутости, точки максимума и минимума и перегиба точки.

4) Изучают поведение функции при стремлении аргумента к граничным точкам области определения, в частности находят пределы функции и асимптоты, если они существуют.

5) Находят значения функции в точках максимума и минимума, в точках перегиба и ещё в нескольких точках в зависимости от нужной точности построения графика функции.

Учитывая изученные свойства, строят график функции.

1. Бурбаки Н. Очерки по истории математики / Н. Бурбаки. - М.: Изд-во Ин. лит., 1972.

2. Гнеденко Б.В. Математика в современном мире / Б.В. Гнеденко. - Издательство Просвещение. - М.: Просвещение, 1980.

3. Кудрявцев Л.Д. Мысли о современной математике и ее изучении / Л.Д. Кудрявцев. - М.: Просвещение, 1977.

4. Локоть Н.В. Математика для нематематиков. Учебное пособие для студентов-гуманитариев / Н.В. Локоть. - Мурманск: МГПИ, 1999.

5. Математика: Большой энциклопедический словарь / Под. ред. Ю.В. Прохорова. - 3-е изд. - М.: БРС, 1998.

6. Малаховский В.С. Введение в математику / В.С. Малаховский. - Калининград: Янтарный сказ, 2001.

7. Сухотин А.К. Философия математики. Учебное пособие / А.К. Сухотин. - М., 2000.

[1]Аксиоматический метод, способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.

[2]Топология изучает топологические свойства фигур, т.е. свойства, не изменяющиеся при любых деформациях, производимых без разрывов и склеиваний (точнее, при взаимно однозначных и непрерывных отображениях). Примерами топологических свойств фигур являются размерность, число кривых, ограничивающих данную область, и т. д. Так, окружность, эллипс, контур квадрата имеют одни и те же топологические свойства, т. к. эти линии могут быть деформированы одна в другую описанным выше образом; в то же время кольцо и круг обладают различными топологическими свойствами: круг ограничен одним контуром, а кольцо — двумя.

superbotanik.net

Реферат: Математика в современном мире

Оглавление

Введение...................................................................................................................3

1. Роль математики в современном мире. Основные этапы развития математики...............................................................................................................5

2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии.........................................................................................8

3. Особенности математического стиля мышления...........................................11

Заключение.............................................................................................................15

Список литературы................................................................................................17

Введение

Математика является экспериментальной наукой - частью теоретической физики и членом семейства естественных наук. Основные принципы построения и преподавания всех этих наук применимы и к математике. Искусство строгого логического рассуждения и возможность получать этим способом надежные выводы не должно оставаться привилегией Шерлока Холмса - каждый школьник должен овладеть этим умением. Умение составлять адекватные математические модели реальных ситуаций должно составлять неотъемлемую часть математического образования. Успех приносит не столько применение готовых рецептов (жестких моделей), сколько математический подход к явлениям реального мира. При всем огромном социальном значении вычислений (и computer science), сила математики не в них, и преподавание математики не должно сводиться к вычислительным рецептам.

"No star wars - no mathematics", - говорятамериканцы. Тот прискорбный факт, что с (временным?) прекращением военного противостояния математика, как и все фундаментальные науки, перестала финансироваться, является позором для современной цивилизации, признающей только "прикладные" науки, ведущей себя совершенно подобно свинье под дубом.

На самом деле никаких прикладных наук не существует и никогда не существовало, как это отметил более ста лет назад Луи Пастер (которого трудно заподозрить в занятиях, не нужных человечеству). Согласно Пастеру, существуют лишь приложения науки[1].

Опыты с янтарем и кошачьим мехом казались бесполезными правителям и военачальникам XVIII века. Но именно они изменили наш мир после того, как Фарадей и Максвелл написали уравнения теории электромагнетизма. Эти достижения фундаментальной науки окупили все затраты человечества на нее на сотни лет вперед. Отказ современных правителей платить по этому счету - удивительно недальновидная политика, за которую соответствующие страны, несомненно, будут наказаны технологической и следовательно экономической (а также и военной) отсталостью. Человечество в целом (перед которым ведь стоит тяжелейшая задача выживания в условиях мальтузианского кризиса) должно будет заплатить тяжелую цену за близоруко-эгоистическую политику составляющих его стран.

Математическое сообщество несет свою долю ответственности за повсеместно наблюдаемое давление со стороны правительств и общества в целом, направленное на уничтожение математической культуры как части культурного багажа каждого человека и в особенности на уничтожение математического образования.

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

1. Роль математики в современном мире. Основные этапы развития математики

Целью изучения математики является повышение общего кругозора, культуры мышления, формирование научного мировоззрения.

Математика – наука о количественных отношениях и пространственных формах действительного мира. Академик Колмогоров А.Н. выделяет четыре периода развития математики[2]:

· зарождение математики,

· элементарная математика,

· математика переменных величин,

· современная математика.

Начало периода элементарной математики относят к VI-V веку до нашей эры. К этому времени был накоплен достаточно большой фактический материал. Понимание математики, как самостоятельной науки возникло впервые в Древней Греции. В течение этого периода математические исследования имеют дело лишь с достаточно ограниченным запасом основных понятий, возникших для удовлетворения самых простых запросов хозяйственной жизни. Развивается арифметика – наука о числе.

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

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

К этому времени относятся и появление гениальной идеи Р. Декарта о методе координат. Создается аналитическая геометрия, которая позволяет изучать геометрические объекты методами алгебры и анализа. С другой стороны метод координат открыл возможность геометрической интерпретации алгебраических и аналитических фактов[3].

Дальнейшее развитие математики привело в начале ХIX века к постановке задачи изучения возможных типов количественных отношений и пространственных форм с достаточно общей точки зрения. Связь математики и естествознания приобретает все более сложные формы. Возникают новые теории. Новые теории возникают не только в результате запросов естествознания и техники, но и в результате внутренней потребности математики. Замечательным примером такой теории является воображаемая геометрия Н. И. Лобачевского. Развитие математики в XIX и XX веках позволяет отнести ее к периоду современной математики. Развитие самой математики, математизация различных областей науки, проникновение математических методов во многие сферы практической деятельности, прогресс вычислительной техники привели к появлению новых математических дисциплин, например, исследование операций, теория игр, математическая экономика и другие.

В основе построения математической теории лежит аксиоматический метод. В основу научной теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории получаются, как логические следствия аксиом. Основными методами в математических исследованиях являются математические доказательства – строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция.

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

В математике используют два вида умозаключений: дедукция и индукция[4].

Индукция – метод исследования, в котором общий вывод строится не основе частных посылок.

Дедукция – способ рассуждения, посредством которого от общих посылок следует заключение частного характера.

Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности.

2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии

Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится[5]:

1) к перечислению основных понятий,

2) к изложению определений,

3) к изложению аксиом,

4) к изложению теорем,

5) к доказательству этих теорем.

Аксиома – утверждение, принимаемое без доказательств.

Теорема – утверждение, вытекающее из аксиом.

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

Внутри дедуктивной системы не могут быть решены два вопроса: 1) о смысле основных понятий, 2) об истинности аксиом. Но это не значит, что эти вопросы вообще неразрешимы.

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

Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э.) в непревзойденном по своей значимости труде “Начала”. Эта система в основных чертах сохранилась и по сей день.

Основные понятия: точка, прямая, плоскость основные образы; лежать между, принадлежать, движение[6].

Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома о параллельных (V постулат Евклида):через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, т.е. до того момента, когда Николай Иванович Лобачевский доказал в своих трудах полную безнадежность этих попыток. В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом.

Аксиому о параллельных Н.И. Лобачевский заменил аксиомой:Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые.Из новой системы аксиом Н.И. Лобачевский с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.

Три великих математика в 19 веке почти одновременно, независимо друг от друга пришли к одним результатам недоказуемости пятого постулата и к созданию неевклидовой геометрии.

Николай Иванович Лобачевский (1792-1856)

Карл Фридрих Гаусс (1777-1855)

Янош Бойяи (1802-1860)

Судьба открытия Лобачевского. В 2004 г. Казанский Государственный Университет отметил 200-летие своего существования. Имя Николая Ивановича Лобачевского тесно связано с Казанским Университетом и составляет его гордость[7].

Н. И. Лобачевский родился 1 декабря 1792г. в Нижнем Новгороде, в 1807 году поступил в Императорский Казанский Университет, в 1811 году окончил его. 19 февраля 1826 года представил доклад о своем открытии физико-математическому факультету. В течении всей своей жизни он развивал свои идеи, которые излагал в трудах “Начала геометрии”, “Воображаемая геометрия” и других. За год до смерти он опубликовал свою работу “Пангеометрия” (1855г.).

Николай Иванович помимо научных трудов, вел громадную работу, как профессор, главный библиотекарь, декан, а позднее ректор Университета, при нем развернулось строительство Университетского прекрасного архитектурного ансамбля. Умер он 12 февраля 1856г., так и не дождавшись признания своих идей. Эти идеи были враждебно встречены даже известными математиками того времени. Идеи Н.И. Лобачевского далеко опередили свое время, но все развитие науки подготовило их неизбежное торжество. Через пятнадцать лет после его смерти его открытие стало общеизвестным и определило на столетие вперед развитие геометрической науки, оказало сильнейшее влияние на другие разделы математики, явилось одной из предпосылок глубокого преобразования физических представлений о пространстве и времени.

3. Особенности математического стиля мышления

Представляет интерес характеристика А.Я. Хинчиным математического мышления, а точнее, его конкретно-исторической формы – стиля математического мышления. Раскрывая сущность стиля математического мышления, он выделяет четыре общие для всех эпох черты, заметно отличающие этот стиль от стилей мышления в других науках[8].

Во-первых, для математика характерна доведенное до пределадоминирование логической схемы рассуждения. Математик, потерявший, хотя бы временно, из виду эту схему, вообще лишается возможности научно мыслить. Эта своеобразная черта стиля математического мышления имеет в себе много ценного. Очевидно, что она в максимальной степени позволяет следить за правильностью течения мысли и гарантирует от ошибок; с другой стороны, она заставляет мыслящего при анализе иметь перед глазами всю совокупность имеющихся возможностей и обязывает его учесть каждую из них, не пропуская ни одной (такого рода пропуски вполне возможны и фактически часто наблюдаются при других стилях мышления).

Во-вторых,лаконизм, т.е. сознательное стремление всегда находить кратчайший ведущий к данной цели логический путь, беспощадное отбрасывание всего, что не абсолютно необходимо для безупречной полноценности аргументации. Математическое сочинение хорошего стиля не терпит никакой “воды”, никаких украшающих, ослабляющих логическое напряжение разглагольствований, отвлечений в сторону; предельная скупость, суровая строгость мысли и ее изложения составляют неотъемлемую черту математического мышления. Черта эта имеет большую ценность не только для математического, но и для любого другого серьезного рассуждения. Лаконизм, стремление не допускать ничего излишнего, помогает и самому мыслящему, и его читателю или слушателю полностью сосредоточиться на данном ходе мыслей, не отвлекаясь побочными представлениями и не теряя непосредственного контакта с основной линией рассуждения.

Корифеи науки, как правило, мыслят и выражаются лаконично во всех областях знания, даже тогда, когда мысль их создает и излагает принципиально новые идеи. Какое величественное впечатление производит, например, благородная скупость мысли и речи величайших творцов физики: Ньютона, Эйнштейна, Нильса Бора! Может быть, трудно найти более яркий пример того, какое глубокое воздействие может иметь на развитие науки именно стиль мышления ее творцов.

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

В-третьих, четкая расчлененность хода рассуждений. Если, например, при доказательстве какого-либо предложения мы должны рассмотреть четыре возможных случая, из которых каждый может разбиваться на то или другое число подслучаев, то в каждый момент рассуждения математик должен отчетливо помнить, в каком случае и подслучае его мысль сейчас обретается и какие случаи и подслучаи ему еще остается рассмотреть. При всякого рода разветвленных перечислениях математик должен в каждый момент отдавать себе отчет в том, для какого родового понятия он перечисляет составляющие его видовые понятия. В обыденном, не научном мышлении мы весьма часто наблюдаем в таких случаях смешения и перескоки, приводящие к путанице и ошибкам в рассуждении. Часто бывает, что человек начал перечислять виды одного какого-нибудь рода, а потом незаметно для слушателей (а часто и для самого себя), пользуясь недостаточной логической отчетливостью рассуждения, перескочил в другой род и заканчивает заявлением, что теперь оба рода расклассифицированы; а слушатели или читатели не знают, где пролегает граница между видами первого и второго рода[9].

Для того чтобы сделать такие смешения и перескоки невозможными, математики издавна широко пользуются простыми внешними приемами нумерации понятий и суждений, иногда (но гораздо реже) применяемыми и в других науках. Те возможные случаи или те родовые понятия, которые надлежит рассмотреть в данном рассуждении, заранее перенумеровываются; внутри каждого такого случая те подлежащие рассмотрению подслучаи, которые он содержит, также перенумеровываются (иногда, для различения, с помощью какой-либо другой системы нумерации). Перед каждым абзацем, где начинается рассмотрение нового подслучая, ставится принятое для этого подслучая обозначение (например, II 3, -это означает, что здесь начинается рассмотрение третьего подслучая второго случая, или описание третьего вида второго рода, если речь идет о классификации). И читатель знает, что до тех пор, покуда он не натолкнется на новую числовую рубрику, всё излагаемое относится только к этому случаю и подслучаю. Само собою разумеется, что такая нумерация служит лишь внешним приемом, очень полезным, но отнюдь не обязательным, и что суть дела не в ней, а в той отчетливой расчлененности аргументации или классификации, которую она и стимулирует, и знаменует собою.

В-четвертых, скрупулезная точность символики, формул, уравнений. То есть “каждый математический символ имеет строго определенное значение: замена его другим символом или перестановка на другое место, как правило, влечет за собою искажение, а подчас и полное уничтожение смысла данного высказывания”.

Выделив основные черты математического стиля мышления, А.Я. Хинчин замечает, что математика (особенно математика переменных величин) по своей природе имеет диалектический характер, а следовательно, способствует развитию диалектического мышления. Действительно, в процессе математического мышления происходит взаимодействие наглядного (конкретного) и понятийного (абстрактного). “Мы не можем мыслить линии, – писал Кант, – не проведя её мысленно, не можем мыслить себе три измерения, не проведя из одной точки трех перпендикулярных друг к другу линий”[10].

Взаимодействие конкретного и абстрактного “вело” математическое мышление к освоению новых и новых понятий и философских категорий. В античной математике (математике постоянных величин) таковыми были “число” и “пространство”, которые первоначально нашли отражение в арифметике и евклидовой геометрии, а позже в алгебре и различных геометрических системах. Математика переменных величин “базировалась” на понятиях, в которых отражалось движение материи, - “конечное”, “бесконечное”, “непрерывность”, “дискретное”, “бесконечно малая”, “производная” и т.п.

Заключение

Если говорить о современном историческом этапе развития математического познания, то он идет в русле дальнейшего освоения философских категорий: теория вероятностей “осваивает” категории возможного и случайного; топология – категории отношения и непрерывности; теория катастроф – категорию скачка; теория групп – категории симметрии и гармонии и т.д.

В математическом мышлении выражены основные закономерности построения сходных по форме логических связей. С его помощью осуществляется переход от единичного (скажем, от определенных математических методов – аксиоматического, алгоритмического, конструктивного, теоретико-множественного и других) к особенному и общему, к обобщенным дедуктивным построениям. Единство методов и предмета математики определяет специфику математического мышления, позволяет говорить об особом математическом языке, в котором не только отражается действительность, но и синтезируется, обобщается, прогнозируется научное знание. Могущество и красота математической мысли – в предельной четкости её логики, изяществе конструкций, искусном построении абстракций[11].

Принципиально новые возможности мыслительной деятельности открылись с изобретением ЭВМ, с созданием машинной математики. В языке математики произошли существенные изменения. Если язык классической вычислительной математики состоял из формул алгебры, геометрии и анализа, ориентировался на описание непрерывных процессов природы, изучаемых прежде всего в механике, астрономии, физике, то современный её язык – это язык алгоритмов и программ, включающий старый язык формул в качестве частного случая.

Язык современной вычислительной математики становится все более универсальным, способным описывать сложные (многопараметрические) системы. Вместе с тем хочется подчеркнуть, что каким бы совершенным ни был математический язык, усиленный электронно-вычислительной техникой, он не порывает связей с многообразным “живым”, естественным языком. Мало того, разговорный язык является базой языка искусственного. В этом отношении представляет интерес недавнее открытие ученых. Речь идет о том, что древний язык индейцев аймара, на котором говорят примерно 2,5 миллиона человек в Боливии и Перу, оказался в высшей степени удобным для компьютерной техники. Еще в 1610 г. итальянский миссионер-иезуит Людовико Бертони, составивший первый словарь аймара, отмечал гениальность его создателей, добившихся высокой логической чистоты. В аймара, например, не существует неправильных глаголов и никаких исключений из немногих четких грамматических правил. Эти особенности языка аймара позволили боливийскому математику Айвану Гусману де Рохас создать систему синхронного компьютерного перевода с любого из пяти заложенных в программу европейских языков, “мостиком” между которыми служит язык аймара. ЭВМ “Аймара”, созданная боливийским ученым, получила высокую оценку специалистов. Резюмируя эту часть вопроса о сущности математического стиля мышления, следует отметить, что его основным содержанием является понимание природы

Список литературы

1. Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с.

2. Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

3. Информационная безопасность. Под ред. М.А.Вуса. – С-Пб.: Изд-во СПбГУ, 2006. – 201 с.

4. История математики. Под ред. А.П.Юшкевича. Т. 1-3. - М., Наука, 2007. – 512 с.

5. Колмогоров А.Н. Математика в ее историческом развитии. - М., Наука, 2005. – 325 с.

6. Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с.

7. Пойа Д. Математика и правдоподобные рассуждения. - М., Наука, 2005. – 178 с.

8. Пойа Д. Математическое открытие. - М., Наука, 2007. – 213 с.

9. Стройк Д.Я. Краткий очерк истории математики. - М., Физматлит, 2007. – 346 с.

10. Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с.

11. Шикин Е.В., Шикина Г.Е. Гуманитариям о математике. - М., АГАР, 2007. – 170 с.

12. Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. - СПб., РХГИ. 2008. – 244 с.

[1]Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с.

[2]Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с.

[3]Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

[4]Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

[5]Гнеденко Б.В. Математика и математическое образование в современном мире. - М., Просвещение, 2005. – 177 с.

[6]Пойа Д. Математика и правдоподобные рассуждения. - М., Наука, 2005. – 178 с.

[7]Курант Р., Роббинс Г. Что такое математика? - М., Просвещение, 2007. – 190 с.

[8]Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с.

[9]Фор Р., Кофман А., Дени-Папен М. Современная математика. - М., Мир, 2006. – 311 с.

[10]Гильде В. Зеркальный мир. - М., Мир, 2007. – 255 с.

[11]Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. - СПб., РХГИ. 2008. – 244 с.

superbotanik.net

Доклад - Математика в современном мире

Оглавление

Введение...................................................................................................................3

1. Роль математики в современном мире. Основные этапы развития математики...............................................................................................................5

2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии.........................................................................................8

3. Особенности математического стиля мышления...........................................11

Заключение.............................................................................................................15

Список литературы................................................................................................17

Введение

Математика является экспериментальной наукой — частью теоретической физики и членом семейства естественных наук. Основные принципы построения и преподавания всех этих наук применимы и к математике. Искусство строгого логического рассуждения и возможность получать этим способом надежные выводы не должно оставаться привилегией Шерлока Холмса — каждый школьник должен овладеть этим умением. Умение составлять адекватные математические модели реальных ситуаций должно составлять неотъемлемую часть математического образования. Успех приносит не столько применение готовых рецептов (жестких моделей), сколько математический подход к явлениям реального мира. При всем огромном социальном значении вычислений (и computer science), сила математики не в них, и преподавание математики не должно сводиться к вычислительным рецептам.

«No star wars — no mathematics», — говорятамериканцы. Тот прискорбный факт, что с (временным?) прекращением военного противостояния математика, как и все фундаментальные науки, перестала финансироваться, является позором для современной цивилизации, признающей только «прикладные» науки, ведущей себя совершенно подобно свинье под дубом.

На самом деле никаких прикладных наук не существует и никогда не существовало, как это отметил более ста лет назад Луи Пастер (которого трудно заподозрить в занятиях, не нужных человечеству). Согласно Пастеру, существуют лишь приложения науки[1].

Опыты с янтарем и кошачьим мехом казались бесполезными правителям и военачальникам XVIII века. Но именно они изменили наш мир после того, как Фарадей и Максвелл написали уравнения теории электромагнетизма. Эти достижения фундаментальной науки окупили все затраты человечества на нее на сотни лет вперед. Отказ современных правителей платить по этому счету — удивительно недальновидная политика, за которую соответствующие страны, несомненно, будут наказаны технологической и следовательно экономической (а также и военной) отсталостью. Человечество в целом (перед которым ведь стоит тяжелейшая задача выживания в условиях мальтузианского кризиса) должно будет заплатить тяжелую цену за близоруко-эгоистическую политику составляющих его стран.

Математическое сообщество несет свою долю ответственности за повсеместно наблюдаемое давление со стороны правительств и общества в целом, направленное на уничтожение математической культуры как части культурного багажа каждого человека и в особенности на уничтожение математического образования.

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

1. Роль математики в современном мире. Основные этапы развития математики

Целью изучения математики является повышение общего кругозора, культуры мышления, формирование научного мировоззрения.

Математика – наука о количественных отношениях и пространственных формах действительного мира. Академик Колмогоров А.Н. выделяет четыре периода развития математики[2] :

· зарождение математики,

· элементарная математика,

· математика переменных величин,

· современная математика.

Начало периода элементарной математики относят к VI-V веку до нашей эры. К этому времени был накоплен достаточно большой фактический материал. Понимание математики, как самостоятельной науки возникло впервые в Древней Греции. В течение этого периода математические исследования имеют дело лишь с достаточно ограниченным запасом основных понятий, возникших для удовлетворения самых простых запросов хозяйственной жизни. Развивается арифметика – наука о числе.

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

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

К этому времени относятся и появление гениальной идеи Р. Декарта о методе координат. Создается аналитическая геометрия, которая позволяет изучать геометрические объекты методами алгебры и анализа. С другой стороны метод координат открыл возможность геометрической интерпретации алгебраических и аналитических фактов[3] .

Дальнейшее развитие математики привело в начале ХIX века к постановке задачи изучения возможных типов количественных отношений и пространственных форм с достаточно общей точки зрения. Связь математики и естествознания приобретает все более сложные формы. Возникают новые теории. Новые теории возникают не только в результате запросов естествознания и техники, но и в результате внутренней потребности математики. Замечательным примером такой теории является воображаемая геометрия Н. И. Лобачевского. Развитие математики в XIX и XX веках позволяет отнести ее к периоду современной математики. Развитие самой математики, математизация различных областей науки, проникновение математических методов во многие сферы практической деятельности, прогресс вычислительной техники привели к появлению новых математических дисциплин, например, исследование операций, теория игр, математическая экономика и другие.

В основе построения математической теории лежит аксиоматический метод. В основу научной теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории получаются, как логические следствия аксиом. Основными методами в математических исследованиях являются математические доказательства – строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция.

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

В математике используют два вида умозаключений: дедукция и индукция[4] .

Индукция – метод исследования, в котором общий вывод строится не основе частных посылок.

Дедукция – способ рассуждения, посредством которого от общих посылок следует заключение частного характера.

Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности.

2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии

Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится[5] :

1) к перечислению основных понятий,

2) к изложению определений,

3) к изложению аксиом,

4) к изложению теорем,

5) к доказательству этих теорем.

Аксиома – утверждение, принимаемое без доказательств.

Теорема – утверждение, вытекающее из аксиом.

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

Внутри дедуктивной системы не могут быть решены два вопроса: 1) о смысле основных понятий, 2) об истинности аксиом. Но это не значит, что эти вопросы вообще неразрешимы.

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

Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э.) в непревзойденном по своей значимости труде “Начала”. Эта система в основных чертах сохранилась и по сей день.

Основные понятия: точка, прямая, плоскость основные образы; лежать между, принадлежать, движение[6] .

Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома о параллельных (V постулат Евклида): через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, т.е. до того момента, когда Николай Иванович Лобачевский доказал в своих трудах полную безнадежность этих попыток. В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом.

Аксиому о параллельных Н.И. Лобачевский заменил аксиомой: Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые. Из новой системы аксиом Н.И. Лобачевский с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.

Три великих математика в 19 веке почти одновременно, независимо друг от друга пришли к одним результатам недоказуемости пятого постулата и к созданию неевклидовой геометрии.

Николай Иванович Лобачевский (1792-1856)

Карл Фридрих Гаусс (1777-1855)

Янош Бойяи (1802-1860)

Судьба открытия Лобачевского. В 2004 г. Казанский Государственный Университет отметил 200-летие своего существования. Имя Николая Ивановича Лобачевского тесно связано с Казанским Университетом и составляет его гордость[7] .

Н. И. Лобачевский родился 1 декабря 1792г. в Нижнем Новгороде, в 1807 году поступил в Императорский Казанский Университет, в 1811 году окончил его. 19 февраля 1826 года представил доклад о своем открытии физико-математическому факультету. В течении всей своей жизни он развивал свои идеи, которые излагал в трудах “Начала геометрии”, “Воображаемая геометрия” и других. За год до смерти он опубликовал свою работу “Пангеометрия” (1855г.).

Николай Иванович помимо научных трудов, вел громадную работу, как профессор, главный библиотекарь, декан, а позднее ректор Университета, при нем развернулось строительство Университетского прекрасного архитектурного ансамбля. Умер он 12 февраля 1856г., так и не дождавшись признания своих идей. Эти идеи были враждебно встречены даже известными математиками того времени. Идеи Н.И. Лобачевского далеко опередили свое время, но все развитие науки подготовило их неизбежное торжество. Через пятнадцать лет после его смерти его открытие стало общеизвестным и определило на столетие вперед развитие геометрической науки, оказало сильнейшее влияние на другие разделы математики, явилось одной из предпосылок глубокого преобразования физических представлений о пространстве и времени.

3. Особенности математического стиля мышления

Представляет интерес характеристика А.Я. Хинчиным математического мышления, а точнее, его конкретно-исторической формы – стиля математического мышления. Раскрывая сущность стиля математического мышления, он выделяет четыре общие для всех эпох черты, заметно отличающие этот стиль от стилей мышления в других науках[8] .

Во-первых, для математика характерна доведенное до предела доминирование логической схемы рассуждения. Математик, потерявший, хотя бы временно, из виду эту схему, вообще лишается возможности научно мыслить. Эта своеобразная черта стиля математического мышления имеет в себе много ценного. Очевидно, что она в максимальной степени позволяет следить за правильностью течения мысли и гарантирует от ошибок; с другой стороны, она заставляет мыслящего при анализе иметь перед глазами всю совокупность имеющихся возможностей и обязывает его учесть каждую из них, не пропуская ни одной (такого рода пропуски вполне возможны и фактически часто наблюдаются при других стилях мышления).

Во-вторых, лаконизм, т.е. сознательное стремление всегда находить кратчайший ведущий к данной цели логический путь, беспощадное отбрасывание всего, что не абсолютно необходимо для безупречной полноценности аргументации. Математическое сочинение хорошего стиля не терпит никакой “воды”, никаких украшающих, ослабляющих логическое напряжение разглагольствований, отвлечений в сторону; предельная скупость, суровая строгость мысли и ее изложения составляют неотъемлемую черту математического мышления. Черта эта имеет большую ценность не только для математического, но и для любого другого серьезного рассуждения. Лаконизм, стремление не допускать ничего излишнего, помогает и самому мыслящему, и его читателю или слушателю полностью сосредоточиться на данном ходе мыслей, не отвлекаясь побочными представлениями и не теряя непосредственного контакта с основной линией рассуждения.

Корифеи науки, как правило, мыслят и выражаются лаконично во всех областях знания, даже тогда, когда мысль их создает и излагает принципиально новые идеи. Какое величественное впечатление производит, например, благородная скупость мысли и речи величайших творцов физики: Ньютона, Эйнштейна, Нильса Бора! Может быть, трудно найти более яркий пример того, какое глубокое воздействие может иметь на развитие науки именно стиль мышления ее творцов.

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

В-третьих, четкая расчлененность хода рассуждений. Если, например, при доказательстве какого-либо предложения мы должны рассмотреть четыре возможных случая, из которых каждый может разбиваться на то или другое число подслучаев, то в каждый момент рассуждения математик должен отчетливо помнить, в каком случае и подслучае его мысль сейчас обретается и какие случаи и подслучаи ему еще остается рассмотреть. При всякого рода разветвленных перечислениях математик должен в каждый момент отдавать себе отчет в том, для какого родового понятия он перечисляет составляющие его видовые понятия. В обыденном, не научном мышлении мы весьма часто наблюдаем в таких случаях смешения и перескоки, приводящие к путанице и ошибкам в рассуждении. Часто бывает, что человек начал перечислять виды одного какого-нибудь рода, а потом незаметно для слушателей (а часто и для самого себя), пользуясь недостаточной логической отчетливостью рассуждения, перескочил в другой род и заканчивает заявлением, что теперь оба рода расклассифицированы; а слушатели или читатели не знают, где пролегает граница между видами первого и второго рода[9] .

Для того чтобы сделать такие смешения и перескоки невозможными, математики издавна широко пользуются простыми внешними приемами нумерации понятий и суждений, иногда (но гораздо реже) применяемыми и в других науках. Те возможные случаи или те родовые понятия, которые надлежит рассмотреть в данном рассуждении, заранее перенумеровываются; внутри каждого такого случая те подлежащие рассмотрению подслучаи, которые он содержит, также перенумеровываются (иногда, для различения, с помощью какой-либо другой системы нумерации). Перед каждым абзацем, где начинается рассмотрение нового подслучая, ставится принятое для этого подслучая обозначение (например, II 3, -это означает, что здесь начинается рассмотрение третьего подслучая второго случая, или описание третьего вида второго рода, если речь идет о классификации). И читатель знает, что до тех пор, покуда он не натолкнется на новую числовую рубрику, всё излагаемое относится только к этому случаю и подслучаю. Само собою разумеется, что такая нумерация служит лишь внешним приемом, очень полезным, но отнюдь не обязательным, и что суть дела не в ней, а в той отчетливой расчлененности аргументации или классификации, которую она и стимулирует, и знаменует собою.

В-четвертых, скрупулезная точность символики, формул, уравнений. То есть “каждый математический символ имеет строго определенное значение: замена его другим символом или перестановка на другое место, как правило, влечет за собою искажение, а подчас и полное уничтожение смысла данного высказывания”.

Выделив основные черты математического стиля мышления, А.Я. Хинчин замечает, что математика (особенно математика переменных величин) по своей природе имеет диалектический характер, а следовательно, способствует развитию диалектического мышления. Действительно, в процессе математического мышления происходит взаимодействие наглядного (конкретного) и понятийного (абстрактного). “Мы не можем мыслить линии, – писал Кант, – не проведя её мысленно, не можем мыслить себе три измерения, не проведя из одной точки трех перпендикулярных друг к другу линий”[10] .

Взаимодействие конкретного и абстрактного “вело” математическое мышление к освоению новых и новых понятий и философских категорий. В античной математике (математике постоянных величин) таковыми были “число” и “пространство”, которые первоначально нашли отражение в арифметике и евклидовой геометрии, а позже в алгебре и различных геометрических системах. Математика переменных величин “базировалась” на понятиях, в которых отражалось движение материи, — “конечное”, “бесконечное”, “непрерывность”, “дискретное”, “бесконечно малая”, “производная” и т.п.

Заключение

Если говорить о современном историческом этапе развития математического познания, то он идет в русле дальнейшего освоения философских категорий: теория вероятностей “осваивает” категории возможного и случайного; топология – категории отношения и непрерывности; теория катастроф – категорию скачка; теория групп – категории симметрии и гармонии и т.д.

В математическом мышлении выражены основные закономерности построения сходных по форме логических связей. С его помощью осуществляется переход от единичного (скажем, от определенных математических методов – аксиоматического, алгоритмического, конструктивного, теоретико-множественного и других) к особенному и общему, к обобщенным дедуктивным построениям. Единство методов и предмета математики определяет специфику математического мышления, позволяет говорить об особом математическом языке, в котором не только отражается действительность, но и синтезируется, обобщается, прогнозируется научное знание. Могущество и красота математической мысли – в предельной четкости её логики, изяществе конструкций, искусном построении абстракций[11] .

Принципиально новые возможности мыслительной деятельности открылись с изобретением ЭВМ, с созданием машинной математики. В языке математики произошли существенные изменения. Если язык классической вычислительной математики состоял из формул алгебры, геометрии и анализа, ориентировался на описание непрерывных процессов природы, изучаемых прежде всего в механике, астрономии, физике, то современный её язык – это язык алгоритмов и программ, включающий старый язык формул в качестве частного случая.

Язык современной вычислительной математики становится все более универсальным, способным описывать сложные (многопараметрические) системы. Вместе с тем хочется подчеркнуть, что каким бы совершенным ни был математический язык, усиленный электронно-вычислительной техникой, он не порывает связей с многообразным “живым”, естественным языком. Мало того, разговорный язык является базой языка искусственного. В этом отношении представляет интерес недавнее открытие ученых. Речь идет о том, что древний язык индейцев аймара, на котором говорят примерно 2,5 миллиона человек в Боливии и Перу, оказался в высшей степени удобным для компьютерной техники. Еще в 1610 г. итальянский миссионер-иезуит Людовико Бертони, составивший первый словарь аймара, отмечал гениальность его создателей, добившихся высокой логической чистоты. В аймара, например, не существует неправильных глаголов и никаких исключений из немногих четких грамматических правил. Эти особенности языка аймара позволили боливийскому математику Айвану Гусману де Рохас создать систему синхронного компьютерного перевода с любого из пяти заложенных в программу европейских языков, “мостиком” между которыми служит язык аймара. ЭВМ “Аймара”, созданная боливийским ученым, получила высокую оценку специалистов. Резюмируя эту часть вопроса о сущности математического стиля мышления, следует отметить, что его основным содержанием является понимание природы

Список литературы

1. Гильде В. Зеркальный мир. — М., Мир, 2007. – 255 с.

2. Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

3. Информационная безопасность. Под ред. М.А.Вуса. – С-Пб.: Изд-во СПбГУ, 2006. – 201 с.

4. История математики. Под ред. А.П.Юшкевича. Т. 1-3. — М., Наука, 2007. – 512 с.

5. Колмогоров А.Н. Математика в ее историческом развитии. — М., Наука, 2005. – 325 с.

6. Курант Р., Роббинс Г. Что такое математика? — М., Просвещение, 2007. – 190 с.

7. Пойа Д. Математика и правдоподобные рассуждения. — М., Наука, 2005. – 178 с.

8. Пойа Д. Математическое открытие. — М., Наука, 2007. – 213 с.

9. Стройк Д.Я. Краткий очерк истории математики. — М., Физматлит, 2007. – 346 с.

10. Фор Р., Кофман А., Дени-Папен М. Современная математика. — М., Мир, 2006. – 311 с.

11. Шикин Е.В., Шикина Г.Е. Гуманитариям о математике. — М., АГАР, 2007. – 170 с.

12. Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. — СПб., РХГИ. 2008. – 244 с.

[1] Гильде В. Зеркальный мир. — М., Мир, 2007. – 255 с.

[2] Курант Р., Роббинс Г. Что такое математика? — М., Просвещение, 2007. – 190 с.

[3] Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

[4] Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

[5] Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

[6] Пойа Д. Математика и правдоподобные рассуждения. — М., Наука, 2005. – 178 с.

[7] Курант Р., Роббинс Г. Что такое математика? — М., Просвещение, 2007. – 190 с.

[8] Фор Р., Кофман А., Дени-Папен М. Современная математика. — М., Мир, 2006. – 311 с.

[9] Фор Р., Кофман А., Дени-Папен М. Современная математика. — М., Мир, 2006. – 311 с.

[10] Гильде В. Зеркальный мир. — М., Мир, 2007. – 255 с.

[11] Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. — СПб., РХГИ. 2008. – 244 с.

www.ronl.ru

Курсовая работа - Математика в современном мире

Оглавление

Введение...................................................................................................................3

1. Роль математики в современном мире. Основные этапы развития математики...............................................................................................................5

2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии.........................................................................................8

3. Особенности математического стиля мышления...........................................11

Заключение.............................................................................................................15

Список литературы................................................................................................17

Введение

Математика является экспериментальной наукой — частью теоретической физики и членом семейства естественных наук. Основные принципы построения и преподавания всех этих наук применимы и к математике. Искусство строгого логического рассуждения и возможность получать этим способом надежные выводы не должно оставаться привилегией Шерлока Холмса — каждый школьник должен овладеть этим умением. Умение составлять адекватные математические модели реальных ситуаций должно составлять неотъемлемую часть математического образования. Успех приносит не столько применение готовых рецептов (жестких моделей), сколько математический подход к явлениям реального мира. При всем огромном социальном значении вычислений (и computer science), сила математики не в них, и преподавание математики не должно сводиться к вычислительным рецептам.

«No star wars — no mathematics», — говорятамериканцы. Тот прискорбный факт, что с (временным?) прекращением военного противостояния математика, как и все фундаментальные науки, перестала финансироваться, является позором для современной цивилизации, признающей только «прикладные» науки, ведущей себя совершенно подобно свинье под дубом.

На самом деле никаких прикладных наук не существует и никогда не существовало, как это отметил более ста лет назад Луи Пастер (которого трудно заподозрить в занятиях, не нужных человечеству). Согласно Пастеру, существуют лишь приложения науки[1].

Опыты с янтарем и кошачьим мехом казались бесполезными правителям и военачальникам XVIII века. Но именно они изменили наш мир после того, как Фарадей и Максвелл написали уравнения теории электромагнетизма. Эти достижения фундаментальной науки окупили все затраты человечества на нее на сотни лет вперед. Отказ современных правителей платить по этому счету — удивительно недальновидная политика, за которую соответствующие страны, несомненно, будут наказаны технологической и следовательно экономической (а также и военной) отсталостью. Человечество в целом (перед которым ведь стоит тяжелейшая задача выживания в условиях мальтузианского кризиса) должно будет заплатить тяжелую цену за близоруко-эгоистическую политику составляющих его стран.

Математическое сообщество несет свою долю ответственности за повсеместно наблюдаемое давление со стороны правительств и общества в целом, направленное на уничтожение математической культуры как части культурного багажа каждого человека и в особенности на уничтожение математического образования.

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

1. Роль математики в современном мире. Основные этапы развития математики

Целью изучения математики является повышение общего кругозора, культуры мышления, формирование научного мировоззрения.

Математика – наука о количественных отношениях и пространственных формах действительного мира. Академик Колмогоров А.Н. выделяет четыре периода развития математики[2] :

· зарождение математики,

· элементарная математика,

· математика переменных величин,

· современная математика.

Начало периода элементарной математики относят к VI-V веку до нашей эры. К этому времени был накоплен достаточно большой фактический материал. Понимание математики, как самостоятельной науки возникло впервые в Древней Греции. В течение этого периода математические исследования имеют дело лишь с достаточно ограниченным запасом основных понятий, возникших для удовлетворения самых простых запросов хозяйственной жизни. Развивается арифметика – наука о числе.

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

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

К этому времени относятся и появление гениальной идеи Р. Декарта о методе координат. Создается аналитическая геометрия, которая позволяет изучать геометрические объекты методами алгебры и анализа. С другой стороны метод координат открыл возможность геометрической интерпретации алгебраических и аналитических фактов[3] .

Дальнейшее развитие математики привело в начале ХIX века к постановке задачи изучения возможных типов количественных отношений и пространственных форм с достаточно общей точки зрения. Связь математики и естествознания приобретает все более сложные формы. Возникают новые теории. Новые теории возникают не только в результате запросов естествознания и техники, но и в результате внутренней потребности математики. Замечательным примером такой теории является воображаемая геометрия Н. И. Лобачевского. Развитие математики в XIX и XX веках позволяет отнести ее к периоду современной математики. Развитие самой математики, математизация различных областей науки, проникновение математических методов во многие сферы практической деятельности, прогресс вычислительной техники привели к появлению новых математических дисциплин, например, исследование операций, теория игр, математическая экономика и другие.

В основе построения математической теории лежит аксиоматический метод. В основу научной теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории получаются, как логические следствия аксиом. Основными методами в математических исследованиях являются математические доказательства – строгие логические рассуждения. Математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки выбора способа ее решения необходима математическая интуиция.

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

В математике используют два вида умозаключений: дедукция и индукция[4] .

Индукция – метод исследования, в котором общий вывод строится не основе частных посылок.

Дедукция – способ рассуждения, посредством которого от общих посылок следует заключение частного характера.

Математика играет важную роль в естественнонаучных, инженерно-технических и гуманитарных исследованиях. Причина проникновения математики в различные отрасли знаний заключается в том, что она предлагает весьма четкие модели для изучения окружающей действительности в отличие от менее общих и более расплывчатых моделей, предлагаемых другими науками. Без современной математики с ее развитым логическими и вычислительным аппаратом был бы невозможен прогресс в различных областях человеческой деятельности.

2. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии

Создание дедуктивного или аксиоматического метода построения науки является одним из величайших достижений математической мысли. Оно потребовало работы многих поколений ученых. Замечательной чертой дедуктивной системы изложения является простота этого построения, позволяющая описать его в немногих словах. Дедуктивная система изложения сводится[5] :

1) к перечислению основных понятий,

2) к изложению определений,

3) к изложению аксиом,

4) к изложению теорем,

5) к доказательству этих теорем.

Аксиома – утверждение, принимаемое без доказательств.

Теорема – утверждение, вытекающее из аксиом.

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

Внутри дедуктивной системы не могут быть решены два вопроса: 1) о смысле основных понятий, 2) об истинности аксиом. Но это не значит, что эти вопросы вообще неразрешимы.

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

Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э.) в непревзойденном по своей значимости труде “Начала”. Эта система в основных чертах сохранилась и по сей день.

Основные понятия: точка, прямая, плоскость основные образы; лежать между, принадлежать, движение[6] .

Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома о параллельных (V постулат Евклида): через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую. Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, т.е. до того момента, когда Николай Иванович Лобачевский доказал в своих трудах полную безнадежность этих попыток. В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом.

Аксиому о параллельных Н.И. Лобачевский заменил аксиомой: Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые. Из новой системы аксиом Н.И. Лобачевский с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.

Три великих математика в 19 веке почти одновременно, независимо друг от друга пришли к одним результатам недоказуемости пятого постулата и к созданию неевклидовой геометрии.

Николай Иванович Лобачевский (1792-1856)

Карл Фридрих Гаусс (1777-1855)

Янош Бойяи (1802-1860)

Судьба открытия Лобачевского. В 2004 г. Казанский Государственный Университет отметил 200-летие своего существования. Имя Николая Ивановича Лобачевского тесно связано с Казанским Университетом и составляет его гордость[7] .

Н. И. Лобачевский родился 1 декабря 1792г. в Нижнем Новгороде, в 1807 году поступил в Императорский Казанский Университет, в 1811 году окончил его. 19 февраля 1826 года представил доклад о своем открытии физико-математическому факультету. В течении всей своей жизни он развивал свои идеи, которые излагал в трудах “Начала геометрии”, “Воображаемая геометрия” и других. За год до смерти он опубликовал свою работу “Пангеометрия” (1855г.).

Николай Иванович помимо научных трудов, вел громадную работу, как профессор, главный библиотекарь, декан, а позднее ректор Университета, при нем развернулось строительство Университетского прекрасного архитектурного ансамбля. Умер он 12 февраля 1856г., так и не дождавшись признания своих идей. Эти идеи были враждебно встречены даже известными математиками того времени. Идеи Н.И. Лобачевского далеко опередили свое время, но все развитие науки подготовило их неизбежное торжество. Через пятнадцать лет после его смерти его открытие стало общеизвестным и определило на столетие вперед развитие геометрической науки, оказало сильнейшее влияние на другие разделы математики, явилось одной из предпосылок глубокого преобразования физических представлений о пространстве и времени.

3. Особенности математического стиля мышления

Представляет интерес характеристика А.Я. Хинчиным математического мышления, а точнее, его конкретно-исторической формы – стиля математического мышления. Раскрывая сущность стиля математического мышления, он выделяет четыре общие для всех эпох черты, заметно отличающие этот стиль от стилей мышления в других науках[8] .

Во-первых, для математика характерна доведенное до предела доминирование логической схемы рассуждения. Математик, потерявший, хотя бы временно, из виду эту схему, вообще лишается возможности научно мыслить. Эта своеобразная черта стиля математического мышления имеет в себе много ценного. Очевидно, что она в максимальной степени позволяет следить за правильностью течения мысли и гарантирует от ошибок; с другой стороны, она заставляет мыслящего при анализе иметь перед глазами всю совокупность имеющихся возможностей и обязывает его учесть каждую из них, не пропуская ни одной (такого рода пропуски вполне возможны и фактически часто наблюдаются при других стилях мышления).

Во-вторых, лаконизм, т.е. сознательное стремление всегда находить кратчайший ведущий к данной цели логический путь, беспощадное отбрасывание всего, что не абсолютно необходимо для безупречной полноценности аргументации. Математическое сочинение хорошего стиля не терпит никакой “воды”, никаких украшающих, ослабляющих логическое напряжение разглагольствований, отвлечений в сторону; предельная скупость, суровая строгость мысли и ее изложения составляют неотъемлемую черту математического мышления. Черта эта имеет большую ценность не только для математического, но и для любого другого серьезного рассуждения. Лаконизм, стремление не допускать ничего излишнего, помогает и самому мыслящему, и его читателю или слушателю полностью сосредоточиться на данном ходе мыслей, не отвлекаясь побочными представлениями и не теряя непосредственного контакта с основной линией рассуждения.

Корифеи науки, как правило, мыслят и выражаются лаконично во всех областях знания, даже тогда, когда мысль их создает и излагает принципиально новые идеи. Какое величественное впечатление производит, например, благородная скупость мысли и речи величайших творцов физики: Ньютона, Эйнштейна, Нильса Бора! Может быть, трудно найти более яркий пример того, какое глубокое воздействие может иметь на развитие науки именно стиль мышления ее творцов.

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

В-третьих, четкая расчлененность хода рассуждений. Если, например, при доказательстве какого-либо предложения мы должны рассмотреть четыре возможных случая, из которых каждый может разбиваться на то или другое число подслучаев, то в каждый момент рассуждения математик должен отчетливо помнить, в каком случае и подслучае его мысль сейчас обретается и какие случаи и подслучаи ему еще остается рассмотреть. При всякого рода разветвленных перечислениях математик должен в каждый момент отдавать себе отчет в том, для какого родового понятия он перечисляет составляющие его видовые понятия. В обыденном, не научном мышлении мы весьма часто наблюдаем в таких случаях смешения и перескоки, приводящие к путанице и ошибкам в рассуждении. Часто бывает, что человек начал перечислять виды одного какого-нибудь рода, а потом незаметно для слушателей (а часто и для самого себя), пользуясь недостаточной логической отчетливостью рассуждения, перескочил в другой род и заканчивает заявлением, что теперь оба рода расклассифицированы; а слушатели или читатели не знают, где пролегает граница между видами первого и второго рода[9] .

Для того чтобы сделать такие смешения и перескоки невозможными, математики издавна широко пользуются простыми внешними приемами нумерации понятий и суждений, иногда (но гораздо реже) применяемыми и в других науках. Те возможные случаи или те родовые понятия, которые надлежит рассмотреть в данном рассуждении, заранее перенумеровываются; внутри каждого такого случая те подлежащие рассмотрению подслучаи, которые он содержит, также перенумеровываются (иногда, для различения, с помощью какой-либо другой системы нумерации). Перед каждым абзацем, где начинается рассмотрение нового подслучая, ставится принятое для этого подслучая обозначение (например, II 3, -это означает, что здесь начинается рассмотрение третьего подслучая второго случая, или описание третьего вида второго рода, если речь идет о классификации). И читатель знает, что до тех пор, покуда он не натолкнется на новую числовую рубрику, всё излагаемое относится только к этому случаю и подслучаю. Само собою разумеется, что такая нумерация служит лишь внешним приемом, очень полезным, но отнюдь не обязательным, и что суть дела не в ней, а в той отчетливой расчлененности аргументации или классификации, которую она и стимулирует, и знаменует собою.

В-четвертых, скрупулезная точность символики, формул, уравнений. То есть “каждый математический символ имеет строго определенное значение: замена его другим символом или перестановка на другое место, как правило, влечет за собою искажение, а подчас и полное уничтожение смысла данного высказывания”.

Выделив основные черты математического стиля мышления, А.Я. Хинчин замечает, что математика (особенно математика переменных величин) по своей природе имеет диалектический характер, а следовательно, способствует развитию диалектического мышления. Действительно, в процессе математического мышления происходит взаимодействие наглядного (конкретного) и понятийного (абстрактного). “Мы не можем мыслить линии, – писал Кант, – не проведя её мысленно, не можем мыслить себе три измерения, не проведя из одной точки трех перпендикулярных друг к другу линий”[10] .

Взаимодействие конкретного и абстрактного “вело” математическое мышление к освоению новых и новых понятий и философских категорий. В античной математике (математике постоянных величин) таковыми были “число” и “пространство”, которые первоначально нашли отражение в арифметике и евклидовой геометрии, а позже в алгебре и различных геометрических системах. Математика переменных величин “базировалась” на понятиях, в которых отражалось движение материи, — “конечное”, “бесконечное”, “непрерывность”, “дискретное”, “бесконечно малая”, “производная” и т.п.

Заключение

Если говорить о современном историческом этапе развития математического познания, то он идет в русле дальнейшего освоения философских категорий: теория вероятностей “осваивает” категории возможного и случайного; топология – категории отношения и непрерывности; теория катастроф – категорию скачка; теория групп – категории симметрии и гармонии и т.д.

В математическом мышлении выражены основные закономерности построения сходных по форме логических связей. С его помощью осуществляется переход от единичного (скажем, от определенных математических методов – аксиоматического, алгоритмического, конструктивного, теоретико-множественного и других) к особенному и общему, к обобщенным дедуктивным построениям. Единство методов и предмета математики определяет специфику математического мышления, позволяет говорить об особом математическом языке, в котором не только отражается действительность, но и синтезируется, обобщается, прогнозируется научное знание. Могущество и красота математической мысли – в предельной четкости её логики, изяществе конструкций, искусном построении абстракций[11] .

Принципиально новые возможности мыслительной деятельности открылись с изобретением ЭВМ, с созданием машинной математики. В языке математики произошли существенные изменения. Если язык классической вычислительной математики состоял из формул алгебры, геометрии и анализа, ориентировался на описание непрерывных процессов природы, изучаемых прежде всего в механике, астрономии, физике, то современный её язык – это язык алгоритмов и программ, включающий старый язык формул в качестве частного случая.

Язык современной вычислительной математики становится все более универсальным, способным описывать сложные (многопараметрические) системы. Вместе с тем хочется подчеркнуть, что каким бы совершенным ни был математический язык, усиленный электронно-вычислительной техникой, он не порывает связей с многообразным “живым”, естественным языком. Мало того, разговорный язык является базой языка искусственного. В этом отношении представляет интерес недавнее открытие ученых. Речь идет о том, что древний язык индейцев аймара, на котором говорят примерно 2,5 миллиона человек в Боливии и Перу, оказался в высшей степени удобным для компьютерной техники. Еще в 1610 г. итальянский миссионер-иезуит Людовико Бертони, составивший первый словарь аймара, отмечал гениальность его создателей, добившихся высокой логической чистоты. В аймара, например, не существует неправильных глаголов и никаких исключений из немногих четких грамматических правил. Эти особенности языка аймара позволили боливийскому математику Айвану Гусману де Рохас создать систему синхронного компьютерного перевода с любого из пяти заложенных в программу европейских языков, “мостиком” между которыми служит язык аймара. ЭВМ “Аймара”, созданная боливийским ученым, получила высокую оценку специалистов. Резюмируя эту часть вопроса о сущности математического стиля мышления, следует отметить, что его основным содержанием является понимание природы

Список литературы

1. Гильде В. Зеркальный мир. — М., Мир, 2007. – 255 с.

2. Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

3. Информационная безопасность. Под ред. М.А.Вуса. – С-Пб.: Изд-во СПбГУ, 2006. – 201 с.

4. История математики. Под ред. А.П.Юшкевича. Т. 1-3. — М., Наука, 2007. – 512 с.

5. Колмогоров А.Н. Математика в ее историческом развитии. — М., Наука, 2005. – 325 с.

6. Курант Р., Роббинс Г. Что такое математика? — М., Просвещение, 2007. – 190 с.

7. Пойа Д. Математика и правдоподобные рассуждения. — М., Наука, 2005. – 178 с.

8. Пойа Д. Математическое открытие. — М., Наука, 2007. – 213 с.

9. Стройк Д.Я. Краткий очерк истории математики. — М., Физматлит, 2007. – 346 с.

10. Фор Р., Кофман А., Дени-Папен М. Современная математика. — М., Мир, 2006. – 311 с.

11. Шикин Е.В., Шикина Г.Е. Гуманитариям о математике. — М., АГАР, 2007. – 170 с.

12. Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. — СПб., РХГИ. 2008. – 244 с.

[1] Гильде В. Зеркальный мир. — М., Мир, 2007. – 255 с.

[2] Курант Р., Роббинс Г. Что такое математика? — М., Просвещение, 2007. – 190 с.

[3] Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

[4] Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

[5] Гнеденко Б.В. Математика и математическое образование в современном мире. — М., Просвещение, 2005. – 177 с.

[6] Пойа Д. Математика и правдоподобные рассуждения. — М., Наука, 2005. – 178 с.

[7] Курант Р., Роббинс Г. Что такое математика? — М., Просвещение, 2007. – 190 с.

[8] Фор Р., Кофман А., Дени-Папен М. Современная математика. — М., Мир, 2006. – 311 с.

[9] Фор Р., Кофман А., Дени-Папен М. Современная математика. — М., Мир, 2006. – 311 с.

[10] Гильде В. Зеркальный мир. — М., Мир, 2007. – 255 с.

[11] Стили в математике: социокультурная философия математики.//Под ред. А.Г. Барабашева. — СПб., РХГИ. 2008. – 244 с.

www.ronl.ru


Смотрите также

 

..:::Новинки:::..

Windows Commander 5.11 Свежая версия.

Новая версия
IrfanView 3.75 (рус)

Обновление текстового редактора TextEd, уже 1.75a

System mechanic 3.7f
Новая версия

Обновление плагинов для WC, смотрим :-)

Весь Winamp
Посетите новый сайт.

WinRaR 3.00
Релиз уже здесь

PowerDesk 4.0 free
Просто - напросто сильный upgrade проводника.

..:::Счетчики:::..

 

     

 

 

.