-
270
Эратосфен
Самым знаменитым математическим открытием стало так называемое "решето", с помощью которого находятся простые числа.
https://ru.wikipedia.org/wiki/Эратосфен -
315
Евклид
(365 до н.э. - 270 до н.э.) Древнегреческий математик, создатель геометрии, как первой в истории аксиоматизированной системы знаний.
https://obrazovaka.ru/evklid.html -
384
Аристотель
Аристотель (384 – 322 гг. до н.э.) Древнегреческий философ. Именно он в трудах, объединенных общим названием «Органон» (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений.
https://ru.wikipedia.org/wiki/Аристотель -
450
Сократ
Сократ (около 469-399 до н.э)
Учение Сократа о знании как об определении общих понятий и применявшиеся Сократом индуктивные приемы определения этических понятий сыграли заметную роль в развитии логики.
https://ru.wikipedia.org/wiki/Сократ -
Ф. Бэкон
(1561—1626) Ф. Бэкон- выдающийся английский философ и естествоиспытатель. Он стал родоначальником индуктивной логики. В противовес старому «Органону» Аристотеля Бэкон написал «Новый Органон…», где и изложил индуктивную логику. Главное внимание в ней он обратил на разработку индуктивных методов определения причинной зависимости явлений. В этом огромная заслуга Бэкона.
https://mystroimmir.ru/filosofiya/frensis-bekon.html -
Готфрид Вильгельм Лейбниц
Впервые в истории идеи о построении логики на математической основе были высказаны немецким математиком Г. Лейбницем (1646-1716) в конце XVII века. Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по особым правилам. Это позволит всякое рассуждение заменить вычислением.
https://ru.wikipedia.org/wiki/Лейбниц,_Готфрид_Вильгельм -
Дж. Буль
(1815-1864)Дж. Буль- английский ученый, математик и логик в своих работах, прежде всего, применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»).
https://ru.wikipedia.org/wiki/Буль,_Джордж -
Огастес де Морган
(1806-1871)
Основные труды: по математической логике и теории рядов; к своим идеям в алгебре логики Огастес де Мо́рган пришёл независимо от Дж. Буля. В 1847 изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. С его именем связаны известные теоретико-множественные соотношения (законы де Моргана).
https://ru.wikipedia.org/wiki/Морган,_Огастес_де -
Эрнё Рубик
В 1974 году Эрнё Рубик изобрёл Кубик Рубика, который стал не только игрушкой, но и объектом исследований математиков и инженеров. С тех пор регулярно проводятся соревнования по скоростной сборке кубика.
https://ru.wikipedia.org/wiki/Рубик,_Эрнё -
Вильгельм Эсслер
В 1991 г. вышел первый том его «Оснований логики», посвящённый логическому выводу, а в 1993 г. — второй том под названием «Классы, отношения, числа», которые с тех пор неоднократно переиздавались и стали стандартными введениями в соответствующие области логики.
https://ru.wikipedia.org/wiki/Эсслер,_Вильгельм -
Фаддеев, Людвиг Дмитриевич
В Санкт-Петербургском институте им. В.А. Стеклова академик Л.Д. Фадеев разработал метод исследований квантовых интегрируемых моделей, в основе которого лежит постулирование дискретности переменных пространства-времени при сохранении точной интегрируемости моделей. Из единой дискретной модели как предельные случаи могут быть получены основные модели квантовых интегрируемых систем с непрерывным пространством-временем. http://www.virtualacademy.ru/news/covremennye-otkrytija-v-oblasti-matematiki/ -
Григорий Яковлевич Перельман
Гипотеза Пуанкаре́ — доказанная математическая гипотеза о том, что всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере. Сформулированная в 1904 году математиком Анри Пуанкаре гипотеза была доказана в серии статей 2002—2003 годов Григорием Перельманом и подтверждена математическим сообществом в 2006 году, став первой и единственной на данный момент решённой задачей тысячелетия.
https://ru.wikipedia.org/wiki/Перельман,_Григорий_Яковлевич -
"Страна "Математика", решение задач на смекалку
Автор: Лысенко Надежда Анатольевна
Задачи, написанные автором в 2017 году. Они были разработаны за 5 лет до официального показа сборника задач. Включают в себя перечень интересных логических и эрудированных задач в купе с современными стандартами образования и логических представлений человека.
