Математика
Часть серии о | ||
Математика | ||
---|---|---|
Математический портал | ||
Математика — это область знаний , которая включает в себя темы чисел, формул и связанных с ними структур, форм и пространств, в которых они содержатся, а также величин и их изменений. Эти темы представлены в современной математике основными разделами теории чисел . [1] алгебра , [2] геометрия , [1] и анализ , [3] соответственно. Среди математиков нет общего согласия относительно общего определения их академической дисциплины .
Большая часть математической деятельности включает в себя открытие свойств абстрактных объектов и использование чистого разума для их доказательства . Эти объекты состоят либо из абстракций природы, либо — в современной математике — из сущностей, которые обладают определёнными свойствами, называемыми аксиомами . Доказательство к состоит из последовательности применений правил дедукции уже установленным результатам. Эти результаты включают ранее доказанные теоремы , аксиомы и — в случае абстрагирования от природы — некоторые основные свойства, которые считаются истинными отправными точками рассматриваемой теории. [4]
Математика важна в естественных науках , технике , медицине , финансах , информатике и социальных науках . Хотя математика широко используется для моделирования явлений, фундаментальные истины математики не зависят от каких-либо научных экспериментов. Некоторые области математики, такие как статистика и теория игр , развиваются в тесной связи со своими приложениями и часто группируются в рамках прикладной математики . Другие области развиваются независимо от какого-либо приложения (и поэтому называются чистой математикой ), но часто позже находят практическое применение. [5] [6]
Исторически концепция доказательства и связанная с ним математическая строгость впервые появились в греческой математике , особенно в «Началах» Евклида . [7] С самого начала математика в основном разделялась на геометрию и арифметику (манипуляции с натуральными числами и дробями ), вплоть до 16 и 17 веков, когда алгебра [а] и исчисление бесконечно малых были введены как новые области. С тех пор взаимодействие математических инноваций и научных открытий привело к соответствующему росту развития и того, и другого. [8] В конце XIX века фундаментальный кризис математики привел к систематизации аксиоматического метода . [9] что ознаменовало резкий рост числа математических направлений и областей их применения. Современная Предметная классификация математики насчитывает более шестидесяти областей математики первого уровня.
Этимология
Слово математика происходит от древнегреческого máthēma ( μάθημα ), что означает «то, что изучается». [10] «то, что познаешь», отсюда также «изучение» и «наука». Это слово стало иметь более узкое и более техническое значение «математического исследования» даже в классические времена . [б] Его прилагательное — mathēmatikós ( μαθηματικός ), что означает «связанный с обучением» или «прилежный», что в дальнейшем также стало означать «математический». [14] В частности, mathēmatikḗ tékhnē ( μαθαμητικὴ τέχνη ; латынь : ars mathematica ) означало «математическое искусство». [10]
Точно так же одна из двух основных школ пифагорейства была известна как математика (μαθηματικοί), что в то время означало «ученики», а не «математики» в современном смысле. Пифагорейцы, вероятно, были первыми, кто ограничил использование этого слова только изучением арифметики и геометрии. Ко времени Аристотеля (384–322 гг. до н. э.) это значение полностью утвердилось. [15]
На латыни и английском языке примерно до 1700 года термин «математика» чаще всего означал « астрологию » (или иногда « астрономию »), а не «математику»; значение постепенно изменилось на нынешнее примерно с 1500 по 1800 год. Это изменение привело к нескольким неправильным переводам: например, Святого Августина предупреждение о том, что христианам следует остерегаться mathematici , что означает «астрологи», иногда неправильно переводится как осуждение математиков. . [16]
Очевидная форма множественного числа в английском языке восходит к латинскому среднему множественному числу mathematica ( Cicero ), основанному на греческом множественном числе ta mathēmatiká ( τὰ μαθηματικά ) и примерно означает «все математические вещи», хотя вполне вероятно, что английский язык заимствовал только прилагательное математика ( al) и образовал существительное математика заново, по образцу физики и метафизики , унаследованному от греческого. [17] В английском языке существительное математика имеет глагол в единственном числе. Его часто сокращают до математики. [18] или, в Северной Америке, математика . [19]
Области математики
До эпохи Возрождения математика была разделена на две основные области: арифметику, касающуюся манипуляций с числами, и геометрию , касающуюся изучения форм. [20] Некоторые виды лженауки , такие как нумерология и астрология, тогда еще не были четко отделены от математики. [21]
В эпоху Возрождения появились еще два направления. Математическая запись привела к алгебре и манипулирования ими , которая, грубо говоря, состоит из изучения формул . Исчисление , состоящее из двух подполей: дифференциальное исчисление и интегральное исчисление , представляет собой изучение непрерывных функций , которые моделируют обычно нелинейные отношения между различными величинами, представленными переменными . Это разделение на четыре основные области – арифметику, геометрию, алгебру, исчисление. [22] – просуществовало до конца XIX века. Такие области, как небесная механика и механика твердого тела, тогда изучались математиками, но сейчас считаются принадлежащими физике. [23] Предмет комбинаторики изучался на протяжении большей части письменной истории, но не стал отдельной отраслью математики до семнадцатого века. [24]
В конце XIX века фундаментальный кризис математики и связанная с ним систематизация аксиоматического метода привели к взрыву новых областей математики. [25] [9] 2020 года Предметный классификатор математики содержит не менее шестидесяти трех областей первого уровня. [26] Некоторые из этих областей соответствуют старому разделу, как и в случае теории чисел (современное название высшей арифметики ) и геометрии. Некоторые другие области первого уровня имеют в своих названиях слово «геометрия» или по другим причинам обычно считаются частью геометрии. Алгебра и исчисление не относятся к областям первого уровня, а соответственно разделены на несколько областей первого уровня. Другие области первого уровня возникли в 20 веке или ранее не считались математикой, например математическая логика и основы . [27]
Теория чисел
Теория чисел началась с манипуляций с числами , то есть натуральными числами. и позже расширен до целых чисел и рациональные числа Теорию чисел когда-то называли арифметикой, но в настоящее время этот термин в основном используется для числовых вычислений . [28] Теория чисел восходит к древнему Вавилону и, возможно, к Китаю . Двумя выдающимися ранними теоретиками чисел были Евклид из Древней Греции и Диофант Александрийский. [29] Современное исследование теории чисел в ее абстрактной форме во многом приписывается Пьеру де Ферма и Леонарду Эйлеру . Эта область достигла полного развития благодаря вкладу Адриана-Мари Лежандра и Карла Фридриха Гаусса . [30]
Многие легко сформулированные числовые задачи имеют решения, требующие сложных методов, часто на основе математических методов. Ярким примером является Великая теорема Ферма . Эта гипотеза была высказана в 1637 году Пьером де Ферма, но доказана она была только в 1994 году Эндрю Уайлсом , который использовал такие инструменты, как теория схем из алгебраической геометрии , теория категорий и гомологическая алгебра . [31] Другим примером является гипотеза Гольдбаха , которая утверждает, что каждое четное целое число больше 2 является суммой двух простых чисел . Высказанная в 1742 году Кристианом Гольдбахом , она остается недоказанной, несмотря на значительные усилия. [32]
Теория чисел включает в себя несколько подразделов, включая аналитическую теорию чисел , теорию алгебраических чисел , геометрию чисел (методически-ориентированную), диофантовы уравнения и теорию трансцендентности (проблемно-ориентированную). [27]
Геометрия
Геометрия – один из древнейших разделов математики. Все началось с эмпирических рецептов форм, таких как линии , углы и круги , которые были разработаны в основном для нужд геодезии и архитектуры , но с тех пор распространились на многие другие области. [33]
Фундаментальным нововведением было введение древними греками концепции доказательств , которая требует, чтобы каждое утверждение было доказано . Например, недостаточно проверить путем измерения , что, скажем, две длины равны; их равенство должно быть доказано посредством рассуждений на основе ранее принятых результатов ( теорем ) и нескольких основных утверждений. Основные утверждения не подлежат доказательству, поскольку они самоочевидны ( постулаты ), либо являются частью определения предмета исследования ( аксиомы ). Этот принцип, лежащий в основе всей математики, был впервые разработан для геометрии и систематизирован Евклидом около 300 г. до н.э. в его книге «Начала» . [34] [35]
Результирующая евклидова геометрия — это изучение форм и их расположений, построенных из линий, плоскостей и кругов на евклидовой плоскости ( плоская геометрия ) и трёхмерном евклидовом пространстве . [с] [33]
Евклидова геометрия развивалась без изменения методов и масштабов до 17 века, когда Рене Декарт ввел то, что сейчас называется декартовыми координатами . Это представляло собой серьезное изменение парадигмы : вместо определения действительных чисел как длин отрезков линий (см. числовую линию ) это позволило представлять точки, используя их координаты , которые являются числами. Таким образом, алгебру (а позже и исчисление) можно использовать для решения геометрических задач. Геометрия была разделена на два новых подполя: синтетическую геометрию , которая использует чисто геометрические методы, и аналитическую геометрию , которая использует координаты системно. [36]
Аналитическая геометрия позволяет изучать кривые, не связанные с кругами и линиями. Такие кривые можно определить как графики функций , изучение которых привело к дифференциальной геометрии . Их также можно определить как неявные уравнения , часто полиномиальные уравнения (которые породили алгебраическую геометрию ). Аналитическая геометрия также позволяет рассматривать евклидовы пространства более трех измерений. [33]
В 19 веке математики открыли неевклидовы геометрии , которые не следуют постулату параллельности . Ставя под сомнение истинность этого постулата, это открытие рассматривалось как присоединение к парадоксу Рассела в раскрытии фундаментального кризиса математики . Этот аспект кризиса был решен путем систематизации аксиоматического метода и признания того, что истинность выбранных аксиом не является математической проблемой. [37] [9] В свою очередь, аксиоматический метод позволяет изучать различные геометрии, полученные либо путем изменения аксиом, либо путем рассмотрения свойств, не изменяющихся при конкретных преобразованиях пространства . [38]
Сегодняшние разделы геометрии включают: [27]
- Проективная геометрия , введенная в 16 веке Жираром Дезаргом , расширяет евклидову геометрию, добавляя точки на бесконечности , в которых пересекаются параллельные прямые . Это упрощает многие аспекты классической геометрии, объединяя подходы к пересекающимся и параллельным линиям.
- Аффинная геометрия , изучение свойств, относящихся к параллельности и независимых от понятия длины.
- Дифференциальная геометрия , изучение кривых, поверхностей и их обобщений, которые определяются с помощью дифференцируемых функций .
- Теория многообразия , изучение форм, которые не обязательно встроены в большее пространство.
- Риманова геометрия , исследование свойств расстояний в искривленных пространствах.
- Алгебраическая геометрия , изучение кривых, поверхностей и их обобщений, которые определяются с помощью полиномов .
- Топология , изучение свойств, сохраняющихся при непрерывных деформациях .
- Алгебраическая топология , применение в топологии алгебраических методов, главным образом гомологической алгебры .
- Дискретная геометрия , исследование конечных конфигураций в геометрии.
- Выпуклая геометрия , исследование выпуклых множеств , важность которого обусловлена его применением в оптимизации .
- Сложная геометрия , геометрия, полученная заменой действительных чисел комплексными числами .
Алгебра
Алгебра – это искусство работы с уравнениями и формулами. Диофант (3 век) и аль-Хорезми (9 век) были двумя главными предшественниками алгебры. [40] [41] Диофант решал некоторые уравнения, включающие неизвестные натуральные числа, выводя новые соотношения, пока не получил решение. [42] Аль-Хорезми представил систематические методы преобразования уравнений, такие как перемещение члена из одной части уравнения в другую. [43] Термин «алгебра» происходит от арабского слова «аль-джабр» , означающего «воссоединение сломанных частей», которое он использовал для обозначения одного из этих методов в названии своего основного трактата . [44] [45]
Алгебра стала отдельной областью только после Франсуа Вьета (1540–1603), который ввел использование переменных для представления неизвестных или неуказанных чисел. [46] Переменные позволяют математикам описывать операции, которые необходимо проделать с числами, представленными с помощью математических формул . [47]
До 19 века алгебра состояла в основном из изучения линейных уравнений (ныне линейная алгебра ) и полиномиальных уравнений с одним неизвестным , которые назывались алгебраическими уравнениями (термин используется до сих пор, хотя он может быть неоднозначным). В 19 веке математики начали использовать переменные для представления вещей, отличных от чисел (таких как матрицы , модульные целые числа и геометрические преобразования ), над которыми часто справедливы обобщения арифметических операций. [48] концепция алгебраической структуры К этому относится , состоящей из набора , элементы которого не определены, операций, действующих над элементами набора, и правил, которым должны следовать эти операции. Таким образом, сфера алгебры расширилась и включила изучение алгебраических структур. Этот объект алгебры был назван современной алгеброй или абстрактной алгеброй , как установлено влиянием и работами Эмми Нётер . [49]
Некоторые типы алгебраических структур обладают полезными и часто фундаментальными свойствами во многих областях математики. Их изучение стало автономными частями алгебры и включает: [27]
- теория групп ;
- теория поля ;
- векторные пространства , изучение которых по существу совпадает с изучением линейной алгебры ;
- теория колец ;
- коммутативная алгебра , которая изучает коммутативные кольца , включает изучение многочленов и является фундаментальной частью алгебраической геометрии ;
- гомологическая алгебра ;
- Алгебра Ли и теория групп Ли ;
- Булева алгебра , которая широко используется для изучения логической структуры компьютеров .
Изучение типов алгебраических структур как математических объектов — цель универсальной алгебры и теории категорий . [50] Последнее применимо к любой математической структуре (не только алгебраической). Изначально она была введена вместе с гомологической алгеброй для обеспечения алгебраического исследования неалгебраических объектов, таких как топологические пространства ; эта конкретная область применения называется алгебраической топологией . [51]
Расчет и анализ
Исчисление, ранее называвшееся исчислением бесконечно малых, было введено независимо и одновременно математиками 17-го века Ньютоном и Лейбницем . [52] По сути, это изучение взаимосвязей переменных, которые зависят друг от друга. Исчисление было расширено в 18 веке Эйлером с введением понятия функции и многими другими результатами. [53] В настоящее время «исчисление» относится главным образом к элементарной части этой теории, а «анализ» обычно используется для более сложных частей. [54]
Анализ далее подразделяется на реальный анализ , где переменные представляют собой действительные числа , и комплексный анализ , где переменные представляют собой комплексные числа . Анализ включает в себя множество подобластей, общих для других областей математики, в том числе: [27]
- Многомерное исчисление
- Функциональный анализ , где переменные представляют собой изменяющиеся функции;
- Интеграция , теория меры и теория потенциала , все они тесно связаны с теорией вероятностей в континууме ;
- Обыкновенные дифференциальные уравнения ;
- Уравнения в частных производных ;
- Численный анализ , в основном посвященный вычислению на компьютерах решений обыкновенных уравнений и уравнений в частных производных, возникающих во многих приложениях.
Дискретная математика
Дискретная математика, вообще говоря, представляет собой исследование отдельных исчисляемых математических объектов. Примером может служить набор всех целых чисел. [55] Поскольку объекты исследования здесь дискретны, методы исчисления и математического анализа напрямую не применяются. [д] Алгоритмы , особенно их реализация и вычислительная сложность , играют важную роль в дискретной математике. [56]
Теорема о четырех цветах и оптимальная упаковка сфер были двумя основными задачами дискретной математики, решенными во второй половине 20 века. [57] Проблема P и NP , которая остается открытой по сей день, также важна для дискретной математики, поскольку ее решение потенциально может повлиять на большое количество вычислительно сложных задач. [58]
Дискретная математика включает в себя: [27]
- Комбинаторика — искусство перечисления математических объектов, удовлетворяющих некоторым заданным ограничениям. Первоначально эти объекты были элементами или подмножествами данного множества ; это было распространено на различные объекты, что устанавливает прочную связь между комбинаторикой и другими частями дискретной математики. Например, дискретная геометрия включает в себя счет конфигураций геометрических фигур.
- Теория графов и гиперграфы
- Теория кодирования , включая коды с исправлением ошибок и часть криптографии.
- матроидов Теория
- Дискретная геометрия
- Дискретные распределения вероятностей
- Теория игр (хотя непрерывные игры изучаются и , но наиболее распространенные игры, такие как шахматы и покер, являются дискретными)
- Дискретная оптимизация , включая комбинаторную оптимизацию , целочисленное программирование , программирование в ограничениях.
Математическая логика и теория множеств
Два предмета — математическая логика и теория множеств — принадлежали математике с конца XIX века. [59] [60] До этого периода множества не считались математическими объектами, а логика , хотя и использовалась для математических доказательств, принадлежала философии и специально не изучалась математиками. [61]
До Кантором исследования бесконечных множеств математики неохотно рассматривали фактически бесконечные коллекции и считали бесконечность результатом бесконечного перечисления . Работа Кантора оскорбила многих математиков не только тем, что она рассматривала фактически бесконечные множества. [62] но показав, что это подразумевает разные размеры бесконечности, согласно диагональному аргументу Кантора . Это привело к спорам по поводу теории множеств Кантора . [63] В тот же период различные области математики пришли к выводу, что прежние интуитивные определения основных математических объектов недостаточны для обеспечения математической строгости . [64]
Это стало фундаментальным кризисом математики. [65] В конечном итоге проблема была решена в основной математике путем систематизации аксиоматического метода внутри формализованной теории множеств . Грубо говоря, каждый математический объект определяется совокупностью всех подобных объектов и свойствами, которыми эти объекты должны обладать. [25] Например, в арифметике Пеано натуральные числа определяются словами «ноль — это число», «каждое число имеет уникального преемника», «каждое число, кроме нуля, имеет уникального предшественника» и некоторыми правилами рассуждения. [66] Эта математическая абстракция от реальности воплощена в современной философии формализма , основанной Дэвидом Гильбертом около 1910 года. [67]
«Природа» объектов, определенных таким образом, — это философская проблема, которую математики оставляют философам, даже если многие математики имеют мнения об этой природе и используют свое мнение — иногда называемое «интуицией» — для руководства своими исследованиями и доказательствами. Подход позволяет рассматривать «логики» (то есть наборы разрешенных правил вывода), теоремы, доказательства и т. д. как математические объекты и доказывать теоремы о них. Например, теоремы Гёделя о неполноте , грубо говоря, утверждают, что в каждой непротиворечивой формальной системе , содержащей натуральные числа, существуют теоремы, которые истинны (что доказуемо в более сильной системе), но не доказуемы внутри системы. [68] Этот подход к основам математики был оспорен в первой половине 20-го века математиками во главе с Брауэром , который продвигал интуиционистскую логику , в которой явно отсутствует закон исключенного третьего . [69] [70]
Эти проблемы и дебаты привели к широкому расширению математической логики с такими подобластями, как теория моделей (моделирование некоторых логических теорий внутри других теорий), теория доказательств , теория типов , теория вычислимости и теория сложности вычислений . [27] Хотя эти аспекты математической логики были представлены до появления компьютеров , их использование в разработке компиляторов , сертификации программ , помощниках по доказательству и других аспектах информатики , в свою очередь, способствовало расширению этих логических теорий. [71]
Статистика и другие науки о принятии решений
Область статистики — это математическое приложение, которое используется для сбора и обработки выборок данных с использованием процедур, основанных на математических методах, особенно теории вероятностей . Статистики генерируют данные с помощью случайной выборки или рандомизированных экспериментов . [73]
Статистическая теория изучает проблемы принятия решений , такие как минимизация риска ( ожидаемых потерь ) статистического действия, например, использование процедуры , например, для оценки параметров , проверки гипотез и выбора лучшего . В этих традиционных областях математической статистики задача статистического принятия решения формулируется путем минимизации целевой функции , такой как ожидаемые потери или затраты , при определенных ограничениях. Например, разработка опроса часто предполагает минимизацию затрат на оценку среднего значения совокупности с заданным уровнем достоверности. [74] Из-за использования оптимизации математическая теория статистики пересекается с другими науками о принятии решений , такими как исследование операций , теория управления и математическая экономика . [75]
Вычислительная математика
Вычислительная математика — это изучение математических задач , которые обычно слишком велики для человеческих вычислительных возможностей. [76] [77] Численный анализ изучает методы решения задач анализа с использованием функционального анализа и теории приближений ; Численный анализ в широком смысле включает изучение аппроксимации и дискретизации с особым упором на ошибки округления . [78] Численный анализ и, в более широком смысле, научные вычисления также изучают неаналитические темы математической науки, особенно алгоритмических матриц и теорию графов . Другие области вычислительной математики включают компьютерную алгебру и символьные вычисления .
История
Древний
Помимо умения считать физические объекты, доисторические народы, возможно, также умели считать абстрактные величины, такие как время — дни, времена года или годы. [79] [80] Доказательства существования более сложной математики появляются только примерно в 3000 году до нашей эры , когда вавилоняне и египтяне начали использовать арифметику, алгебру и геометрию для налогообложения и других финансовых расчетов, для строительства и астрономии. [81] Самые старые математические тексты из Месопотамии и Египта датируются 2000–1800 годами до нашей эры. [82] Во многих ранних текстах упоминаются тройки Пифагора , и, как следствие, теорема Пифагора кажется самой древней и широко распространенной математической концепцией после основ арифметики и геометрии. Именно в вавилонской математике элементарная арифметика ( сложение , вычитание , умножение и деление впервые появляются в археологических записях ). Вавилоняне также владели системой разрядов и использовали шестидесятеричную систему счисления, которая используется до сих пор для измерения углов и времени. [83]
В VI веке до нашей эры греческая математика начала превращаться в отдельную дисциплину, и некоторые древние греки, такие как пифагорейцы, по-видимому, считали ее самостоятельным предметом. [84] Около 300 г. до н. э. Евклид организовал математическое знание посредством постулатов и первых принципов, которые превратились в аксиоматический метод, используемый сегодня в математике и состоящий из определения, аксиомы, теоремы и доказательства. [85] Его книга «Элементы » считается самым успешным и влиятельным учебником всех времен. [86] Величайшим математиком древности часто считают Архимеда ( ок. 287 – ок. 212 до н. э. ) из Сиракуз . [87] Он разработал формулы для расчета площади поверхности и объема тел вращения и использовал метод истощения для расчета площади под дугой параболы с суммированием бесконечного ряда , способом, не слишком отличающимся от современного исчисления. [88] Другими заметными достижениями греческой математики являются конические сечения ( Аполлоний Пергский , 3 век до н. э.), [89] тригонометрия ( Гиппарх Никейский , II век до н. э.), [90] и начало алгебры (Диофант, 3 век нашей эры). [91]
Индо -арабская система счисления и правила использования ее операций, используемые сегодня во всем мире, развивались в течение первого тысячелетия нашей эры в Индии и были переданы в западный мир через исламскую математику . [92] Другие известные достижения индийской математики включают современное определение и приближение синуса и косинуса , а также раннюю форму бесконечных рядов . [93] [94]
Средневековье и позже
Во время Золотого века ислама , особенно в IX и X веках, в математике произошло много важных инноваций, основанных на греческой математике. Наиболее заметным достижением исламской математики было развитие алгебры . Другие достижения исламского периода включают достижения в сферической тригонометрии и добавление десятичной точки в арабскую систему счисления. [95] Многие известные математики этого периода были персами, например , Аль-Хорезми , Омар Хайям и Шараф ад-Дин аль-Туси . [96] Греческие и арабские математические тексты, в свою очередь, были переведены на латынь в средние века и стали доступны в Европе. [97]
В период раннего Нового времени математика начала развиваться ускоренными темпами в Западной Европе благодаря инновациям, которые произвели революцию в математике, таким как введение переменных и символических обозначений ( Франсуа Вьета 1540–1603), введение логарифмов Джоном Нэпьером в 1614 г., что значительно упростило численные расчеты, особенно для астрономии и морской навигации , введение координат Рене Декартом (1596–1650) для сведения геометрии к алгебре и развитие исчисления Исааком Ньютоном (1643–1727) и Готфридом Лейбницем ( 1646–1716). Леонард Эйлер (1707–1783), крупнейший математик XVIII века, объединил эти нововведения в единый корпус с использованием стандартизированной терминологии и завершил их открытием и доказательством множества теорем. [98]
Возможно, выдающимся математиком XIX века был немецкий математик Карл Гаусс , внесший многочисленные вклады в такие области, как алгебра, анализ, дифференциальная геометрия , теория матриц , теория чисел и статистика . [99] В начале 20-го века Курт Гёдель изменил математику, опубликовав свои теоремы о неполноте, которые частично показывают, что любая непротиворечивая аксиоматическая система — если она достаточно мощна для описания арифметики — будет содержать истинные утверждения, которые невозможно доказать. [68]
произошло плодотворное взаимодействие Математика с тех пор значительно расширилась, и между математикой и наукой на благо обеих сторон. Математические открытия продолжают делаться и по сей день. По словам Михаила Б. Севрюка в январском выпуске Бюллетеня Американского математического общества за 2006 год : «Количество статей и книг, включенных в базу данных Mathematical Reviews с 1940 года (первого года работы MR), сейчас превышает 1,9. миллионов, и ежегодно в базу данных добавляется более 75 тысяч элементов. Подавляющее большинство работ в этом океане содержат новые математические теоремы и их доказательства». [100]
Символические обозначения и терминология
Математические обозначения широко используются в науке и технике представления сложных понятий и свойств для краткого, однозначного и точного . Эта нотация состоит из символов, используемых для представления операций , неуказанных чисел, отношений и любых других математических объектов, а затем их сборки в выражения и формулы. [101] Точнее, числа и другие математические объекты представлены символами, называемыми переменными, которые обычно представляют собой латинские или греческие буквы и часто включают индексы . Операции и отношения обычно представляются определенными символами или глифами . [102] например + ( плюс ), × ( умножение ), ( целое ), = ( равно ) и < ( меньше чем ). [103] Все эти символы обычно группируются по определенным правилам для формирования выражений и формул. [104] Обычно выражения и формулы не появляются отдельно, а включаются в предложения текущего языка, где выражения играют роль именной группы , а формулы — роль придаточных .
Математика разработала богатую терминологию, охватывающую широкий спектр областей, изучающих свойства различных абстрактных идеализированных объектов и способы их взаимодействия. Он основан на строгих определениях , которые обеспечивают стандартную основу для общения. Аксиома или постулат — это математическое утверждение, которое считается истинным без необходимости доказательства. Если математическое утверждение еще не доказано (или опровергнуто), оно называется гипотезой . Благодаря серии строгих аргументов с использованием дедуктивного рассуждения утверждение, которого доказана истинность , становится теоремой. Специальная теорема, которая в основном используется для доказательства другой теоремы, называется леммой . Доказанный пример, который является частью более общего открытия, называется следствием . [105]
Многочисленные технические термины, используемые в математике, представляют собой неологизмы , такие как полиномиал и гомеоморфизм . [106] Другие технические термины — это слова общего языка, которые используются в точном значении, которое может немного отличаться от их общего значения. Например, в математике « или » означает «один, другой или оба», тогда как в обычном языке оно либо двусмысленно, либо означает «один или другой, но не оба» (в математике последнее называется « исключительным »). или "). Наконец, многие математические термины являются обычными словами, которые используются с совершенно другим значением. [107] Это может привести к появлению предложений, которые являются правильными и истинными математическими утверждениями, но кажутся бессмысленными людям, не имеющим необходимого опыта. Например, «каждый свободный модуль плоский » и « поле всегда является кольцом ».
Связь с науками
Математика используется в большинстве наук для моделирования явлений, что затем позволяет делать прогнозы на основе экспериментальных законов. [108] Независимость математической истины от любых экспериментов подразумевает, что точность таких предсказаний зависит только от адекватности модели. [109] Неточные прогнозы вызваны не неверными математическими концепциями, а предполагают необходимость изменения используемой математической модели. [110] Например, прецессию перигелия Меркурия можно было объяснить только после появления , Эйнштейна общей теории относительности которая заменила закон тяготения Ньютона как лучшую математическую модель. [111]
До сих пор ведутся философские споры о том, является ли математика наукой. Однако на практике математиков обычно объединяют с учеными, а математика имеет много общего с физическими науками. Как и они, она фальсифицируема . В математике это означает, что если результат или теория неверны, это можно доказать, приведя контрпример . Как и в науке, теории и результаты (теоремы) часто получаются в результате экспериментов . [112] В математике экспериментирование может состоять из вычислений на выбранных примерах или изучения фигур или других представлений математических объектов (часто представлений разума без физической поддержки). Например, когда Гаусса спросили, как он пришел к своим теоремам, он однажды ответил: «durch planmässiges Tattonieren» (путем систематических экспериментов). [113] Однако некоторые авторы подчеркивают, что математика отличается от современного понятия науки тем, что не опирается на эмпирические данные. [114] [115] [116] [117]
Чистая и прикладная математика
До 19 века развитие математики на Западе было мотивировано главным образом потребностями техники и науки, и не было четкого различия между чистой и прикладной математикой. [118] Например, натуральные числа и арифметика были введены для нужд счета, а геометрия была мотивирована геодезией, архитектурой и астрономией. Позже Исаак Ньютон ввел исчисление бесконечно малых для объяснения движения планет с помощью своего закона гравитации. Более того, большинство математиков были также учёными, и многие учёные также были математиками. [119] Однако заметное исключение произошло с традицией чистой математики в Древней Греции . [120] Например, проблема факторизации целых чисел , восходящая к Евклиду в 300 году до нашей эры, не имела практического применения до ее использования в криптосистеме RSA , которая сейчас широко используется для безопасности компьютерных сетей . [121]
В XIX веке такие математики, как Карл Вейерштрасс и Рихард Дедекинд, все больше сосредоточивали свои исследования на внутренних проблемах, то есть на чистой математике . [118] [122] Это привело к разделению математики на чистую математику и прикладную математику , причем последняя часто считается имеющей меньшую ценность среди математических пуристов. Однако границы между ними часто размыты. [123]
Последствия Второй мировой войны привели к всплеску развития прикладной математики в США и других странах. [124] [125] Многие из теорий, разработанных для приложений, оказались интересными с точки зрения чистой математики, и было показано, что многие результаты чистой математики имеют приложения за пределами математики; в свою очередь, изучение этих приложений может дать новое понимание «чистой теории». [126] [127]
Примером первого случая является теория распределений , введенная Лораном Шварцем для проверки вычислений, выполненных в квантовой механике , которая сразу же стала важным инструментом (чистого) математического анализа. [128] Примером второго случая является разрешимость теории действительных чисел первого порядка , проблемы чистой математики, истинность которой доказал Альфред Тарский , с алгоритмом, который невозможно реализовать из-за слишком высокой вычислительной сложности. высокий. [129] Чтобы получить алгоритм, который можно реализовать и решать системы полиномиальных уравнений и неравенств, Джордж Коллинз ввел цилиндрическое алгебраическое разложение , которое стало фундаментальным инструментом в реальной алгебраической геометрии . [130]
В настоящее время различие между чистой и прикладной математикой является скорее вопросом личных исследовательских целей математиков, чем разделение математики на широкие области. [131] [132] В Предметной классификации математики есть раздел «Общая прикладная математика», но не упоминается «чистая математика». [27] Однако эти термины до сих пор используются в названиях некоторых факультетов университета , например, на математическом факультете университета Кембриджского .
Неоправданная эффективность
Необоснованная эффективность математики — это явление, которое было названо и впервые объяснено физиком Юджином Вигнером . [6] Дело в том, что многие математические теории (даже самые «чистые») имеют приложения за пределами своего первоначального объекта. Эти приложения могут совершенно выходить за рамки своей первоначальной области математики и могут касаться физических явлений, которые были совершенно неизвестны на момент появления математической теории. [133] Примеры неожиданных приложений математических теорий можно найти во многих областях математики.
Ярким примером является простая факторизация натуральных чисел, которая была открыта более чем за 2000 лет до ее повсеместного использования для безопасной интернет -связи посредством криптосистемы RSA . [134] Второй исторический пример — теория эллипсов . Они изучались древнегреческими математиками как конические сечения (т. е. пересечения конусов плоскостями). Почти 2000 лет спустя Иоганн Кеплер обнаружил, что траектории планет представляют собой эллипсы. [135]
В 19 веке внутреннее развитие геометрии (чистой математики) привело к определению и изучению неевклидовых геометрий, пространств размерности выше трёх и многообразий . В то время эти концепции казались совершенно оторванными от физической реальности, но в начале 20-го века Альберт Эйнштейн разработал теорию относительности , которая фундаментально использует эти концепции. В частности, пространство-время специальной теории относительности представляет собой неевклидово пространство четырехмерного измерения, а пространство-время общей теории относительности представляет собой (искривленное) многообразие четырехмерного измерения. [136] [137]
Поразительным аспектом взаимодействия математики и физики является то, что математика стимулирует исследования в области физики. Об этом свидетельствуют открытия позитрона и бариона . В обоих случаях уравнения теорий имели необъяснимые решения, что привело к предположению о существовании неизвестной частицы и поиску этих частиц. В обоих случаях эти частицы были открыты несколько лет спустя в результате конкретных экспериментов. [138] [139] [140]
Конкретные науки
Физика
Математика и физика влияли друг на друга в своей современной истории. Современная физика широко использует математику. [141] а также считается мотивацией крупных математических разработок. [142]
Вычисление
Вычислительная техника тесно связана с математикой во многих отношениях. [143] Теоретическая информатика считается математической по своей природе. [144] В коммуникационных технологиях применяются разделы математики, которые могут быть очень старыми (например, арифметика), особенно в отношении безопасности передачи, в криптографии и теории кодирования . Дискретная математика полезна во многих областях информатики, таких как теория сложности , теория информации и теория графов . [145] В 1998 году гипотеза Кеплера об упаковке сфер также была частично доказана с помощью компьютера. [146]
Биология и химия
Биология широко использует вероятность в таких областях, как экология и нейробиология . [147] Большинство дискуссий о вероятности сосредоточено на концепции эволюционной приспособленности . [147] Экология широко использует моделирование для моделирования динамики популяций . [147] [148] изучать экосистемы, такие как модель хищник-жертва, измерять распространение загрязнения, [149] или для оценки изменения климата. [150] Динамику популяции можно смоделировать с помощью связанных дифференциальных уравнений, таких как уравнения Лотки-Вольтерра . [151]
Статистическая проверка гипотез проводится на основе данных клинических испытаний, чтобы определить, работает ли новое лечение. [152] С начала 20-го века химия использовала компьютеры для моделирования молекул в трех измерениях. [153]
Науки о Земле
Структурная геология и климатология используют вероятностные модели для прогнозирования риска природных катастроф. [154] Точно так же метеорология , океанография и планетология также используют математику из-за интенсивного использования моделей. [155] [156] [157]
Социальные науки
Области математики, используемые в социальных науках, включают вероятность/статистику и дифференциальные уравнения. Они используются в лингвистике, экономике , социологии , [158] и психология . [159]
Часто фундаментальным постулатом математической экономики является постулат о рациональном индивидуальном деятеле – Homo Economicus ( букв. « экономический человек » ). [160] В этой модели человек стремится максимизировать свои собственные интересы . [160] и всегда делает оптимальный выбор, используя достоверную информацию . [161] Такой атомистический взгляд на экономику позволяет ей относительно легко математизировать свое мышление, поскольку отдельные расчеты трансформируются в математические расчеты. Такое математическое моделирование позволяет исследовать экономические механизмы. Некоторые отвергают или критикуют концепцию Homo Economicus . Экономисты отмечают, что реальные люди обладают ограниченной информацией, делают неверный выбор и заботятся о справедливости, альтруизме, а не только о личной выгоде. [162]
Без математического моделирования трудно выйти за рамки статистических наблюдений или непроверяемых предположений. Математическое моделирование позволяет экономистам создавать структурированные основы для проверки гипотез и анализа сложных взаимодействий. Модели обеспечивают ясность и точность, позволяя переводить теоретические концепции в количественные прогнозы, которые можно проверить на реальных данных. [163]
В начале 20 века появилась возможность выражать исторические движения в формулах. В 1922 году Николай Кондратьев обнаружил ~50-летний цикл Кондратьева , который объясняет фазы экономического роста или кризиса. [164] К концу XIX века математики распространили свой анализ на геополитику . [165] Питер Турчин разрабатывал клиодинамику с 1990-х годов. [166]
Математизация социальных наук сопряжена с риском. В скандальной книге «Модная чушь» (1997) Сокал и Брикмонт осудили необоснованное или оскорбительное использование научной терминологии, особенно из математики и физики, в социальных науках. [167] При изучении сложных систем (эволюция безработицы, делового капитала, демографическая эволюция населения и т. д.) используются математические знания. Однако выбор критериев подсчета, особенно по безработице, или моделей может быть спорным. [168] [169]
Связь с астрологией и эзотерикой
Некоторые известные математики также считаются известными астрологами; например, Птолемей , арабские астрономы, Региомант , Кардано , Кеплер или Джон Ди . В средние века астрология считалась наукой, включающей в себя математику. В своей энциклопедии Теодор Цвингер писал, что астрология — математическая наука, изучающая «активное движение тел при их воздействии на другие тела». Он оставил за математикой необходимость «с вероятностью рассчитать влияния [звезд]», чтобы предвидеть их «соединения и противостояния». [170] С 2023 года астрология больше не считается наукой. [171]
Философия
Реальность
Связь между математикой и материальной реальностью приводила к философским дебатам, по крайней мере, со времен Пифагора . Античный философ Платон утверждал, что абстракции, отражающие материальную реальность, сами по себе обладают реальностью, существующей вне пространства и времени. В результате философский взгляд на то, что математические объекты каким-то образом существуют сами по себе в абстракции, часто называют платонизмом . Независимо от возможных философских взглядов современных математиков в целом можно считать платонистами, поскольку они думают и говорят о своих объектах исследования как о реальных объектах. [172]
Арман Борель резюмировал этот взгляд на математическую реальность следующим образом и привел цитаты Г.Х. Харди , Шарля Эрмита , Анри Пуанкаре и Альберта Эйнштейна, подтверждающие его взгляды. [138]
Нечто становится объективным (в отличие от «субъективного»), как только мы убеждаемся, что оно существует в сознании других в той же форме, что и в нашем, и что мы можем думать об этом и обсуждать это вместе. [173] Поскольку язык математики настолько точен, он идеально подходит для определения понятий, по которым существует такой консенсус. По моему мнению, этого достаточно, чтобы дать нам ощущение объективного существования, реальности математики...
Тем не менее, платонизм и сопутствующие ему взгляды на абстракцию не объясняют необоснованную эффективность математики. [174]
Предлагаемые определения
Не существует общего согласия относительно определения математики или ее эпистемологического статуса , то есть ее места среди других видов человеческой деятельности. [175] [176] Очень многие профессиональные математики не интересуются определением математики или считают ее неопределимой. [175] Нет даже единого мнения о том, является ли математика искусством или наукой. [176] Некоторые просто говорят: «Математика – это то, чем занимаются математики». [175] Это имеет смысл, поскольку среди них существует твердое согласие относительно того, что является математикой, а что нет. Большинство предлагаемых определений пытаются определить математику по ее объекту изучения. [177]
Аристотель определил математику как «науку о количестве», и это определение преобладало до 18 века. Однако Аристотель также отметил, что сосредоточение внимания только на количестве не может отличать математику от таких наук, как физика; по его мнению, абстракция и изучение количества как свойства, «отдельного в мышлении» от реальных примеров, отличают математику. [178] В 19 веке, когда математики начали заниматься такими темами, как бесконечные множества, которые не имеют четкого отношения к физической реальности, было дано множество новых определений. [179] При большом количестве новых областей математики, появившихся с начала XX века и продолжающих появляться, определение математики этим объектом изучения становится невыполнимой задачей.
Другой подход к определению математики — использовать ее методы. Итак, область исследования можно квалифицировать как математику, как только можно доказать теоремы — утверждения, достоверность которых зависит от доказательства, то есть чисто логического вывода. [180] Другие придерживаются точки зрения, что математика — это исследование аксиоматической теории множеств, поскольку это исследование теперь является основополагающей дисциплиной для большей части современной математики. [181]
Строгость
Математические рассуждения требуют строгости . Это означает, что определения должны быть абсолютно однозначными, а доказательства должны быть сведены к последовательному применению правил вывода . [и] без всякого использования эмпирических данных и интуиции . [ф] [182] Строгое рассуждение не характерно только для математики, но в математике стандарты строгости намного выше, чем где-либо еще. Несмотря на математическую краткость , строгие доказательства могут потребовать сотен страниц, как, например, 255-страничная теорема Фейта-Томпсона . [г] Появление доказательств с помощью компьютера позволило еще больше расширить объем доказательств. [час] [183] Результатом этой тенденции является философия квазиэмпиристского доказательства , которое не может считаться непогрешимым, но с которым связана вероятность. [9]
Концепция строгости математики восходит к Древней Греции, где общество поощряло логические, дедуктивные рассуждения. Однако этот строгий подход, как правило, препятствует исследованию новых подходов, таких как иррациональные числа и концепции бесконечности. Метод демонстрации строгих доказательств был усовершенствован в шестнадцатом веке за счет использования символических обозначений. В 18 веке социальный переход привел к тому, что математики стали зарабатывать на жизнь преподаванием, что привело к более тщательному обдумыванию основных концепций математики. Это привело к более строгим подходам при переходе от геометрических методов к алгебраическим, а затем и арифметическим доказательствам. [9]
В конце XIX века оказалось, что определения основных понятий математики недостаточно точны, чтобы избежать парадоксов (неевклидовы геометрии и функция Вейерштрасса ) и противоречий (парадокс Рассела). Проблема была решена путем включения аксиом в аподиктические правила вывода математических теорий; повторное введение аксиоматического метода, впервые изобретенного древними греками. [9] В результате «строгость» больше не является актуальным понятием в математике, поскольку доказательство может быть либо правильным, либо ошибочным, а «строгое доказательство» — это просто плеоназм . Особая концепция строгости вступает в игру в социализированных аспектах доказательства, где оно может быть явно опровергнуто другими математиками. После того, как доказательство было принято в течение многих лет или даже десятилетий, его можно считать надежным. [184]
Тем не менее, концепция «строгости» может оставаться полезной для обучения новичков тому, что такое математическое доказательство. [185]
Обучение и практика
Образование
Математика обладает замечательной способностью преодолевать культурные границы и временные периоды. Как человеческая деятельность , практика математики имеет социальную сторону, которая включает в себя образование , карьеру , признание , популяризацию и так далее. В образовании математика является основной частью учебной программы и важным элементом академических дисциплин STEM . Выдающиеся карьеры для профессиональных математиков включают учителя или профессора математики, статистика , актуария , финансового аналитика , экономиста , бухгалтера , торговца сырьевыми товарами или компьютерного консультанта . [186]
Археологические данные показывают, что обучение математике происходило еще во втором тысячелетии до нашей эры в древней Вавилонии. [187] Сопоставимые доказательства были обнаружены в отношении обучения писцов математике на древнем Ближнем Востоке , а затем в греко-римском мире, начиная примерно с 300 г. до н.э. [188] Самый старый известный учебник математики — папирус Ринда , датированный ок. 1650 г. до н. э. , Египет. [189] Из-за нехватки книг математические учения в древней Индии передавались с использованием заученной устной традиции , начиная с ведического периода ( ок. 1500 – ок. 500 до н.э. ). [190] В императорском Китае во времена династии Тан (618–907 гг. Н. Э.) была принята учебная программа по математике для сдачи экзамена на государственную службу для поступления на государственную бюрократию. [191]
После Средневековья математическое образование в Европе предоставлялось религиозными школами как часть Квадривиума . Формальное обучение педагогике началось в школах иезуитов в 16 и 17 веках. Большая часть математической учебной программы оставалась на базовом и практическом уровне до девятнадцатого века, когда она начала процветать во Франции и Германии. Старейшим журналом, посвященным обучению математике, был L'Enseignement Mathématique , который начал публиковаться в 1899 году. [192] Западные достижения в области науки и техники привели к созданию централизованных систем образования во многих национальных государствах с математикой в качестве основного компонента — первоначально для ее военных приложений. [193] Хотя содержание курсов различается, в настоящее время почти во всех странах математика преподается студентам в течение значительного времени. [194]
В школьные годы математические способности и позитивные ожидания тесно связаны с карьерным интересом в этой области. Внешние факторы, такие как мотивация обратной связи со стороны учителей, родителей и групп сверстников, могут влиять на уровень интереса к математике. [195] У некоторых студентов, изучающих математику, могут возникнуть опасения или страх по поводу своей успеваемости по предмету. Это известно как математическая тревожность или математическая фобия и считается наиболее выраженным расстройством, влияющим на успеваемость. Математическая тревога может развиться из-за различных факторов, таких как отношение родителей и учителей, социальные стереотипы и личные качества. Помощь в противодействии тревоге может прийти за счет изменений в подходах к обучению, взаимодействия с родителями и учителями, а также путем индивидуального лечения. [196]
Психология (эстетика, творчество и интуиция)
Справедливость математической теоремы зависит только от строгости ее доказательства, которое теоретически может быть выполнено автоматически с помощью компьютерной программы . Это не означает, что в математической работе нет места творчеству. Напротив, многие важные математические результаты (теоремы) представляют собой решения проблем, которые не удалось решить другим математикам, и изобретение способа их решения может стать фундаментальным способом процесса решения. [197] [198] Крайним примером является теорема Апери : Роджер Апери предоставил только идеи для доказательства, а формальное доказательство было дано лишь несколько месяцев спустя тремя другими математиками. [199]
Творчество и строгость — не единственные психологические стороны деятельности математиков. Некоторые математики могут рассматривать свою деятельность как игру, точнее, как решение головоломок . [200] Этот аспект математической деятельности подчеркивается в развлекательной математике .
Математики могут найти в математике эстетическую ценность. Как и красоту , ее трудно определить, она обычно связана с элегантностью , которая включает в себя такие качества, как простота , симметрия , завершенность и общность. Г.Х. Харди в «Апологии математика» выразил убеждение, что эстетических соображений самих по себе достаточно, чтобы оправдать изучение чистой математики. Он также определил другие критерии, такие как значимость, неожиданность и неизбежность, которые способствуют математической эстетике. [201] Пауль Эрдеш выразил это мнение более иронично, говоря о «Книге», предполагаемом божественном собрании самых прекрасных доказательств. Книга « Доказательства из книги» , вышедшая в 1998 году и вдохновленная Эрдёшем, представляет собой сборник особенно кратких и откровенных математических аргументов. Некоторые примеры особенно элегантных результатов включают доказательство Евклида о том, что существует бесконечно много простых чисел, и быстрое преобразование Фурье для гармонического анализа . [202]
Некоторые считают, что считать математику наукой – значит преуменьшать ее художественность и историю в семи традиционных гуманитарных науках . [203] Одним из способов проявления этой разницы во взглядах являются философские дебаты о том, создаются ли математические результаты (как в искусстве) или открываются (как в науке). [138] Популярность развлекательной математики — еще один признак того удовольствия, которое многие получают от решения математических вопросов.
Культурное влияние
Художественное выражение
Ноты, которые хорошо звучат вместе для западного уха, — это звуки, основные частоты вибрации которых находятся в простых соотношениях. Например, октава удваивает частоту, а чистая квинта умножает ее на . [204] [205]
Люди, как и некоторые другие животные, считают симметричные узоры более красивыми. [206] Математически симметрии объекта образуют группу, известную как группа симметрии . [207] Например, группа, лежащая в основе зеркальной симметрии, представляет собой циклическую группу двух элементов: . Тест Роршаха — это фигура, инвариантная благодаря этой симметрии: [208] как и тела бабочек и животных в целом (по крайней мере, на поверхности). [209] Волны на морской поверхности обладают трансляционной симметрией: перемещение точки зрения на расстояние между гребнями волн не меняет взгляд на море. [210] Фракталы обладают самоподобием . [211] [212]
Популяризация
Популярная математика — это представление математики без технических терминов. [213] Изложение математики может быть трудным, поскольку широкая публика страдает от математической тревожности , а математические объекты очень абстрактны. [214] Однако популярные математические статьи могут преодолеть эту проблему, используя приложения или культурные связи. [215] Несмотря на это, математика редко становится темой популяризации в печатных или телевизионных СМИ.
Награды и призовые проблемы
Самая престижная награда в области математики — Медаль Филдса . [216] [217] учрежден в 1936 году и присуждается каждые четыре года (за исключением периода Второй мировой войны ) максимум четырем лицам. [218] [219] Она считается математическим эквивалентом Нобелевской премии . [219]
Другие престижные награды в области математики включают: [220]
- Премия Абеля , учреждена в 2002 году. [221] и впервые награжден в 2003 году [222]
- Медаль Черна за заслуги перед жизнью, учреждена в 2009 г. [223] и впервые награжден в 2010 году [224]
- Премия AMS Лероя П. Стила , вручается с 1970 года. [225]
- Премия Вольфа по математике , также за достижения в жизни, [226] учрежден в 1978 году [227]
Знаменитый список из 23 открытых задач , получивший название « Проблемы Гильберта », был составлен в 1900 году немецким математиком Давидом Гильбертом. [228] Этот список приобрел большую известность среди математиков. [229] и по крайней мере тринадцать проблем (в зависимости от того, как некоторые из них интерпретируются) были решены. [228]
Новый список из семи важных проблем, названный « Проблемы премии тысячелетия », был опубликован в 2000 году. Только одна из них, гипотеза Римана , дублирует одну из проблем Гильберта. Решение любой из этих проблем предполагает вознаграждение в 1 миллион долларов. [230] На сегодняшний день только одна из этих проблем — гипотеза Пуанкаре . решена [231]
См. также
Ссылки
Примечания
- ^ Здесь алгебра понимается в ее современном понимании, представляющем собой, грубо говоря, искусство манипулирования формулами .
- ↑ Это значение можно найти в «Государстве Платона» , книга 6, раздел 510c. [11] Однако Платон не использовал математическое слово; Аристотель так и сделал, комментируя это. [12] [ нужен лучший источник ] [13] [ нужен лучший источник ]
- ^ Сюда входят конические сечения , которые являются пересечениями круговых цилиндров и плоскостей.
- ^ Однако иногда используются некоторые продвинутые методы анализа; например, методы комплексного анализа, применяемые для генерации рядов .
- ^ Это не означает явного указания всех используемых правил вывода. Наоборот, это вообще невозможно без компьютеров и помощников по доказыванию . Даже при использовании этой современной технологии для написания подробного доказательства могут потребоваться годы человеческого труда.
- ^ Это не означает, что для выбора доказываемых теорем и их доказательства не нужны эмпирические данные и интуиция.
- ^ Это объем оригинальной статьи, не содержащей доказательств некоторых ранее опубликованных вспомогательных результатов. Книга, посвященная полному доказательству, насчитывает более 1000 страниц.
- ^ Чтобы считать надежными большие вычисления, происходящие в доказательстве, обычно требуется два вычисления с использованием независимого программного обеспечения.
Цитаты
- ^ Перейти обратно: а б «Математика (существительное)» . Оксфордский словарь английского языка . Издательство Оксфордского университета . Проверено 17 января 2024 г.
Наука о пространстве, числе, количестве и расположении, методы которой включают логические рассуждения и обычно использование символических обозначений и которая включает геометрию, арифметику, алгебру и анализ.
- ^ Колено, GT (1963). «Традиционная логика». Математическая логика и основы математики: вводный обзор . Компания Д. Ван Ностарда. п. 4. LCCN 62019535 . МР 0150021 . OCLC 792731 . S2CID 118005003 .
Математика… это просто изучение абстрактных структур или формальных закономерностей связности.
- ^ ЛаТорре, Дональд Р.; Кенелли, Джон В.; Рид, Ирис Б.; Карпентер, Лорел Р.; Харрис, Синтия Р.; Биггерс, Шерри (2008). «Модели и функции». Концепции исчисления: прикладной подход к математике изменений (4-е изд.). Компания Хоутон Миффлин . п. 2. ISBN 978-0-618-78983-2 . LCCN 2006935429 . OCLC 125397884 .
Исчисление — это изучение изменений: как меняются вещи и как быстро они меняются.
- ^ Иполито, Инес Вьегас (9–15 августа 2015 г.). «Абстрактное познание и природа математического доказательства». По-канциански — христианин; Миттерер, Йозеф ; Негес, Катарина (ред.). Реализм - Релятивизм - Конструктивизм: Материалы 38-го Международного симпозиума Витгенштейна [ Реализм - Релятивизм - Конструктивизм: Материалы 38-го Международного симпозиума Витгенштейна ] (PDF) (на немецком и английском языках). Том 23. Кирхберг-ам-Векзель, Австрия: Австрийское общество Людвига Витгенштейна. стр. 132–134. ISSN 1022-3398 . OCLC 236026294 . Архивировано (PDF) из оригинала 7 ноября 2022 г. Проверено 17 января 2024 г. ( в ResearchGate Архивировано 5 ноября 2022 года в Wayback Machine .
- ^ Петерсон 1988 , с. 12.
- ^ Перейти обратно: а б Вигнер, Юджин (1960). «Необоснованная эффективность математики в естественных науках» . Сообщения по чистой и прикладной математике . 13 (1): 1–14. Бибкод : 1960CPAM...13....1W . дои : 10.1002/cpa.3160130102 . S2CID 6112252 . Архивировано из оригинала 28 февраля 2011 года.
- ^ Мудро, Дэвид. «Влияние Евдокса на «Элементы» Евклида с внимательным взглядом на «Метод исчерпания» . Университет Джорджии . Архивировано из оригинала 1 июня 2019 года . Проверено 18 января 2024 г.
- ^ Александр, Амир (сентябрь 2011 г.). «Скелет в шкафу: должны ли историки науки заботиться об истории математики?». Исида . 102 (3): 475–480. дои : 10.1086/661620 . ISSN 0021-1753 . МР 2884913 . ПМИД 22073771 . S2CID 21629993 .
- ^ Перейти обратно: а б с д и ж Кляйнер, Израиль (декабрь 1991 г.). «Строгость и доказательство в математике: историческая перспектива». Журнал «Математика» . 64 (5). Тейлор и Фрэнсис, ООО: 291–314. дои : 10.1080/0025570X.1991.11977625 . eISSN 1930-0980 . ISSN 0025-570X . JSTOR 2690647 . LCCN 47003192 . МР 1141557 . OCLC 1756877 . S2CID 7787171 .
- ^ Перейти обратно: а б Харпер, Дуглас (28 марта 2019 г.). «Математический (сущ.)» . Интернет-словарь этимологии . Архивировано из оригинала 7 марта 2013 года . Проверено 25 января 2024 г.
- ^ Платон. Республика, Книга 6, Раздел 510c . Архивировано из оригинала 24 февраля 2021 года . Проверено 2 февраля 2024 г.
- ^ Лидделл, Генри Джордж ; Скотт, Роберт (1940). «μαθηματική» . Греко-английский лексикон . Кларендон Пресс . Проверено 2 февраля 2024 г.
- ^ Харпер, Дуглас (20 апреля 2022 г.). «Математика (н.)» . Интернет-словарь этимологии . Проверено 2 февраля 2024 г.
- ^ Харпер, Дуглас (22 декабря 2018 г.). «Математический (прил.)» . Интернет-словарь этимологии . Архивировано из оригинала 26 ноября 2022 года . Проверено 25 января 2024 г.
- ^ Перишо, Маргарет В. (весна 1965 г.). «Этимология математических терминов». Журнал Пи Му Эпсилон . 4 (2): 62–66. ISSN 0031-952X . JSTOR 24338341 . LCCN 58015848 . OCLC 1762376 .
- ^ Боас, Ральф П. (1995). «Что Августин не говорил о математиках». В Александрсоне, Джеральд Л.; Мюглер, Дейл Х. (ред.). Охота на львов и другие математические занятия: Сборник математики, стихов и рассказов . Математическая ассоциация Америки . п. 257. ИСБН 978-0-88385-323-8 . LCCN 94078313 . OCLC 633018890 .
- ^ Оксфордский словарь английской этимологии , Оксфордский словарь английского языка , подразделы «математика», «математика», «математика».
- ^ «Математика (существительное)» . Оксфордский словарь английского языка . Издательство Оксфордского университета . Проверено 25 января 2024 г.
- ^ «Математика (Существительное³)» . Оксфордский словарь английского языка . Издательство Оксфордского университета . Архивировано из оригинала 4 апреля 2020 года . Проверено 25 января 2024 г.
- ^ Белл, ET (1945) [1940]. «Генеральный проспект». Развитие математики (2-е изд.). Дуврские публикации. п. 3. ISBN 978-0-486-27239-9 . LCCN 45010599 . OCLC 523284 .
... математика дошла до наших дней благодаря двум основным потокам числа и формы. Первый увлекался арифметикой и алгеброй, второй — геометрией.
- ^ Тивари, Сарджу (1992). «Зеркало цивилизации». Математика в истории, культуре, философии и науке (1-е изд.). Нью-Дели, Индия: Публикации Mittal. п. 27. ISBN 978-81-7099-404-6 . LCCN 92909575 . OCLC 28115124 .
К сожалению, вместе с ней родились и два проклятия математики — нумерология и астрология, которые оказались более приемлемыми для масс, чем сама математика.
- ^ Рестиво, Сал (1992). «Математика с нуля». В Бунге, Марио (ред.). Математика в обществе и истории . Эпистема. Том. 20. Издательство Kluwer Academic Publishers . п. 14. ISBN 0-7923-1765-3 . LCCN 25709270 . OCLC 92013695 .
- ^ Муселяк, Дора (2022). Леонард Эйлер и основы небесной механики . История физики. Международное издательство Спрингер . дои : 10.1007/978-3-031-12322-1 . eISSN 2730-7557 . ISBN 978-3-031-12321-4 . ISSN 2730-7549 . OCLC 1332780664 . S2CID 253240718 .
- ^ Биггс, Нидерланды (май 1979 г.). «Корни комбинаторики» . История Математики . 6 (2): 109–136. дои : 10.1016/0315-0860(79)90074-0 . eISSN 1090-249X . ISSN 0315-0860 . LCCN 75642280 . ОСЛК 2240703 .
- ^ Перейти обратно: а б Уорнер, Эван. «Всплеск: фундаментальный кризис математики» (PDF) . Колумбийский университет . Архивировано из оригинала (PDF) 22 марта 2023 года . Проверено 3 февраля 2024 г.
- ^ Данн, Эдвард; Хулек, Клаус (март 2020 г.). «Классификация предметов по математике 2020» (PDF) . Уведомления Американского математического общества . 67 (3): 410–411. дои : 10.1090/noti2052 . eISSN 1088-9477 . ISSN 0002-9920 . LCCN sf77000404 . OCLC 1480366 . Архивировано (PDF) из оригинала 3 августа 2021 г. Проверено 3 февраля 2024 г.
Новый MSC содержит 63 двузначных классификации, 529 трехзначных классификаций и 6006 пятизначных классификаций.
- ^ Перейти обратно: а б с д и ж г час «MSC2020-Система предметной классификации математики» (PDF) . zbMath . Заместители редактора журналов Mathematical Reviews и zbMATH. Архивировано (PDF) оригинала 2 января 2024 г. Проверено 3 февраля 2024 г.
- ^ Левек, Уильям Дж . (1977). "Введение". Основы теории чисел . Издательская компания Аддисон-Уэсли . стр. 1–30. ISBN 0-201-04287-8 . LCCN 76055645 . ОСЛК 3519779 . S2CID 118560854 .
- ^ Голдман, Джей Р. (1998). «Отцы-основатели». Королева математики: исторически мотивированное руководство по теории чисел . Уэлсли, Массачусетс: АК Питерс. стр. 2–3. дои : 10.1201/9781439864623 . ISBN 1-56881-006-7 . ЛЦН 94020017 . OCLC 30437959 . S2CID 118934517 .
- ^ Вейль, Андре (1983). Теория чисел: подход через историю от Хаммурапи до Лежандра . Биркхойзер Бостон. стр. 2–3. дои : 10.1007/978-0-8176-4571-7 . ISBN 0-8176-3141-0 . LCCN 83011857 . OCLC 9576587 . S2CID 117789303 .
- ^ Кляйнер, Израиль (март 2000 г.). «От Ферма до Уайлса: Последняя теорема Ферма становится теоремой» . Элементы математики . 55 (1): 19–37. дои : 10.1007/PL00000079 . eISSN 1420-8962 . ISSN 0013-6018 . LCCN 66083524 . ОСЛК 1567783 . S2CID 53319514 .
- ^ Ван, Юань (2002). Гипотеза Гольдбаха . Серия по чистой математике. Том. 4 (2-е изд.). Всемирная научная . стр. 1–18. дои : 10.1142/5096 . ISBN 981-238-159-7 . LCCN 2003268597 . OCLC 51533750 . S2CID 14555830 .
- ^ Перейти обратно: а б с Страуме, Эльдар (4 сентября 2014 г.). «Обзор развития геометрии до 1870 года». arXiv : 1409.1140 [ math.HO ].
- ^ Гильберт, Дэвид (1902). Основы геометрии . Издательская компания «Открытый суд» . п. 1. дои : 10.1126/science.16.399.307 . LCCN 02019303 . OCLC 996838 . S2CID 238499430 . Проверено 6 февраля 2024 г.
- ^ Хартшорн, Робин (2000). «Геометрия Евклида». Геометрия: Евклид и не только . Спрингер Нью-Йорк . стр. 9–13. ISBN 0-387-98650-2 . LCCN 99044789 . OCLC 42290188 . Проверено 7 февраля 2024 г.
- ^ Бойер, Карл Б. (2004) [1956]. «Ферма и Декарт». История аналитической геометрии . Дуврские публикации . стр. 74–102. ISBN 0-486-43832-5 . LCCN 2004056235 . OCLC 56317813 .
- ^ Стамп, Дэвид Дж. (1997). «Реконструкция единства математики около 1900 года» (PDF) . Перспективы науки . 5 (3): 383–417. дои : 10.1162/posc_a_00532 . eISSN 1530-9274 . ISSN 1063-6145 . LCCN 94657506 . ОСЛК 26085129 . S2CID 117709681 . Проверено 8 февраля 2024 г.
- ^ О'Коннор, Джей-Джей; Робертсон, EF (февраль 1996 г.). «Неевклидова геометрия» . МакТурор . Шотландия, Великобритания: Университет Сент-Эндрюс . Архивировано из оригинала 6 ноября 2022 года . Проверено 8 февраля 2024 г.
- ^ Джойнер, Дэвид (2008). «(Юридическая) группа по сборке кубика Рубика». Приключения в теории групп: кубик Рубика, машина Мерлина и другие математические игрушки (2-е изд.). Издательство Университета Джонса Хопкинса . стр. 219–232. ISBN 978-0-8018-9012-3 . LCCN 2008011322 . OCLC 213765703 .
- ^ Кристианидис, Жан; Оукс, Джеффри (май 2013 г.). «Практика алгебры в поздней античности: решение проблем Диофанта Александрийского» . История Математики . 40 (2): 127–163. дои : 10.1016/j.hm.2012.09.001 . eISSN 1090-249X . ISSN 0315-0860 . LCCN 75642280 . ОСЛК 2240703 . S2CID 121346342 .
- ^ Кляйнер 2007 , «История классической алгебры», стр. 3–5.
- ^ Шейн, Д. (2022). «Методист.edu» (PDF) . Методист . п. 11 . Проверено 1 июня 2024 г.
- ^ "al-khwa2.html" . www.ms.uky.edu . Проверено 1 июня 2024 г.
- ^ Лим, Лиза (21 декабря 2018 г.). «Откуда взялась буква x, которую мы используем в алгебре, и буква X в Рождество» . Южно-Китайская Морнинг Пост . Архивировано из оригинала 22 декабря 2018 года . Проверено 8 февраля 2024 г.
- ^ «Энциклопедия ислама три онлайн» . справочные материалы . Проверено 1 июня 2024 г.
- ^ Оукс, Джеффри А. (2018). «Революция Франсуа Вьета в алгебре» (PDF) . Архив истории точных наук . 72 (3): 245–302. дои : 10.1007/s00407-018-0208-0 . eISSN 1432-0657 . ISSN 0003-9519 . LCCN 63024699 . ОСЛК 1482042 . S2CID 125704699 . Архивировано (PDF) из оригинала 8 ноября 2022 г. Проверено 8 февраля 2024 г.
- ^ «Переменная по математике» . Гики для Гиков . 24 апреля 2024 г. . Проверено 1 июня 2024 г.
- ^ Кляйнер 2007 , «История линейной алгебры», стр. 79–101.
- ^ Корри, Лео (2004). «Эмми Нётер: идеалы и структуры». Современная алгебра и появление математических структур (2-е исправленное изд.). Германия: Биркхойзер Базель. стр. 247–252. ISBN 3-7643-7002-5 . LCCN 2004556211 . OCLC 51234417 . Проверено 8 февраля 2024 г.
- ^ Риш, Жак (2007). «От универсальной алгебры к универсальной логике». В Безио, JY; Коста-Лейте, Александр (ред.). Перспективы универсальной логики . Милан, Италия: Международное научное издательство Polimetrica. стр. 3–39. ISBN 978-88-7699-077-9 . OCLC 647049731 . Проверено 8 февраля 2024 г.
- ^ Кремер, Ральф (2007). Инструмент и объект: история и философия теории категорий . Научные сети - исторические исследования. Том. 32. Германия: Springer Science & Business Media . стр. XXI–XXV, 1–91. ISBN 978-3-7643-7523-2 . LCCN 2007920230 . OCLC 85242858 . Проверено 8 февраля 2024 г.
- ^ Гвиччардини, Никколо (2017). «Спор об исчислении Ньютона-Лейбница, 1708–1730» (PDF) . В Шлиссере, Эрик; Сминк, Крис (ред.). Оксфордский справочник Ньютона . Оксфордские справочники. Издательство Оксфордского университета . дои : 10.1093/oxfordhb/9780199930418.013.9 . ISBN 978-0-19-993041-8 . OCLC 975829354 . Архивировано (PDF) из оригинала 9 ноября 2022 г. Проверено 9 февраля 2024 г.
- ^ О'Коннор, Джей-Джей; Робертсон, EF (сентябрь 1998 г.). «Леонард Эйлер» . МакТьютор . Шотландия, Великобритания: Университет Сент-Эндрюс . Архивировано из оригинала 9 ноября 2022 года . Проверено 9 февраля 2024 г.
- ^ «Исчисление (Дифференциальное и интегральное исчисление с примерами)» . БИДЖУС . Проверено 1 июня 2024 г.
- ^ Франклин, Джеймс (июль 2017 г.). «Дискретное и непрерывное: фундаментальная дихотомия в математике» . Журнал гуманистической математики . 7 (2): 355–378. дои : 10.5642/jhummath.201702.18 . ISSN 2159-8118 . LCCN 2011202231 . OCLC 700943261 . S2CID 6945363 . Проверено 9 февраля 2024 г.
- ^ Маурер, Стивен Б. (1997). «Что такое дискретная математика? Множество ответов» . В Розенштейне, Джозеф Г.; Францблау, Дебора С.; Робертс, Фред С. (ред.). Дискретная математика в школе . DIMACS: Серия по дискретной математике и теоретической информатике. Том. 36. Американское математическое общество . стр. 121–124. дои : 10.1090/dimacs/036/13 . ISBN 0-8218-0448-0 . ISSN 1052-1798 . LCCN 97023277 . OCLC 37141146 . S2CID 67358543 . Проверено 9 февраля 2024 г.
- ^ Хейлз, Томас К. (2014). «Наследие Тьюринга: развитие идей Тьюринга в логике» . В Дауни, Род (ред.). Наследие Тьюринга . Конспект лекций по логике. Том. 42. Издательство Кембриджского университета . стр. 260–261. дои : 10.1017/CBO9781107338579.001 . ISBN 978-1-107-04348-0 . LCCN 2014000240 . OCLC 867717052 . S2CID 19315498 . Проверено 9 февраля 2024 г.
- ^ Сипсер, Майкл (июль 1992 г.). История и статус вопроса P и NP . STOC '92: Материалы двадцать четвертого ежегодного симпозиума ACM по теории вычислений. стр. 603–618. дои : 10.1145/129712.129771 . S2CID 11678884 .
- ^ Эвальд, Уильям (17 ноября 2018 г.). «Появление логики первого порядка» . Стэнфордская энциклопедия философии . Архивировано из оригинала 12 мая 2021 года . Проверено 2 ноября 2022 г.
- ^ Феррейрос, Хосе (18 июня 2020 г.). «Раннее развитие теории множеств» . Стэнфордская энциклопедия философии . Архивировано из оригинала 12 мая 2021 года . Проверено 2 ноября 2022 г.
- ^ Феррейрос, Хосе (2001). «Дорога к современной логике — интерпретация» (PDF) . Бюллетень символической логики . 7 (4): 441–484. дои : 10.2307/2687794 . hdl : 11441/38373 . JSTOR 2687794 . S2CID 43258676 . Архивировано (PDF) из оригинала 2 февраля 2023 г. Проверено 11 ноября 2022 г.
- ^ Волчовер, Натали (3 декабря 2013 г.). «Спор о бесконечности разделяет математиков» . Научный американец . Архивировано из оригинала 2 ноября 2022 года . Проверено 1 ноября 2022 г.
- ^ Чжуан, К. «Анализ Витгенштейна диагонального аргумента Кантора» . ФилАрхив . Проверено 18 ноября 2022 г.
- ^ Стэнли Тансуэлл, Феннер. Математическая строгость и неформальное доказательство . Распечатать. Элементы философии математики.
- ^ Авигад, Джереми ; Рек, Эрих Х. (11 декабря 2001 г.). « «Прояснение природы бесконечного»: развитие метаматематики и теории доказательств» (PDF) . Технический отчет Карнеги-Меллона CMU-PHIL-120 . Архивировано (PDF) оригинала 9 октября 2022 г. Проверено 12 ноября 2022 г.
- ^ Гамильтон, Алан Г. (1982). Числа, множества и аксиомы: аппарат математики . Издательство Кембриджского университета. стр. 3–4. ISBN 978-0-521-28761-6 . Проверено 12 ноября 2022 г.
- ^ Снаппер, Эрнст (сентябрь 1979 г.). «Три кризиса в математике: логицизм, интуиционизм и формализм». Журнал «Математика» . 52 (4): 207–216. дои : 10.2307/2689412 . JSTOR 2689412 .
- ^ Перейти обратно: а б Раатикайнен, Пану (октябрь 2005 г.). «О философском значении теорем Гёделя о неполноте» . Международное ревю философии . 59 (4): 513–534. дои : 10.3917/rip.234.0513 . JSTOR 23955909 . S2CID 52083793 . Архивировано из оригинала 12 ноября 2022 года . Проверено 12 ноября 2022 г.
- ^ Мошовакис, Джоан (4 сентября 2018 г.). «Интуиционистская логика» . Стэнфордская энциклопедия философии . Архивировано из оригинала 16 декабря 2022 года . Проверено 12 ноября 2022 г.
- ^ Маккарти, Чарльз (2006). «В основе анализа: интуиционизм и философия» . Философия науки, Cahier Special 6 : 81–94. doi : 10.4000/philosophiascientiae.411 .
- ^ Халперн, Джозеф ; Харпер, Роберт ; Иммерман, Нил ; Колайтис, Фокион ; Варди, Моше ; Виану, Виктор (2001). «О необычной эффективности логики в информатике» (PDF) . Архивировано (PDF) из оригинала 3 марта 2021 г. Проверено 15 января 2021 г.
- ^ Руо, Матье (апрель 2017 г.) [Впервые опубликовано в июле 2013 г.]. Вероятность, статистика и оценка (PDF) . п. 10. Архивировано (PDF) оригинала 9 октября 2022 г. Проверено 13 февраля 2024 г.
- ^ Рао, К. Радхакришна (1997) [1989]. Статистика и правда: использование шансов (2-е изд.). Всемирная научная. стр. 3–17, 63–70. ISBN 981-02-3111-3 . LCCN 97010349 . МР 1474730 . OCLC 36597731 .
- ^ Рао, К. Радхакришна (1981). «Предисловие» В Артханари, ТС; Додж, Ядола (ред.). Математическое программирование в статистике . Ряд Уайли по вероятности и математической статистике. Нью-Йорк: Уайли. стр. 100-1 vii-viii. ISBN 978-0-471-08073-2 . LCCN 80021637 . МР 0607328 . OCLC 6707805 .
- ^ Уиттл 1994 , стр. 10–11, 14–18.
- ^ Марчук Гурий Иванович (апрель 2020 г.). «Пленар Г.И. Марчука: ICM 1970» . МакТьютор . Школа математики и статистики, Университет Сент-Эндрюс, Шотландия. Архивировано из оригинала 13 ноября 2022 года . Проверено 13 ноября 2022 г.
- ^ Джонсон, Гэри М.; Каваллини, Джон С. (сентябрь 1991 г.). Фуа, Кан Хо; Ло, Киа Фок (ред.). Грандиозные задачи, высокопроизводительные вычисления и вычислительная наука . Сингапурская конференция по суперкомпьютерам'90: Суперкомпьютеры для стратегического преимущества. Всемирная научная. п. 28. LCCN 91018998 . Проверено 13 ноября 2022 г.
- ^ Трефетен, Ллойд Н. (2008). «Численный анализ». В Гауэрсе, Тимоти ; Барроу-Грин, июнь ; Лидер, Имре (ред.). Принстонский справочник по математике (PDF) . Издательство Принстонского университета . стр. 604–615. ISBN 978-0-691-11880-2 . LCCN 2008020450 . МР 2467561 . OCLC 227205932 . Архивировано (PDF) из оригинала 7 марта 2023 г. Проверено 15 февраля 2024 г.
- ^ См., например, Уайлдер, Раймонд Л. Эволюция математических концепций; Элементарное исследование . пассим.
- ^ Заславский, Клавдия (1999). Африка имеет значение: число и закономерности в африканской культуре . Чикаго Ревью Пресс. ISBN 978-1-61374-115-3 . OCLC 843204342 .
- ^ Клайн 1990 , Глава 1.
- ↑ Месопотамия , стр. 10. Проверено 1 июня 2024 г.
- ^ Бойер 1991 , «Месопотамия», стр. 24–27.
- ^ Хит, Томас Литтл (1981) [1921]. История греческой математики: от Фалеса до Евклида . Нью-Йорк: Dover Publications. п. 1. ISBN 978-0-486-24073-2 .
- ^ Мюллер, И. (1969). «Элементы Евклида и аксиоматический метод». Британский журнал философии науки . 20 (4): 289–309. дои : 10.1093/bjps/20.4.289 . ISSN 0007-0882 . JSTOR 686258 .
- ^ Бойер 1991 , «Евклид Александрийский», с. 119.
- ^ Бойер 1991 , «Архимед Сиракузский», с. 120.
- ^ Бойер 1991 , «Архимед Сиракузский», с. 130.
- ^ Бойер 1991 , «Аполлоний Пергский», с. 145.
- ^ Бойер 1991 , «Греческая тригонометрия и измерение», с. 162.
- ^ Бойер 1991 , «Возрождение и упадок греческой математики», с. 180.
- ^ Оре, Эйстейн (1988). Теория чисел и ее история . Курьерская корпорация. стр. 19–24. ISBN 978-0-486-65620-5 . Проверено 14 ноября 2022 г.
- ^ Сингх, А.Н. (январь 1936 г.). «Об использовании рядов в индуистской математике». Осирис . 1 : 606–628. дои : 10.1086/368443 . JSTOR 301627 . S2CID 144760421 .
- ^ Колачана, А.; Махеш, К.; Рамасубраманиан, К. (2019). «Использование сериалов в Индии». Исследования по индийской математике и астрономии . Источники и исследования по истории математики и физических наук. Сингапур: Спрингер. стр. 438–461. дои : 10.1007/978-981-13-7326-8_20 . ISBN 978-981-13-7325-1 . S2CID 190176726 .
- ^ Салиба, Джордж (1994). История арабской астрономии: планетарные теории в золотой век ислама . Издательство Нью-Йоркского университета. ISBN 978-0-8147-7962-0 . ОСЛК 28723059 .
- ^ Фаруки, Ясмин М. (2006). «Вклад исламских ученых в научное предприятие» . Международный образовательный журнал . 7 (4). Shannon Research Press: 391–399. Архивировано из оригинала 14 ноября 2022 года . Проверено 14 ноября 2022 г.
- ^ Лорх, Ричард (июнь 2001 г.). «Греко-арабско-латинский язык: передача математических текстов в средние века» (PDF) . Наука в контексте . 14 (1–2). Издательство Кембриджского университета: 313–331. дои : 10.1017/S0269889701000114 . S2CID 146539132 . Архивировано (PDF) из оригинала 17 декабря 2022 г. Проверено 5 декабря 2022 г.
- ^ Кент, Бенджамин. h[ttp://rguir.inflibnet.ac.in/bitstream/123456789/16963/1/9781984668677.pdf/ The History of Science] стр. 237. История науки . Том 2.
- ^ Арчибальд, Раймонд Клэр (январь 1949 г.). «История математики после шестнадцатого века». Американский математический ежемесячник . Часть 2: Очерк истории математики. 56 (1): 35–56. дои : 10.2307/2304570 . JSTOR 2304570 .
- ^ Севрюк 2006 , стр. 101–109.
- ^ Вольфрам, Стефан (октябрь 2000 г.). Математические обозначения: прошлое и будущее . MathML и математика в Интернете: Международная конференция MathML 2000, Урбана Шампейн, США. Архивировано из оригинала 16 ноября 2022 года . Проверено 3 февраля 2024 г.
- ^ Дуглас, Хизер; Хедли, Марсия Гейл; Хадден, Стефани; ЛеФевр, Жо-Анн (3 декабря 2020 г.). «Знание математических символов выходит за рамки чисел» . Журнал числового познания . 6 (3): 322–354. дои : 10.5964/jnc.v6i3.293 . eISSN 2363-8761 . S2CID 228085700 .
- ^ Летурно, Мэри; Райт Шарп, Дженнифер (октябрь 2017 г.). «Руководство по стилю AMS» (PDF) . Американское математическое общество . п. 75. Архивировано (PDF) из оригинала 8 декабря 2022 года . Проверено 3 февраля 2024 г.
- ^ Янсен, Энтони Р.; Марриотт, Ким; Йелланд, Грег В. (2000). «Структура составляющих математических выражений» (PDF) . Труды ежегодного собрания Общества когнитивных наук . 22 . Калифорнийский университет Мерсед . eISSN 1069-7977 . OCLC 68713073 . Архивировано (PDF) из оригинала 16 ноября 2022 г. Проверено 3 февраля 2024 г.
- ^ Росси, Ричард Дж. (2006). Теоремы, следствия, леммы и методы доказательства . Чистая и прикладная математика: серия текстов, монографий и трактатов Wiley. Джон Уайли и сыновья . стр. 1–14, 47–48. ISBN 978-0-470-04295-3 . LCCN 2006041609 . OCLC 64085024 .
- ^ «Самые ранние варианты использования некоторых математических слов» . МакТьютор . Шотландия, Великобритания: Университет Сент-Эндрюс . Архивировано из оригинала 29 сентября 2022 года . Проверено 3 февраля 2024 г.
- ^ Сильвер, Дэниел С. (ноябрь – декабрь 2017 г.). «Новый язык математики» . Американский учёный . 105 (6). Сигма Си : 364–371. дои : 10.1511/2017.105.6.364 . ISSN 0003-0996 . LCCN 43020253 . OCLC 1480717 . S2CID 125455764 .
- ^ Белломо, Никола; Прециози, Луиджи (22 декабря 1994 г.). Моделирование математических методов и научных вычислений . Математическое моделирование. Том. 1. ЦРК Пресс. п. 1. ISBN 978-0-8493-8331-1 . Проверено 16 ноября 2022 г.
- ^ Хенниг, Кристиан (2010). «Математические модели и реальность: конструктивистский взгляд» . Основы науки . 15 : 29–48. дои : 10.1007/s10699-009-9167-x . S2CID 6229200 . Проверено 17 ноября 2022 г.
- ^ Фригг, Роман ; Хартманн, Стефан (4 февраля 2020 г.). «Модели в науке» . Стэнфордская энциклопедия философии . Архивировано из оригинала 17 ноября 2022 года . Проверено 17 ноября 2022 г.
- ^ Стюарт, Ян (2018). «Математика, карты и модели» . В Вуппулури, Шьям; Дориа, Франсиско Антонио (ред.). Карта и территория: изучение основ науки, мысли и реальности . Коллекция «Границы». Спрингер. стр. 345–356. дои : 10.1007/978-3-319-72478-2_18 . ISBN 978-3-319-72478-2 . Проверено 17 ноября 2022 г.
- ^ «Примененный контрольный список по естественным наукам: Математика» . Понимание науки . Калифорнийский университет, Беркли. Архивировано из оригинала 27 октября 2019 года . Проверено 27 октября 2019 г.
- ^ Маккей, Алабама (1991). Словарь научных цитат . Лондон: Тейлор и Фрэнсис. п. 100. ИСБН 978-0-7503-0106-0 . Проверено 19 марта 2023 г.
- ^ Бишоп, Алан (1991). «Экологическая деятельность и математическая культура» . Математическая инкультурация: культурный взгляд на математическое образование . Норвелл, Массачусетс: Kluwer Academic Publishers. стр. 20–59. ISBN 978-0-7923-1270-3 . Проверено 5 апреля 2020 г.
- ^ Шаша, Деннис Эллиот ; Лазер, Кэти А. (1998). Они сошли с ума: жизнь и открытия 15 великих ученых-компьютерщиков . Спрингер. п. 228. ИСБН 978-0-387-98269-4 .
- ^ Никлс, Томас (2013). «Проблема демаркации». Философия лженауки: новый взгляд на проблему демаркации . Чикаго: Издательство Чикагского университета. п. 104. ИСБН 978-0-226-05182-6 .
- ^ Пильуччи, Массимо (2014). «Есть ли «другие» способы узнать?» . Философия сейчас . Архивировано из оригинала 13 мая 2020 года . Проверено 6 апреля 2020 г.
- ^ Перейти обратно: а б Феррейрос, Дж. (2007). «Возникновение чистой математики как арифметики с Гауссом » В Гольдштейне, Кэтрин ; Шаппахер, Норберт; Швермер, Иоахим (ред.). Формирование арифметики по мотивам «Disquisitiones Arithmeticae » К. Ф. Гаусса. Springer Science & Business Media. стр. 100-1 235–268. ISBN 978-3-540-34720-0 .
- ^ Кун, Томас С. (1976). «Математические и экспериментальные традиции в развитии физической науки». Журнал междисциплинарной истории . 7 (1). Массачусетский технологический институт: 1–31. дои : 10.2307/202372 . JSTOR 202372 .
- ^ Аспер, Маркус (2009). «Две математические культуры в Древней Греции» . В Робсоне, Элеонора; Стедалл, Жаклин (ред.). Оксфордский справочник по истории математики . Оксфордские справочники по математике. ОУП Оксфорд. стр. 107–132. ISBN 978-0-19-921312-2 . Проверено 18 ноября 2022 г.
- ^ Гозвами, Пинкимани; Сингх, Мадан Мохан (2019). «Проблема целочисленной факторизации». У Ахмада Халил; Доджа, Миннесота; Удзир, Нур Изура; Сингх, Ману Пратап (ред.). Новые алгоритмы и методы обеспечения безопасности . ЦРК Пресс. стр. 59–60. ISBN 978-0-8153-6145-9 . LCCN 2019010556 . OCLC 1082226900 .
- ^ Мэдди, П. (2008). «Как прикладная математика стала чистой» (PDF) . Обзор символической логики . 1 (1): 16–41. дои : 10.1017/S1755020308080027 . S2CID 18122406 . Архивировано (PDF) из оригинала 12 августа 2017 г. Проверено 19 ноября 2022 г.
- ^ Сильвер, Дэниел С. (2017). «В защиту чистой математики» . В Питичи, Мирча (ред.). Лучшее сочинение по математике, 2016 г. Издательство Принстонского университета. стр. 17–26. ISBN 978-0-691-17529-4 . Проверено 19 ноября 2022 г.
- ^ Паршалл, Карен Хангер (2022). «Американское математическое общество и прикладная математика с 1920-х по 1950-е годы: ревизионистский отчет» . Бюллетень Американского математического общества . 59 (3): 405–427. дои : 10.1090/bull/1754 . S2CID 249561106 . Архивировано из оригинала 20 ноября 2022 года . Проверено 20 ноября 2022 г.
- ^ Штольц, Майкл (2002). «История прикладной математики и история общества» . Синтезируйте . 133 : 43–57. дои : 10.1023/А:1020823608217 . S2CID 34271623 . Проверено 20 ноября 2022 г.
- ^ Лин, C.C. (март 1976 г.). «О роли прикладной математики» . Достижения в математике . 19 (3): 267–288. дои : 10.1016/0001-8708(76)90024-4 .
- ^ Перессини, Энтони (сентябрь 1999 г.). Применение чистой математики (PDF) . Философия науки. Материалы совещаний Ассоциации философии науки, проводимых раз в два года в 1998 году. Часть I: Предоставленные статьи. Том. 66. стр. С1–С13. JSTOR 188757 . Архивировано (PDF) оригинала 2 января 2024 г. Проверено 30 ноября 2022 г.
- ^ Лютцен, Дж. (2011). «Примеры и размышления о взаимодействии математики и физики в XIX и XX веках» . В Шлоте, КХ; Шнайдер, М. (ред.). Математика встречается с физикой: вклад в их взаимодействие в XIX и первой половине XX века . Франкфурт-на-Майне: Verlag Harri Deutsch. Архивировано из оригинала 23 марта 2023 года . Проверено 19 ноября 2022 г.
- ^ Маркер, Дэйв (июль 1996 г.). «Теория моделей и возведение в степень» . Уведомления Американского математического общества . 43 (7): 753–759. Архивировано из оригинала 13 марта 2014 года . Проверено 19 ноября 2022 г.
- ^ Чен, Чанбо; Маза, Марк Морено (август 2014 г.). Цилиндрическое алгебраическое разложение в библиотеке RegularChains . Международный конгресс по математическому программному обеспечению 2014. Конспекты лекций по информатике. Том. 8592. Берлин: Шпрингер. дои : 10.1007/978-3-662-44199-2_65 . Проверено 19 ноября 2022 г.
- ^ Перес-Эскобар, Хосе Антонио; Сарыкая, Дениз (2021). «Очищение прикладной математики и применение чистой математики: как поздняя точка зрения Витгенштейна проливает свет на дихотомию» . Европейский журнал философии науки . 12 (1): 1–22. дои : 10.1007/s13194-021-00435-9 . S2CID 245465895 .
- ^ Такасе, М. (2014). «Чистая математика и прикладная математика неразрывно переплетены: наблюдение раннего анализа бесконечности» . Математический подход к исследованию проблем науки и техники . Математика для промышленности. Том. 5. Токио: Спрингер. стр. 393–399. дои : 10.1007/978-4-431-55060-0_29 . ISBN 978-4-431-55059-4 . Проверено 20 ноября 2022 г.
- ^ Саруккай, Сундар (10 февраля 2005 г.). «Возвращение к« необоснованной эффективности »математики». Современная наука . 88 (3): 415–423. JSTOR 24110208 .
- ^ Вагстафф, Сэмюэл С. младший (2021). «История целочисленного факторинга» (PDF) . В Босе, Жоппе В.; Стам, Мартейн (ред.). Вычислительная криптография, алгоритмические аспекты криптографии, дань уважения AKL . Серия 469 лекций Лондонского математического общества. Издательство Кембриджского университета. стр. 41–77. Архивировано (PDF) из оригинала 20 ноября 2022 г. Проверено 20 ноября 2022 г.
- ^ «Кривые: Эллипс» . МакТьютор . Школа математики и статистики, Университет Сент-Эндрюс, Шотландия. Архивировано из оригинала 14 октября 2022 года . Проверено 20 ноября 2022 г.
- ^ Мукунтх, Васудеван (10 сентября 2015 г.). «За поверхностью теории относительности Эйнштейна лежит химерическая геометрия» . Проволока . Архивировано из оригинала 20 ноября 2022 года . Проверено 20 ноября 2022 г.
- ^ Уилсон, Эдвин Б.; Льюис, Гилберт Н. (ноябрь 1912 г.). «Пространственно-временное многообразие теории относительности. Неевклидова геометрия механики и электромагнетизма». Труды Американской академии искусств и наук . 48 (11): 389–507. дои : 10.2307/20022840 . JSTOR 20022840 .
- ^ Перейти обратно: а б с Борель, Арманд (1983). «Математика: искусство и наука» . Математический интеллект . 5 (4). Спрингер: 9–17. дои : 10.4171/news/103/8 . ISSN 1027-488X .
- ^ Хэнсон, Норвуд Рассел (ноябрь 1961 г.). «Открытие позитрона (I)». Британский журнал философии науки . 12 (47). Издательство Чикагского университета: 194–214. дои : 10.1093/bjps/xiii.49.54 . JSTOR 685207 .
- ^ Джинамми, Мишель (февраль 2016 г.). «Избежание овеществления: эвристическая эффективность математики и предсказание Ω – частица». Исследования по истории и философии науки. Часть B: Исследования по истории и философии современной физики . 53 : 20–27. Бибкод : 2016SHPMP..53...20G . doi : 10.1016/j.shpsb.2015.12.001 .
- ^ Ваг, Санджай Морешвар; Дешпанде, Дилип Абасахеб (27 сентября 2012 г.). Основы физики PHI Learning Pvt. ООО п. 3. ISBN 978-81-203-4642-0 . Проверено 3 января 2023 г.
- ^ Атья, Майкл (1990). О творчестве Эдварда Виттена (PDF) . Материалы Международного конгресса математиков. п. 31. Архивировано из оригинала (PDF) 28 сентября 2013 года . Проверено 29 декабря 2022 г.
- ^ «Курс 18C Математика с информатикой» . math.mit.edu . Проверено 1 июня 2024 г.
- ^ «Теоретическая информатика» . math.mit.edu . Проверено 1 июня 2024 г.
- ^ «Реальные применения дискретной математики» . Гики для Гиков . 8 апреля 2024 г. . Проверено 19 мая 2024 г.
- ^ Хейлз, Томас; Адамс, Марк; Бауэр, Гертруда; Данг, Тат Дат; Харрисон, Джон; Хоанг, Ле Труонг; Калишик, Цезарь; Магрон, Виктор; Маклафлин, Шон; Нгуен, Тат Тханг; Нгуен, Куанг Чыонг; Нипков, Тобиас; Обуа, Стивен; Плесо, Джозеф; Рут, Джейсон; Соловьев Алексей; Та, Тхи Хоай Ан; Тран, Нам Чунг; Трие, Ти Дьеп; Урбан, Йозеф; Ву, Кай; Цумкеллер, Роланд (2017). «Формальное доказательство гипотезы Кеплера» . Форум математики, Пи . 5 : е2. дои : 10.1017/fmp.2017.1 . hdl : 2066/176365 . ISSN 2050-5086 . S2CID 216912822 . Архивировано из оригинала 4 декабря 2020 года . Проверено 25 февраля 2023 г.
- ^ Перейти обратно: а б с Мильштейн, Роберта (8 сентября 2016 г.). «Вероятность в биологии: случай пригодности» (PDF) . В Хайеке, Алан; Хичкок, Кристофер (ред.). Оксфордский справочник по теории вероятностей и философии . стр. 601–622. дои : 10.1093/oxfordhb/9780199607617.013.27 . Архивировано (PDF) из оригинала 7 марта 2023 г. Проверено 29 декабря 2022 г.
- ^ См., например, Анн Лоран, Ролан Гамет, Жером Пантель, Новые тенденции в моделировании окружающей среды, материалы конгресса «Программа «Окружающая среда, жизнь и общество» , 15-17 января 1996 г., CNRS.
- ^ Берч 1999 , стр. 282–283.
- ^ Берч 1999 , с. 285.
- ^ «1.4: Модель Лотки-Вольтерры хищник-жертва» . Математика LibreTexts . 5 января 2022 года. Архивировано из оригинала 29 декабря 2022 года . Проверено 29 декабря 2022 г.
- ^ Зальсбург, Дэвид (17 августа 1992 г.). «Комментарий» (PDF) . ИСПОЛЬЗОВАНИЕ СТАТИСТИЧЕСКИХ МЕТОДОВ ПРИ АНАЛИЗЕ КЛИНИЧЕСКИХ ИССЛЕДОВАНИЙ . 46:17 .
- ^ «8». За пределами молекулярной границы: проблемы химии и химической инженерии . НАП.edu. 2003. стр. 71–73. дои : 10.17226/10633 . ISBN 978-0-309-16839-7 .
- ^ «Модели катастроф (Собственность)» . content.naic.org . Проверено 19 мая 2024 г.
- ^ «Очерк МАМ2001» . www2.amstat.org . Проверено 19 мая 2024 г.
- ^ Хилл, Муллика (7 сентября 2022 г.). «КАК МАТЕМАТИКА ИСПОЛЬЗУЕТСЯ В ПРОГНОЗЕ ПОГОДЫ» . www.mathnasium.com . Проверено 19 мая 2024 г.
- ^ «Использование математических моделей для исследования обитаемости планет» (PDF) . НАСА . Проверено 19 мая 2024 г.
- ^ Эдлинг, Кристофер Р. (2002). «Математика в социологии» . Ежегодный обзор социологии . 28 (1): 197–220. дои : 10.1146/annurev.soc.28.110601.140942 . ISSN 0360-0572 .
- ^ Батчелдер, Уильям Х. (1 января 2015 г.). «Математическая психология: История» . В Райте, Джеймс Д. (ред.). Международная энциклопедия социальных и поведенческих наук (второе издание) . Оксфорд: Эльзевир. стр. 808–815. ISBN 978-0-08-097087-5 . Проверено 30 сентября 2023 г.
- ^ Перейти обратно: а б Зак, Пол Дж. (2010). Моральные рынки: решающая роль ценностей в экономике . Издательство Принстонского университета. п. 158. ИСБН 978-1-4008-3736-6 . Проверено 3 января 2023 г.
- ^ https://web.stanford.edu/~jdlevin/Econ%20202/Choice%20Theory.pdf
- ^ https: // Economics.mit.edu/sites/default/files/2022-09/behavioral-development- Economics.pdf#: ~:text=URL%3A%20https%3A%2F%2F Economics.mit.edu% 2Fsites%2Fdefault%2Ffiles%2F2022
- ^ «Математика» . www.mdpi.com .
- ^ «Кондратьев Николай Дмитриевич | Энциклопедия.com» . www.энциклопедия.com . Архивировано из оригинала 1 июля 2016 года . Проверено 29 декабря 2022 г.
- ^ «Математика истории-геометрии и кинематики. Законы Брюка. Геодезическая хронология Библии. Шарля ЛАГРАНЖА и др. | Страница онлайн-книг» . onlinebooks.library.upenn.edu .
- ^ «Клиодинамика: наука о предсказании будущего» . ЗДНЕТ . Архивировано из оригинала 29 декабря 2022 года . Проверено 29 декабря 2022 г.
- ^ Сокал, Алан ; Жан Брикмон (1998). Модная ерунда . Нью-Йорк: Пикадор. ISBN 978-0-312-19545-8 . ОСЛК 39605994 .
- ^ «Вводящая в заблуждение статистика по безработице Байдена — FactCheck.org» .
- ^ «Современные макроэкономические модели как инструменты экономической политики | Федеральный резервный банк Миннеаполиса» . www.minneapolisfed.org .
- ^ Божуан, Гай (1994). Понимание и освоение природы в средние века: смеси истории наук, предложенные Ги Божуаном (на французском языке). Книжный магазин Дроз. п. 130. ИСБН 978-2-600-00040-6 . Проверено 3 января 2023 г.
- ^ «Астрология проверена: она не работает, она никогда не работала / Afis Science – Французская ассоциация научной информации» . Afis Science – Французская ассоциация научной информации (на французском языке). Архивировано из оригинала 29 января 2023 года . Проверено 28 декабря 2022 г.
- ^ Балагер, Марк (2016). «Платонизм в метафизике» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии (изд. весны 2016 г.). Лаборатория метафизических исследований Стэнфордского университета. Архивировано из оригинала 30 января 2022 года . Проверено 2 апреля 2022 г.
- ^ См. Уайт, Л. (1947). «Локус математической реальности: антропологическая сноска». Философия науки . 14 (4): 289–303. дои : 10.1086/286957 . S2CID 119887253 . 189303; также в Ньюман, младший (1956). Мир математики . Том. 4. Нью-Йорк: Саймон и Шустер. стр. 2348–2364.
- ^ Дорато, Мауро (2005). «Почему законы математические?» (PDF) . Программное обеспечение Вселенной. Введение в историю и философию законов природы . Эшгейт. стр. 31–66. ISBN 978-0-7546-3994-7 . Архивировано (PDF) из оригинала 17 августа 2023 г. Проверено 5 декабря 2022 г.
- ^ Перейти обратно: а б с Мура, Роберта (декабрь 1993 г.). «Образы математики, хранящиеся преподавателями математических наук университетов». Образовательные исследования по математике . 25 (4): 375–85. дои : 10.1007/BF01273907 . JSTOR 3482762 . S2CID 122351146 .
- ^ Перейти обратно: а б Тобис, Рената ; Нойнцерт, Хельмут (2012). Ирис Рунге: Жизнь на перекрестке математики, науки и промышленности . Спрингер. п. 9. ISBN 978-3-0348-0229-1 . Проверено 20 июня 2015 г.
[Сначала необходимо спросить, что подразумевается под математикой вообще. Прославленные учёные спорили по этому вопросу до посинения, но до сих пор не было достигнуто единого мнения относительно того, является ли математика естественной наукой, отраслью гуманитарных наук или формой искусства.
- ^ Циглер, Гюнтер М .; Лоос, Андреас (2 ноября 2017 г.). Кайзер, Г. (ред.). «Что такое математика?» и почему мы должны спрашивать, где этому можно научиться и научиться и как этому научить . Материалы 13-го Международного конгресса по математическому образованию. Монографии ICME-13. Спрингер. стр. 63–77. дои : 10.1007/978-3-319-62597-3_5 . ISBN 978-3-319-62596-6 .
- ^ Франклин, Джеймс (2009). Философия математики . Эльзевир. стр. 104–106. ISBN 978-0-08-093058-9 . Проверено 20 июня 2015 г.
- ^ Каджори, Флориан (1893). История математики . Американское математическое общество (переиздание 1991 г.). стр. 285–286. ISBN 978-0-8218-2102-2 . Проверено 20 июня 2015 г.
- ^ Браун, Рональд ; Портер, Тимоти (январь 2000 г.). «Методология математики» . Математический вестник . 79 (485): 321–334. дои : 10.2307/3618304 . JSTOR 3618304 . S2CID 178923299 . Архивировано из оригинала 23 марта 2023 года . Проверено 25 ноября 2022 г.
- ^ Штраус, Дэни (2011). «Определение математики» . Акта Академика . 43 (4): 1–28 . Проверено 25 ноября 2022 г.
- ^ Хамами, Яцин (июнь 2022 г.). «Математическая строгость и доказательство» (PDF) . Обзор символической логики . 15 (2): 409–449. дои : 10.1017/S1755020319000443 . S2CID 209980693 . Архивировано (PDF) оригинала 5 декабря 2022 г. Проверено 21 ноября 2022 г.
- ^ Петерсон 1988 , с. 4: «Некоторые жалуются, что компьютерную программу невозможно проверить должным образом». (со ссылкой на доказательство Хакена-Эппла теоремы о четырех цветах )
- ^ Перминов, В.Я. (1988). «О достоверности математических доказательств». Философия математики . 42 (167 (4)). Международное ревю философии: 500–508.
- ^ Дэвис, Джон Д.; Макдаффи, Эми Рот; Дрейк, Кори; Сейвелл, Аманда Л. (2019). «Восприятие учителей официальной учебной программы: решение проблем и строгость». Международный журнал исследований в области образования . 93 : 91–100. дои : 10.1016/j.ijer.2018.10.002 . S2CID 149753721 .
- ^ Эндсли, Кезия (2021). Математики и статистики: Практическое руководство по карьере . Практические руководства по карьере. Роуман и Литтлфилд. стр. 1–3. ISBN 978-1-5381-4517-3 . Проверено 29 ноября 2022 г.
- ^ Робсон, Элеонора (2009). «Математическое образование в старовавилонской школе писцов» . В Робсоне, Элеонора; Стедалл, Жаклин (ред.). Оксфордский справочник по истории математики . ОУП Оксфорд. ISBN 978-0-19-921312-2 . Проверено 24 ноября 2022 г.
- ^ Бернар, Ален; Пруст, Кристина ; Росс, Мика (2014). «Математическое образование в древности». В Карп А.; Шубринг, Г. (ред.). Справочник по истории математического образования . Нью-Йорк: Спрингер. стр. 27–53. дои : 10.1007/978-1-4614-9155-2_3 . ISBN 978-1-4614-9154-5 .
- ^ Дадли, Андервуд (апрель 2002 г.). «Первый в мире учебник математики». Математические горизонты . 9 (4). Тейлор и Фрэнсис, ООО: 8–11. дои : 10.1080/10724117.2002.11975154 . JSTOR 25678363 . S2CID 126067145 .
- ^ Субрамарян, Ф. Индийская педагогика и решение проблем в древнем Тамижакаме (PDF) . Конференция по истории и педагогике математики, 16–20 июля 2012 г. Архивировано (PDF) из оригинала 28 ноября 2022 г. . Проверено 29 ноября 2022 г.
- ^ Сиу, Ман Кеунг (2004). «Официальная учебная программа по математике в Древнем Китае: как кандидаты готовились к экзамену?». Как китайцы изучают математику (PDF) . Серия по математическому образованию. Том. 1. С. 157–185. дои : 10.1142/9789812562241_0006 . ISBN 978-981-256-014-8 . Проверено 26 ноября 2022 г.
- ^ Джонс, Филипп С. (1967). «История математического образования». Американский математический ежемесячник . 74 (1). Тейлор и Фрэнсис, ООО: 38–55. дои : 10.2307/2314867 . JSTOR 2314867 .
- ^ Шубринг, Герт; Фурингетти, Фульвия; Сиу, Ман Кеунг (август 2012 г.). «Введение: история преподавания математики. Индикаторы процессов модернизации в обществе» . ЗДМ Математическое образование . 44 (4): 457–459. дои : 10.1007/s11858-012-0445-7 . S2CID 145507519 .
- ^ фон Давьер, Матиас; Фой, Пьер; Мартин, Майкл О.; Муллис, Ина против (2020). «Изучение различий между странами eTIMSS между данными eTIMSS и данными моста: взгляд на эффекты режима администрирования на уровне страны». Международные результаты TIMSS 2019 по математике и естественным наукам (PDF) . Международный учебный центр TIMSS & PIRLS , Школа образования и развития человека Линча и Международная ассоциация оценки образовательных достижений . п. 13.1. ISBN 978-1-889938-54-7 . Архивировано (PDF) из оригинала 29 ноября 2022 г. Проверено 29 ноября 2022 г.
- ^ Роуэн-Кеньон, Хизер Т.; Свон, Эми К.; Крегер, Мари Ф. (март 2012 г.). «Социально-когнитивные факторы, поддержка и участие: математические интересы ранних подростков как предшественники выбора карьеры» (PDF) . Ежеквартальный журнал «Карьерный рост» . 60 (1): 2–15. дои : 10.1002/j.2161-0045.2012.00001.x . Архивировано (PDF) из оригинала 22 ноября 2023 г. . Проверено 29 ноября 2022 г.
- ^ Люттенбергер, Силке; Виммер, Сигрид; Пахтер, Мануэла (2018). «В центре внимания математическая тревога» . Психологические исследования и управление поведением . 11 : 311–322. дои : 10.2147/PRBM.S141421 . ПМК 6087017 . ПМИД 30123014 .
- ^ Яфтян, Наргес (2 июня 2015 г.). «Взгляд на творческие процессы математиков» . Procedia — Социальные и поведенческие науки . 191 : 2519–2525. дои : 10.1016/j.sbspro.2015.04.617 .
- ^ Наджафика, Мехди; Яфтян, Наргес (10 октября 2013 г.). «Фронт творчества и математического творчества» . Procedia — Социальные и поведенческие науки . 90 : 344–350. дои : 10.1016/j.sbspro.2013.07.101 .
- ^ ван дер Портен, А. (1979). «Доказательство, которое Эйлер пропустил... Доказательство Апери иррациональности ζ(3)» (PDF) . Математический интеллект . 1 (4): 195–203. дои : 10.1007/BF03028234 . S2CID 121589323 . Архивировано (PDF) из оригинала 6 сентября 2015 г. Проверено 22 ноября 2022 г.
- ^ Петкови, Предисловие (2 сентября 2009 г.). Знаменитые загадки великих математиков Американское математическое общество. стр. 100-1 xiii–xiv. ISBN 978-0-8218-4814-2 . Проверено 25 ноября 2022 г.
- ^ Харди, GH (1940). Извинения математика . Издательство Кембриджского университета. ISBN 978-0-521-42706-7 . Проверено 22 ноября 2022 г. См. также «Апология математика» .
- ^ Алон, Нога; Голдстон, Дэн; Саркози, Андраш; Сабадос, Джозеф; Тененбаум, Джеральд; Гарсия, Стефан Рамон; Шумейкер, Эми Л. (март 2015 г.). Аллади, Кришнасвами; Кранц, Стивен Г. (ред.). «Размышления о Поле Эрдеше по поводу столетия его рождения, часть II» . Уведомления Американского математического общества . 62 (3): 226–247. дои : 10.1090/noti1223 .
- ^ См., например, Бертрана Рассела «Математика, если ее правильно рассматривать, обладает не только истиной, но и высшей красотой…» в его утверждение История западной философии . 1919. с. 60.
- ^ Кэзден, Норман (октябрь 1959 г.). «Музыкальные интервалы и простые числовые соотношения». Журнал исследований в области музыкального образования . 7 (2): 197–220. дои : 10.1177/002242945900700205 . JSTOR 3344215 . S2CID 220636812 .
- ^ Бадден, Ф.Дж. (октябрь 1967 г.). «Современная математика и музыка». Математический вестник . 51 (377). Издательство Кембриджского университета ({CUP}): 204–215. дои : 10.2307/3613237 . JSTOR 3613237 . S2CID 126119711 .
- ^ Энквист, Магнус; Арак, Энтони (ноябрь 1994 г.). «Симметрия, красота и эволюция» . Природа . 372 (6502): 169–172. Бибкод : 1994Natur.372..169E . дои : 10.1038/372169a0 . ISSN 1476-4687 . ПМИД 7969448 . S2CID 4310147 . Архивировано из оригинала 28 декабря 2022 года . Проверено 29 декабря 2022 г.
- ^ Хестенес, Дэвид (1999). «Группы симметрии» (PDF) . geocalc.clas.asu.edu . Архивировано (PDF) из оригинала 1 января 2023 года . Проверено 29 декабря 2022 г.
- ^ Бендер, Сара (сентябрь 2020 г.). «Тест Роршаха». В Кардуччи, Бернардо Дж.; Нейв, Кристофер С.; Мио, Джеффри С.; Риджио, Рональд Э. (ред.). Энциклопедия личности и индивидуальных различий Wiley: измерение и оценка . Уайли. стр. 367–376. дои : 10.1002/9781119547167.ch131 . ISBN 978-1-119-05751-2 .
- ^ Вейль, Герман (2015). Симметрия . Принстонская научная библиотека. Том. 47. Издательство Принстонского университета. п. 4 . ISBN 978-1-4008-7434-7 .
- ^ «Лекция 8: Трансляционная симметрия | Физика III: Вибрации и волны | Физика» . MIT OpenCourseWare .
- ^ Брэдли, Ларри (2010). «Фракталы – хаос и фракталы» . www.stsci.edu . Архивировано из оригинала 7 марта 2023 года . Проверено 29 декабря 2022 г.
- ^ «Самоподобие» . math.bu.edu . Архивировано из оригинала 2 марта 2023 года . Проверено 29 декабря 2022 г.
- ^ Киссан, Барри (июль 2009 г.). Популярная математика . 22-я конференция Австралийской ассоциации учителей математики, проводимая раз в два года. Фримантл, Западная Австралия: Австралийская ассоциация учителей математики. стр. 125–126. Архивировано из оригинала 7 марта 2023 года . Проверено 29 декабря 2022 г.
- ^ Стин, Луизиана (2012). Математика сегодня. Двенадцать неформальных эссе . Springer Science & Business Media. п. 2. ISBN 978-1-4613-9435-8 . Проверено 3 января 2023 г.
- ^ Питичи, Мирча (2017). Лучшие сочинения по математике 2016 года . Издательство Принстонского университета. ISBN 978-1-4008-8560-2 . Проверено 3 января 2023 г.
- ^ Монастырский 2001 , с. 1: «Медаль Филдса сейчас, бесспорно, является самой известной и влиятельной наградой в области математики».
- ^ Рим 2002 , стр. 778–782.
- ^ «Медаль Филдса | Международный математический союз (IMU)» . www.mathunion.org . Архивировано из оригинала 26 декабря 2018 года . Проверено 21 февраля 2022 г.
- ^ Перейти обратно: а б «Медаль Филдса» . История математики . Архивировано из оригинала 22 марта 2019 года . Проверено 21 февраля 2022 г.
- ^ «Индекс почестей/премий» . MacTutor Архив истории математики . Архивировано из оригинала 17 декабря 2021 года . Проверено 20 февраля 2023 г.
- ^ «О Абелевской премии» . Абелевская премия. Архивировано из оригинала 14 апреля 2022 года . Проверено 23 января 2022 г.
- ^ «Премия Абеля | премия по математике» . Британская энциклопедия . Архивировано из оригинала 26 января 2020 года . Проверено 23 января 2022 г.
- ^ «Медаль Черна» (PDF) . www.mathunion.org . 1 июня 2009 г. Архивировано (PDF) из оригинала 17 июня 2009 г. . Проверено 21 февраля 2022 г.
- ^ «Медаль Черна» . Международный математический союз (IMU). Архивировано из оригинала 25 августа 2010 года . Проверено 23 января 2022 г.
- ^ «Премия Лероя П. Стила AMS» . Школа математики и статистики, Университет Сент-Эндрюс, Шотландия. Архивировано из оригинала 17 ноября 2022 года . Проверено 17 ноября 2022 г.
- ^ Черн, С.С.; Хирцебрух, Ф. (сентябрь 2000 г.). Премия Вольфа по математике . дои : 10.1142/4149 . ISBN 978-981-02-3945-9 . Архивировано из оригинала 21 февраля 2022 года . Проверено 21 февраля 2022 г.
- ^ «Премия Волка» . Фонд Волка . Архивировано из оригинала 12 января 2020 года . Проверено 23 января 2022 г.
- ^ Перейти обратно: а б «Задачи Гильберта: 23 и математика» . Фонд Саймонса . 6 мая 2020 года. Архивировано из оригинала 23 января 2022 года . Проверено 23 января 2022 г.
- ^ Феферман, Соломон (1998). «Решение неразрешимого: борьба с проблемами Гильберта» (PDF) . В свете логики . Серия «Логика и вычисления в философии». Издательство Оксфордского университета. стр. 3–27. ISBN 978-0-19-508030-8 . Проверено 29 ноября 2022 г.
- ^ «Проблемы премии тысячелетия» . Математический институт Клея. Архивировано из оригинала 3 июля 2015 года . Проверено 23 января 2022 г.
- ^ «Проблемы тысячелетия» . Математический институт Клея. Архивировано из оригинала 20 декабря 2018 года . Проверено 23 января 2022 г.
Источники
- Берч, Николас (1999). Философия математики и моделирование: От исследователя к инженеру . Харматтан. ISBN 978-2-7384-8125-2 .
- Бойер, Карл Бенджамин (1991). История математики (2-е изд.). Нью-Йорк: Уайли . ISBN 978-0-471-54397-8 .
- Ивс, Ховард (1990). Введение в историю математики (6-е изд.). Сондерс. ISBN 978-0-03-029558-4 .
- Кляйнер, Израиль (2007). Кляйнер, Израиль (ред.). История абстрактной алгебры . Springer Science & Business Media. дои : 10.1007/978-0-8176-4685-1 . ISBN 978-0-8176-4684-4 . LCCN 2007932362 . OCLC 76935733 . S2CID 117392219 . Проверено 8 февраля 2024 г.
- Клайн, Моррис (1990). Математическая мысль от древности до современности . Нью-Йорк: Издательство Оксфордского университета. ISBN 978-0-19-506135-2 .
- Монастырский, Михаил (2001). «Некоторые тенденции в современной математике и медаль Филдса» (PDF) . CMS – Примечания – de la SMC . 33 (2–3). Канадское математическое общество. Архивировано (PDF) из оригинала 13 августа 2006 г. Проверено 28 июля 2006 г.
- Окли, Барбара (2014). Ум для чисел: как преуспеть в математике и естественных науках (даже если вы завалили алгебру) . Нью-Йорк: Случайный дом пингвинов. ISBN 978-0-399-16524-5 .
Разум для чисел.
- Пирс, Бенджамин (1881). Пирс, Чарльз Сандерс (ред.). «Линейная ассоциативная алгебра» . Американский журнал математики . 4 (1–4) (Исправленная, расширенная и аннотированная редакция с использованием статьи Б. Пирса 1875 года и аннотаций его сына К.С. Пирса к литографии 1872 года): 97–229. дои : 10.2307/2369153 . hdl : 2027/hvd.32044030622997 . JSTOR 2369153 . Исправленная, расширенная и аннотированная редакция с использованием статьи Б. Пирса 1875 года и аннотаций его сына К.С. Пирса к литографии 1872 года изд. Google Eprint и как отрывок, Д. Ван Ностранд, 1882, Google Eprint . Проверено 17 ноября 2020 г. .
- Петерсон, Иварс (1988). Математический турист: снимки современной математики . WH Фриман и компания. ISBN 0-7167-1953-3 . LCCN 87033078 . OCLC 17202382 .
- Поппер, Карл Р. (1995). «О знаниях». В поисках лучшего мира: лекции и очерки тридцати лет . Нью-Йорк: Рутледж. Бибкод : 1992sbwl.book.....P . ISBN 978-0-415-13548-1 .
- Рим, Карл (август 2002 г.). «Ранняя история медали Филдса» (PDF) . Уведомления АМС . 49 (7): 778–782. Архивировано (PDF) из оригинала 26 октября 2006 г. Проверено 2 октября 2006 г.
- Севрюк, Михаил Борисович (январь 2006 г.). «Рецензии на книги» (PDF) . Бюллетень Американского математического общества . 43 (1): 101–109. дои : 10.1090/S0273-0979-05-01069-4 . Архивировано (PDF) из оригинала 23 июля 2006 г. Проверено 24 июня 2006 г.
- Уиттл, Питер (1994). «Почти дома» . В Келли, Ф.П. (ред.). Вероятность, статистика и оптимизация: дань уважения Питеру Уиттлу (ранее «Реализованный путь: Кембриджская статистическая лаборатория до 1993 г. (пересмотренная в 2002 г.)» под ред.). Чичестер: Джон Уайли. стр. 1–28. ISBN 978-0-471-94829-2 . Архивировано из оригинала 19 декабря 2013 года.
Дальнейшее чтение
- Бенсон, Дональд К. (1999). Момент доказательства: математические прозрения . Издательство Оксфордского университета. ISBN 978-0-19-513919-8 .
- Дэвис, Филип Дж .; Херш, Рубен (1999). Математический опыт (переиздание). Бостон; Нью-Йорк: Морские книги. ISBN 978-0-395-92968-1 . Доступно онлайн (требуется регистрация).
- Курант, Ричард ; Роббинс, Герберт (1996). Что такое математика?: Элементарный подход к идеям и методам (2-е изд.). Нью-Йорк: Издательство Оксфордского университета. ISBN 978-0-19-510519-3 .
- Галлберг, Ян (1997). Математика: от рождения чисел . WW Нортон и компания. ISBN 978-0-393-04002-9 .
- Хазевинкель, Михель , изд. (2000). Энциклопедия математики . Академическое издательство Клювер. – Переведенная и расширенная версия советской математической энциклопедии в десяти томах. Также в мягкой обложке, на компакт-диске и в Интернете . Архивировано 20 декабря 2012 года на archive.today .
- Ходжкин, Люк Ховард (2005). История математики: от Месопотамии до современности . Издательство Оксфордского университета. ISBN 978-0-19-152383-0 .
- Журден, Филип Э.Б. (2003). «Природа математики». В Джеймсе Р. Ньюмане (ред.). Мир математики . Дуврские публикации. ISBN 978-0-486-43268-7 .
- Паппас, Теони (1986). Радость математики . Сан-Карлос, Калифорния: Издательство Wide World. ISBN 978-0-933174-65-8 .
- Вальтерсхаузен, Вольфганг Сарториус фон (1965) [1856]. Гаусс по памяти . Sändig Reprint Verlag HR Wohlwend. ISBN 978-3-253-01702-5 .