Обозначение знаком времени в математике

Математические обозначения: Прошлое и будущее / Блог компании Wolfram Research / Хабр

обозначение знаком времени в математике

Как обозначается в математике скорость время расстояние. Дмитрий Ученик (), закрыт 8 лет назад. Лучший ответ. VEREWOLF. Эмпирические законы для математических обозначений . с математикой, по крайней мере до совсем недавнего времени. . А современный знак +, который, вероятно, является сокращением от "et" на латыни. Среди прочих обозначений наиболее часто школьников интересует вопрос о том, как в математике обозначается скорость, время, расстояние.

Я рассмотрю, как они разрабатывались, что было в античные и средневековые времена, какие обозначения вводили Лейбниц, Эйлер, Пеано и другие, как они получили распространение в 19 и 20 веках. Будет рассмотрен вопрос о схожести математических обозначений с тем, что объединяет обычные человеческие языки. Я расскажу об основных принципах, которые были обнаружены для обычных человеческих языков, какие из них применяются в математических обозначениях и какие.

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

Большие математические выражения — в отличии от фрагментов обычного текста — часто представляют собой результаты вычислений и создаются автоматически. Я расскажу об обработке подобных выражений и о том, что мы предприняли для того, чтобы сделать их более понятными для людей. Традиционная математическая нотация представляет математические объекты, а не математические процессы. Я расскажу о попытках разработать нотацию для алгоритмов, об опыте реализации этого в APL, Mathematica, в программах для автоматических доказательств и других системах.

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

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

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

В прошлом математической нотацией занимались обычно в контексте систематизации математики. Так, Лейбниц и некоторые другие люди интересовались подобными вещами в середине 17 века. Бэббидж написал тяжеловесный труд по этой теме в году. И на рубеже 19 и 20 веков, в период серьёзного развития абстрактной алгебры и математической логики, происходит очередной всплеск интереса и деятельности в этой теме. Но после этого не было почти.

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

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

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

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

Однако мы так же знаем, заставить компьютер полностью понимать естественный язык — задача крайне сложная. Хорошо, так что насчёт математической нотации? Большинство людей, которые работают в Mathematica, знакомы по крайней мере с некоторыми математическими обозначениями, так что, казалось бы, было бы весьма удобно объясняться с Mathematica в рамках привычной математической нотации. Но можно было бы подумать, что это не будет работать. Можно было бы подумать, что ситуация выльется в нечто, напоминающее ситуацию с естественными языками.

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

Это одна из самых серьёзных вещей, которую мы разработали для третьей версии Mathematica в году [текущая версия Wolfram Mathematica — И как минимум некоторая часть того, что у нас получилось, вошла в спецификацию MathML. Сегодня я хочу поговорить о некоторых общих принципах в математической нотации, которые мне довелось обнаружить, и то, что это означает в контексте сегодняшних дней и будущего.

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

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

В одном занимаются вопросами исторических изменений в языках.

обозначение знаком времени в математике

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

Это тесно связано с историей самой математики, так что нам придётся коснуться немного этого вопроса. Часто можно услышать мнение, что сегодняшняя математика есть единственная мыслимая её реализация. То, какими бы могли быть произвольные абстрактные построения. И за последние девять лет, что я занимался одним большим научным проектом, я ясно понял, что такой взгляд на математику не является верным.

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

Арифметика берёт своё начало со времён древнего Вавилона. Возможно, и геометрия тоже приходит из тех времён, но точно уже была известна в древнем Египте. Логика приходит из древней Греции. И мы можем наблюдать, что развитие математической нотации — языка математики — сильно связано с этими направлениями, особенно с арифметикой и логикой. Следует понимать, что все три направления появлялись в различных сферах человеческого бытия, и это сильно повлияло на используемые в них обозначения.

Арифметика, вероятно, возникла из нужд торговли, для таких вещей, как, к примеру, счёт денег, а затем арифметику подхватили астрология и астрономия.

Геометрия, по всей видимости, возникла из землемерческих и подобных задач. А логика, как известно, родилась из попытки систематизировать аргументы, приведённые на естественном языке. Примечательно, кстати, что другая, очень старая область знаний, о которой я упомяну позднее — грамматика — по сути никогда не интегрировалась с математикой, по крайней мере до совсем недавнего времени.

обозначение знаком времени в математике

Итак, давайте поговорим о ранних традициях в обозначениях в математике. И самая базовая вещь для арифметики — числа. Так какие обозначения использовались для чисел? Что ж, первое представление чисел, о котором доподлинно известно — высечки на костях, сделанные 25 тысяч лет.

Это была унарная система: Конечно, мы не можем точно знать, что именно это представление чисел было самым первым. Я имею ввиду, что мы могли и не найти свидетельств каких-то других, более ранних представлений чисел. Однако, если кто-то в те времена изобрёл какое-то необычное представление для чисел, и разместил их, к примеру, в наскальной живописи, то мы можем никогда и не узнать, что это было представление чисел — мы можем воспринимать это просто как какие-то фрагменты украшений.

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

обозначение знаком времени в математике

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

Как можно заметить, в естественных языках обычно есть такие слова, как "десять", "сто", "тысяча", "миллион" и так далее. Однако в математике мы можем представить десять как "один нуль" 10сто как "один нуль нуль"тысячу как "один нуль нуль нуль" и так далее.

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

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

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

Вот пример их обозначений. Из этой картинки можно понять, почему археология столь трудна. Это очень маленький кусок обожжённой глины. Было найдено около полумиллиона подобных вавилонских табличек. И примерно одна из тысячи — то есть всего около — содержат какие-то математические записи. Что, кстати, выше отношения математических текстов к обычным в современном интернете. Вообще, пока MathML не получил достаточного распространения, это является достаточно сложным вопросом.

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

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

Ну, на самом деле, она была несколько отличной. Она заключалась в том, чтобы обозначать последовательность чисел через последовательность букв в их алфавите.

То есть альфе соответствовала единица, бете — двойка и так далее. Вот как выглядит список чисел в греческом обозначении [вы можете скачать Wolfram Language Package, позволяющий представить числа в различных древних нотациях здесь — прим. Думаю, именно так сисадмины из Академии Платона адаптировали бы свою версию Mathematica; их воображаемую ю или около того версию Mathematica.

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

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

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

Однако имеются на несколько сот лет более молодые версии его работ. Вот одна, написанная на греческом языке. И на этих геометрических фигурах можно увидеть точки, которые имеют символьное представление в виде греческих букв. И в описании теорем есть множество моментов, в которых точки, линии и углы имеют символьное представление в виде букв. Так что идея о символьном представлении каких-то объектов в виде букв берёт своё начало как минимум от Евклида. Однако эта идея могла появиться и раньше.

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

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

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

Но, в любом случае, без переменных всё было бы гораздо сложнее. Например, как вы представите многочлен? Ну, Диофант — тот самый, что придумал диофантовы уравнения — сталкивался с проблемой представления многочленов в середине 2 века н.

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

Формула скорости - математика 4 класс

Есть и другие схемы задания полиномов без переменных, как, например, китайская схема, которая включала создание двухмерного массива коэффициентов. Проблема здесь, опять-таки, в расширяемости. И эта проблема с основанными на графике обозначениями всплывает снова и снова: Хорошо, так что насчёт буквенного обозначения переменных?

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

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

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

После Фибоначчи наше современное представление для чисел постепенно становится всё популярнее, и ко времени начала книгопечатания в 15 веке оно уже было универсальным, хотя ещё и оставались несколько чудных моментов. Но алгебраических переменных в полном их смысле тогда ещё не.

Они появились лишь после Виета в конце 16 века и обрели популярность лишь в 17 веке. То есть у Коперника и его современников их ещё не. Как в основном и у Кеплера. Эти учёные для описания каких-то математических концепций использовали обычный текст, иногда структурированный как у Евклида. Кстати, даже несмотря на то, что математическая нотация в те времена была не очень хорошо проработана, системы символьных обозначений в алхимии, астрологии и музыке были довольно развиты.

Со времён Виета буквенные обозначения для переменных стали привычным делом. Обычно, кстати, он использовал гласные для неизвестных и согласные — для известных.

обозначение знаком времени в математике

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

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

Вавилоняне обычно не использовали символы для операций — для сложения они просто записывали слагаемые друг за другом. И в целом они были предрасположены записывать всё в виде таблиц, так что им не требовалось как-то обозначать операции.

У египтян были некоторые обозначения для операций: А вот кое-что из года, что выглядит весьма современным, написанное в основном на английском, пока не начнёшь понимать, что те забавные загогулины — это не иксы, а специальные небуквенные символы, которые представляют различные степени для переменных. В первой половине 17 века произошла своего рода революция в математической нотации, после которой она практически обрела свой современный вид.

Было создано современное обозначение квадратного корня, который ранее обозначался как Rx — это обозначение сейчас используется в медицинских рецептах. И в основном алгебраическая нотация приобрела свой современный вид.

Уильям Отред был одним из тех людей, кто серьёзно занимался этим вопросом.

обозначение знаком времени в математике

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

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

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

Однако в основном использовались современные обозначения.

Математика 5 класс. Формула пути s=vt

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

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

Были и другие люди, которые размышляли о подобном, преимущественно с позиции обычных естественных языков и логики. Один из примеров — довольно специфичный персонаж по имени Раймонд Лул, живший в 14 веке, который заявлял, что изобрёл некие логические колёса, дающие ответы на все вопросы мира. Но так или иначе, Лейбниц разработал те вещи, которые были интересны и с позиций математики.

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

История математических обозначений — Википедия

Для обозначения интегралов он использовал "omn. Но в пятницу 29 октября года он написал следующее. На этом фрагменте бумаги можно увидеть знак интеграла. Он задумывал его как вытянутую S. Несомненно, это и есть современное обозначение интеграла.

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

Но, как мы все знаем, этого не произошло. Что ж, Лейбниц вёл переписку касательно обозначений с самыми разными людьми. Он видел себя кем-то вроде председателя комитета стандартов математических обозначений — так бы мы сказали.

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

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

В 18 веке Эйлер активно пользовался обозначениями. Однако, по сути, он следовал по пути Лейбница. Полагаю, он был первым, кто всерьёз начал использовать греческие буквы наравне с латинскими для обозначения переменных. Есть и некоторые другие обозначения, которые появились вскоре после Лейбница. Следующий пример из книги, вышедшей через несколько лет после смерти Ньютона. Это учебник алгебры, и он содержит весьма традиционные алгебраические обозначения, уже в печатном виде. А вот книга Лопиталя, напечатанная примерно в то же время, в которой уже практически современная алгебраическая нотация.

И, наконец, вот пример от Эйлера, содержащий весьма современные обозначения для интегралов и прочего. Эйлер — популяризировал современное обозначение для числа пи, которое первоначально было предложено Уильямом Джонсом, который рассматривал его как сокращение от слова периметр. Предложенная Лейбницем и сотоварищами нотация довольно долго оставалась неизменной.

Происходили небольшие изменения, как, к примеру квадрат x x получил написание x2. Однако практически ничего нового не появилось. Однако в конце 19 века наблюдается новый всплеск интереса к математической нотации, сопряжённый с развитием математической логики. Были некоторые нововведения, сделанные физиками, такими как Максвелл и Гиббс, в основном для векторов и векторного анализа, как следствие развития абстрактной алгебры.

Однако наиболее значимые изменения были сделаны людьми, начиная с Фреге и приблизительно с года, которые занимались математической логикой. Эти люди в своих устремлениях были близки к Лейбницу. Они хотели разработать нотацию, которая представляла бы не только математические формулы, но и математические выводы и доказательства. В середине 19 века Буль показал, что основы логики высказываний можно представлять в терминах математики.

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

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

Но в любом случае, обозначения Фреге уж точно не стали популярными. Потом был Пеано, самый главный энтузиаст в области математической нотации.

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

Эта идея реализовалась у него в то, что он назвал интерлингва — язык на основе упрощённой латыни. Затем он написал нечто вроде краткого изложения математики, назвав это Formulario Mathematico, которое было основано на его обозначениях для формул, и труд этот был написал на этой производной от латыни — на интерлингве.

Интерлингва, подобно эсперанто, который появился примерно в это же время, так и не получил широкого распространения. Однако этого нельзя сказать об обозначениях Пеано. Сперва о них никто ничего толком и не слышал. Но затем Уайтхед и Рассел написали свой труд Principia Mathematica, в котором использовались обозначения Пеано. Думаю, Уайтхед и Рассел выиграли бы приз в номинации "самая насыщенная математическими обозначениями работа, которая когда-либо была сделана без помощи вычислительных устройств".

Вот пример типичной страницы из Principia Mathematica. У них были все мыслимые виды обозначений. Частая история, когда авторы впереди своих издателей: Рассел сам разрабатывал шрифты для многих используемых им обозначений. И, разумеется, тогда речь шла не о шрифтах TrueType или о Type 1, а о самых настоящих кусках свинца.

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

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

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

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

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

Так, к примеру, можно сказать, что физика осталась где-то в конце 19 века, используя уже устаревшую математическую нотацию тех времён. Есть один момент, который постоянно проявляется в этой области — нотация, как и обычные языки, сильно разделяет людей. Я имею в виду, что между теми, кто понимает конкретные обозначения, и теми, кто не понимает, имеется большой барьер.

Математические обозначения — Википедия

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

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

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

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

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

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

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

Это действительно довольно странно. Были даже математики, которые работали над грамматиками обычных языков. Ранним примером являлся Джон Уоллис, который придумал формулу произведения Уоллиса для числа пи, и вот он писал работы по грамматике английского языка в году. Уоллис был тем самым человеком, который начал всю эту суматоху с правильным использованием "will" или "shall".

В начале 20 века в математической логике говорили о разных слоях правильно сформированного математического выражения: Но не о том, что же это всё значило для обозначений выражений. Некоторая определённость появилась в е годы 20 века, когда Хомский и Бакус, независимо разработали идею контекстно-свободных языков. Идея пришла походу работы над правилами подстановки в математической логике, в основном благодаря Эмилю Посту в х годах 20 века. Но, любопытно, что и у Хомского, и у Бакуса возникла одна и та же идея именно в е.

Зелибоба пришёл к финишу через 3 минуты, а Кубик через 4 минуты. Один быстрее двигался, а другой медленнее Да, они двигались с разной скоростью. В машине спидометр измеряет скорость Как измерить скорость движущихся тел, у которых нет спидометра? Что будем учиться измерять на уроке? Постановка темы урока Чтобы точнее сформулировать тему и цели урока, найдём опорные слова. Они необходимы для определения скорости.

Для этого, работая в парах, расположите данные вас единицы измерения в порядке возрастания. Какие единицы измерения у I и III ряда? Длины У II ряда? Времени Кто готов назвать их в порядке возрастания? Ученики называют и выкладывают на наборное полотно. I и III ряды: В чём измеряется расстояние? Время — это продолжительность, длительность чего-нибудь. В чём измеряется время? В чём измеряется скорость движения?

Уточните тему нашего урока. Чему будем учиться на уроке?