Обзор математики
(NZ) Если математика – царица наук, то эзотерика ее мать-королева. И это верно, ведь математика зародилась в лоне тайных знаний. И сейчас старушке-эзотерике есть чему поучиться у нее. Ученик должен освоить метод формализации своих мыслей и четкую логику рассуждений. Мыслить он может, как ему нравится, т.е. эвристически, но облекать свои выводы в их конечной форме надо правильно. Иначе его мировоззрение будет больше походить на мусорник с вкраплениями бриллиантов. Еще отметим, что строение и развитие математического знания является практической базой для выводов на тему всеобщих законов эволюции.
Математика
(материал из Википедии)
Матема́тика (от др.-греч. μάθημα — изучение, наука) — наука о структурах, порядке и отношениях, которая исторически сложилась на основе операций подсчёта, измерения и описания форм реальных объектов. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке. Математика не относится к естественным наукам, но широко используется в них как для точной формулировки их содержания, так и для получения новых результатов. Математика — фундаментальная наука, предоставляющая (общие) языковые средства другим наукам; тем самым она выявляет их структурную взаимосвязь и способствует нахождению самых общих законов природы.
Основные сведения
Идеализированные свойства исследуемых объектов либо формулируются в виде аксиом, либо перечисляются в определении соответствующих математических объектов. Затем по строгим правилам логического вывода из этих свойств выводятся другие истинные свойства (теоремы). Эта теория в совокупности образует математическую модель исследуемого объекта. Т.о. первоначально, исходя из пространственных и количественных соотношений, математика получает более абстрактные соотношения, изучение которых также является предметом современной математики.
Традиционно математика делится на теоретическую, выполняющую углублённый анализ внутриматематических структур, и прикладную, предоставляющую свои модели другим наукам и инженерным дисциплинам, причём некоторые из них занимают пограничное с математикой положение. В частности, формальная логика может рассматриваться и как часть философских наук, и как часть математических наук; механика — и физика, и математика; информатика, компьютерные технологии и алгоритмика относятся как к инженерии, так и к математическим наукам и т. д. В литературе было предложено много различных определений математики (см. ниже).
Этимология
Слово «математика» произошло от др.-греч. μάθημα (máthēma), что означает изучение, знание, наука, и др.-греч.μαθηματικός (mathēmatikós), первоначально означающего восприимчивый, успевающий, позднее относящийся к изучению, впоследствии относящийся к математике. В частности, μαθηματικὴ τέχνη (mathēmatikḗ tékhnē), на латыни ars mathematica, означает искусство математики.
Определения
Одно из первых определений предмета математики дал Декарт:
К области математики относятся только те науки, в которых рассматривается либо порядок, либо мера и совершенно не существенно, будут ли это числа, фигуры, звёзды, звуки или что-нибудь другое, в чём отыскивается эта мера. Таким образом, должна существовать некая общая наука, объясняющая всё относящееся к порядку и мере, не входя в исследование никаких частных предметов, и эта наука должна называться не иностранным, но старым, уже вошедшим в употребление именем Всеобщей математики.
В советское время классическим считалось определение из БСЭ, данное А. Н. Колмогоровым:
Математика… наука о количественных отношениях и пространственных формах действительного мира.
Это определение Энгельса; правда, далее Колмогоров поясняет, что все использованные термины надо понимать в самом расширенном и абстрактном смысле.
Формулировка Бурбаки:
Сущность математики… представляется теперь как учение об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств,— именно тех, которые в качестве аксиом положены в основание теории… Математика есть набор абстрактных форм — математических структур.
Приведём ещё несколько современных определений.
Современная теоретическая («чистая») математика — это наука о математических структурах, математических инвариантах различных систем и процессов.
Математика — наука, предоставляющая возможность исчисления моделей, приводимых к стандартному (каноническому) виду. Наука о нахождении решений аналитических моделей (анализ) средствами формальных преобразований[10].
Герман Вейль пессимистически оценил возможность дать общепринятое определение предмета математики:
Вопрос об основаниях математики и о том, что представляет собой в конечном счёте математика, остаётся открытым. Мы не знаем какого-то направления, которое позволит в конце концов найти окончательный ответ на этот вопрос, и можно ли вообще ожидать, что подобный «окончательный» ответ будет когда-нибудь получен и признан всеми математиками.
«Математизирование» может остаться одним из проявлений творческой деятельности человека, подобно музицированию или литературному творчеству, ярким и самобытным, но прогнозирование его исторических судеб не поддаётся рационализации и не может быть объективным.
Разделы математики
1. Математика как учебная дисциплина подразделяется в Российской Федерации на элементарную математику, изучаемую в средней школе и образованную дисциплинами:
теория элементарных функций и элементы анализа
и высшую математику, изучаемую в ВУЗе. Дисциплины, входящие в состав высшей математики, варьируются в зависимости от специальности.
Программа обучения по специальности математика образована следующими учебными дисциплинами:
Уравнения с частными производными (вместо этого курса физикам читаются Методы математической физики)
Методы вычислений, то есть численные методы
2. Математика как специальность научных работников Министерством образования и науки Российской Федерации[13] подразделяется на специальности:
Дифференциальные уравнения, динамические системы и оптимальное управление
Дискретная математика и математическая кибернетика
Обозначения
Основная статья: Математические обозначения
Вследствие того, что математика работает с чрезвычайно разнообразными и довольно сложными структурами, система обозначений также очень сложна. Современная система записи формул сформировалась на основе европейской алгебраической традиции, а также математического анализа (понятия функции, производной и т.д.). Геометрия испокон века пользовалась наглядным (геометрическим же) представлением. В современной математике распространены также сложные графические системы записи (например, коммутативные диаграммы), нередко также применяются обозначения на основе графов.
Краткая история
Основная статья: История математики
Академиком А. Н. Колмогоровым предложена такая структура истории математики:
1. Период зарождения математики, на протяжении которого был накоплен достаточно большой фактический материал;
2. Период элементарной математики, начинающийся в VI—V веках до н. э. и завершающийся в конце XVI века («Запас понятий, с которыми имела дело математика до начала XVII века, составляет и до настоящего времени основу „элементарной математики“, преподаваемой в начальной и средней школе»);
3. Период математики переменных величин, охватывающий XVII—XVIII века, «который можно условно назвать также периодом „высшей математики“»;
4. Период современной математики — математики XIX—XX века, в ходе которого математикам пришлось «отнестись к процессу расширения предмета математических исследований сознательно, поставив перед собой задачу систематического изучения с достаточно общей точки зрения возможных типов количественных отношений и пространственных форм».
Развитие математики началось вместе с тем, как человек стал использовать абстракции сколько-нибудь высокого уровня. Простая абстракция — числа; осмысление того, что два яблока и два апельсина, несмотря на все их различия, имеют что-то общее, а именно занимают обе руки одного человека, — качественное достижение мышления человека. Кроме того, что древние люди узнали, как считать конкретные объекты, они также поняли, как вычислять и абстрактные количества, такие, как время: дни, сезоны, года. Из элементарного счёта естественным образом начала развиваться арифметика: сложение, вычитание, умножение и деление чисел.
Развитие математики опирается на письменность и умение записывать числа. Наверно, древние люди сначала выражали количество путём рисования чёрточек на земле или выцарапывали их на древесине. Древние инки, не имея иной системы письменности, представляли и сохраняли числовые данные, используя сложную систему верёвочных узлов, так называемые кипу. Существовало множество различных систем счисления. Первые известные записи чисел были найдены в папирусе Ахмеса, созданном египтянами Среднего царства. Индская цивилизация разработала современную десятичную систему счисления, включающую концепцию нуля.
Исторически основные математические дисциплины появились под воздействием необходимости вести расчёты в коммерческой сфере, при измерении земель и для предсказания астрономических явлений и, позже, для решения новых физических задач. Каждая из этих сфер играет большую роль в широком развитии математики, заключающемся в изучении структур, пространств и изменений.
Философия математики
Основная статья: Философия математики
Цели и методы
Математика изучает воображаемые, идеальные объекты и соотношения между ними, используя формальный язык. В общем случае математические понятия и теоремы не обязательно имеют соответствие чему-либо в физическом мире. Главная задача прикладного раздела математики — создать математическую модель, достаточно адекватную исследуемому реальному объекту. Задача математика-теоретика — обеспечить достаточный набор удобных средств для достижения этой цели.
Содержание математики можно определить как систему математических моделей и инструментов для их создания. Модель Абстракция и установление связей между объектами в самом общем виде — одно из главных направлений математического творчества. объекта учитывает не все его черты, а только самые необходимые для целей изучения (идеализированные). Например, изучая физические свойства апельсина, мы можем абстрагироваться от его цвета и вкуса и представить его (пусть не идеально точно) шаром. Если же нам надо понять, сколько апельсинов получится, если мы сложим вместе два и три, — то можно абстрагироваться и от формы, оставив у модели только одну характеристику — количество.
Другое направление, наряду с абстрагированием — обобщение. Например, обобщая понятие «пространство» до пространства n-измерений. «Пространство, при n > 3 является математической выдумкой. Впрочем, весьма гениальной выдумкой, которая помогает математически разбираться в сложных явлениях».
Изучение внутриматематических объектов, как правило, происходит при помощи аксиоматического метода: сначала для исследуемых объектов формулируются список основных понятий и аксиом, а затем из аксиом с помощью правил выводатеоремы, в совокупности образующие математическую модель. получают содержательные
Основания
Вопрос сущности и оснований математики обсуждался со времён Платона. Начиная с XX века наблюдается сравнительное согласие в вопросе, что надлежит считать строгим математическим доказательством, однако отсутствует согласие в понимании того, что в математике считать изначально истинным. Отсюда вытекают разногласия как в вопросах аксиоматикилогических систем, которыми следует при доказательствах пользоваться. и взаимосвязи отраслей математики, так и в выборе
Помимо скептического, известны нижеперечисленные подходы к данному вопросу.
Теоретико-множественный подход
Основная статья: Теория множеств
Предлагается рассматривать все математические объекты в рамках теории множеств, чаще всего с аксиоматикой Цермело — Френкеля (хотя существует множество других, равносильных ей). Данный подход считается с середины XX века преобладающим, однако в действительности большинство математических работ не ставят задач перевести свои утверждения строго на язык теории множеств, а оперируют понятиями и фактами, установленными в некоторых областях математики. Таким образом, если в теории множеств будет обнаружено противоречие, это не повлечёт за собой обесценивание большинства результатов.
Логицизм
Основная статья: Логицизм
Данный подход предполагает строгую типизацию математических объектов. Многие парадоксы, избегаемые в теории множеств лишь путём специальных уловок, оказываются невозможными в принципе.
Формализм
Основная статья: Формализм (математика)
Данный подход предполагает изучение формальных систем на основе классической логики.
Интуиционизм
Основная статья: Интуиционизм
Интуиционизм предполагает в основании математики интуиционистскую логику, более ограниченную в средствах доказательства (но, как считается, и более надёжную). Интуиционизм отвергает доказательство от противного, многие неконструктивные доказательства становятся невозможными, а многие проблемы теории множеств — бессмысленными (неформализуемыми).
Конструктивная математика
Основная статья: Конструктивная математика
Конструктивная математика — близкое к интуиционизму течение в математике, изучающее конструктивные построения. Согласно критерию конструктивности — «существовать — значит быть построенным». Критерий конструктивности — более сильное требование, чем критерий непротиворечивости.
Основные темы
Числа
Понятие «число» первоначально относилось к натуральным числам. В дальнейшем оно было постепенно распространено на целые, рациональные, действительные, комплексные и другие числа.
Числа — Натуральные числа — Целые числа — Рациональные числа — Вещественные числа — Комплексные числа — Гиперкомплексные числа — Кватернионы — Октонионы — Седенионы — Гипервещественные числа — Сюрреальные числа — p-адические числа — Математические постоянные — Названия чисел — Бесконечность — Базы
Числовые системы:
Счётные
множества
Вещественные числа
и их расширения
Другие
числовые системы
См. также
Натуральные числа () • Целые () • Рациональные () • Алгебраические () • Вычислимые (англ.)
Вещественные () • Комплексные () • Кватернионы () • Числа Кэли (октавы, октонионы) () • Седенионы () • Процедура Кэли-Диксона (en) • Дуальные • Гиперкомплексные • Superreal number (англ.) • Hyperreal number (англ.) • Surreal number (англ.)
Кардинальные числа • Порядковые числа (трансфинитные, ординал) • p-адические • Супернатуральные числа
Двойные числа • Иррациональные числа • Трансцендентные • Числовой луч
Преобразования
Структуры
Теория множеств — Абстрактная алгебра — Теория групп — Алгебраические структуры — Алгебраическая геометрия — Теория чисел — Топология — Линейная алгебра — Универсальная алгебра — Теория категорий — Теория последовательностей
Пространственные отношения
Комбинаторика — Теория множеств — Теория решёток — Математическая логика — Теория вычислимости— Криптография — Теория функциональных систем — Теория графов — Теория алгоритмов — Логические исчисления — Информатика
Подробнее http://ru.wikipedia.org/wiki/%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0#.D0.A0.D0.B0.D0.B7.D0.B4.D0.B5.D0.BB.D1.8B_.D0.BC.D0.B0.D1.82.D0.B5.D0.BC.D0.B0.D1.82.D0.B8.D0.BA.D0.B8