-
Period: to
XVIII век
В восемнадцатом веке деятельность математиков сосредоточивалась в области анализа и его приложений к механике.https://studopedia.ru/3_67638_razvitie-matematiki-v-XVIII-veke.html -
Леонард Эйлер
Известен из-за догадок Эйлера; Уравнений Эйлера; Чисео Эйлера.Сегодня математики высоко ценят Эйлера и считают его самым важным математиком 18-го века.Эйлер внес значительный вклад почти во все основные области математики, включая алгебру, тригонометрию и геометрию. В физике его работы по гидродинамике и рядам Фурье не имеют себе равных.https://new-science.ru/16-izvestnyh-i-velichajshih-matematikov/ -
Жозеф-Луи Лагранж
Известен из-за Лагранжевой механики, Небесной механики и Теории чисел. Лагранж начал свою математическую карьеру с вариационного исчисления, которое привело к формулировке уравнения Эйлера – Лагранжа.Лагранж переформулировал классическую механику, чтобы представить механику Лагранжа несколько лет спустя. Его знаменитая работа по аналитической механике помогла другим ученым развить область математической физики.https://multiurok.ru/files/velikie-matematiki-i-interesnye-fakty-v-nauke.html -
Джон Спилсбери
Это британец картограф и гравер.Он представил публике особое изобретение — разрезанную на куски карту мира.Первоначально головоломка была весьма дорогостоящим удовольствием, и в конце XIX столетия деревянную основу сменили на более дешевый картон. В 1909 году в США фирма «Parker Brothers» открыла первое фабричное производство по изготовлению пазлов со скрепляющимися частями, которые с тех пор стали популярны во всем мире.https://infourok.ru/prezentaciya_na_temu_hochu_vse_znat-406312.htm -
Period: to
XIX век
В начале 19 века происходит новое значительное расширение области приложений математического анализа. Усиленно разрабатывается теория дифференциальных уравнений с частными производными и особенно теория потенциала. В этом направлении работает большинство крупных аналитиков начало и середины 19 века – К.Гаусс, Ж.Фурье, С.Пуассон, О.Коши, П.Дирихле, Дж.Грин, М.В. Остроградский. К. Гаусс Ж. Фурье С. Пуассон О. Коши П. Дирихле Дж. Грин М.В. https://infourok.ru/material.html?mid=107546 -
Огастес (Август) де Мо́рган
шотландский математик и логик.
Основные труды: по математической логике и теории рядов; к своим идеям в алгебре логики он пришёл независимо от Дж. Буля. Он изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. С его именем связаны известные теоретико-множественные соотношения (законы де Моргана).https://www.timetoast.com/timelines/258bd35b-d8cb-4592-ac75-794b110880da -
Джордж Буль
это английский математик, философ и логико-самоучка.
Буль находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. Единицей Буль обозначал универсум мыслимых объектов, показав, что символика подчиняется тем же законам, что и алгебраическая, а значит, что их можно складывать, вычитать, умножать и даже делить.https://studfile.net/preview/5024380/page:3/ -
Period: to
XX век
В XX веке Основой развития математики в XX веке стал сформировавшийся формальный язык цифр, символов, операций, геометрических образов, структур, соотношений для формально-логического описания действительности, - то есть сформировался формальный, научный язык всех отраслей знания, в первую очередь, естественнонаучных. Этот язык успешно используется в настоящее время и в других, "не естественнонаучных" областях.https://infourok.ru/prezentaciya-istoriya-razvitiya-matematiki-1940204.html -
Орлов Иван Ефимович
Это химик и филосов. Работа Орлова, целиком выполненная в духе математической логики. Он впервые в мире попытался связать интуиционистскую логику с модальной путем добавления к оригинальному исчислению совместности предложений оператора необходимости.Орлов предложил логику именно этого типа в своей работе «Логика совместимости предложений», опубликованной в советском математическом журнале.https://cyberleninka.ru/article/n/i-e-orlov-logik-filosof-uchenyy-osobennosti-nauchnogo-poiska -
Хенк Барендрегт
нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба.
Результаты начала 1970-х годов относятся к нормальным формам в λ-исчислении и реализуемости в комбинаторной логике.
В 1986 году после перехода в Университет Неймегена организовал группу, занимающуюся вопросами формализации математики, идейно продолжающую работы, которые велись в рамках проекта Automath Николаса де Брёйна.http://agro-archive.ru/stati/23375-barendregt-henk.html -
Вильгельм ЭсслерВильгéльм Карл Э́сслер
Это современный немецкий философ и логик. Вильгельм Эсслер известен своими работами в области современной дедуктивной и индуктивной логики, металогики, философии науки, теории познания, ранней индийской
Вышел первый том его «Оснований логики», посвящённый логическому выводу, а второй том под названием «Классы, отношения, числа», которые с тех пор неоднократно переиздавались и стали стандартными введениями в соответствующие области логики.https://ru.wikipedia.org/wiki/Эсслер,_Вильгельм -
Period: to
XXI век
Математика это больше, чем просто своеобразные теоремы и случайные популярные достижения. Благодаря своей точности и строгости наука математика в 21 веке является важным инструментом для всех наук. математика это больше, чем просто своеобразные теоремы и случайные популярные достижения. https://videouroki.net/razrabotki/dostizhieniia-matiematiki-20-21-vieka.html -
Серге́й Ива́нович Адя́н
Это советский и российский математик, создатель научной школы в области алгоритмических вопросов алгебры и логики, академик РАН.
В 1956 году перешёл в Математический институт им. В. А. Стеклова, где заведовал отделом математической логики (с 1973). С 1965 года преподавал на кафедре логики механико-математического факультета МГУ.https://ru.wikipedia.org/wiki/Адян,_Сергей_Иванович -
Григорий Яковлевич Перельман
Это выдающийся российский математик, автор
В 2002—2003 годах Григорий Перельман опубликовал в Интернете три свои знаменитые статьи, в которых кратко изложил оригинальный метод доказательства гипотезы Пуанкаре.https://stmegi.com/posts/93677/shvedskiy-kontrakt-perelmana-dokazavshego-gipotezu-puankare-priostanovlen-iz-za-covid-19/ -
Чжан Итан
Он доказал, что существует бесконечно много последовательных простых чисел с разностью не более 70 миллионов. Последовавший за этим ажиотаж привёл к тому, что Джеймс Мэйнард и проект Polymath, организованный Теренсом Тао, уменьшили это число до 246.https://infourok.ru/prezentaciya-krupnejshie-matematicheskie-dostizheniya-4387310.html
