-
384 BCE
Аристотель
Как самостоятельная наука логика оформилась в трудах греческого философа Аристотеля (384-322 г. до н. э. ). Он систематизировал известные до него сведения, и эта система стала впоследствии называться формальной, или Аристотелевой логикой. Он вывел первую логическую теорию, впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления.
https://ru.wikipedia.org/wiki/Аристотель -
325 BCE
Евклид
Будучи гигантским обобщением предшествующей практики мышления, логика Аристотеля оказала мощное влияние на ее последующее развитие, и прежде всего на научное познание. Так,под сильным впечатлением от этой науки написаны знаменитые «Начала» Евклида (около 323—283 гг. до н. э.).В них подведен величественный итог развития греческой математики за предшествующие три столетия и впервые с такой силой проявился на практике дедуктивный метод построения научной теории.
https://ru.wikipedia.org/wiki/Евклид -
Кант, Иммануил
В таких условиях во весь рост вставал вопрос о закономерностях диалектического мышления. Первым, кто попытался сознательно ввести диалектику в логику, был немецкий философ И. Кант (1724— 1804). Обозревая многовековую историю развития логики, начиная с Аристотеля, он прежде всего подвел итоги этого развития. В отличие от некоторых своих предшественников Кант не отрицал ее достижений.
https://ru.wikipedia.org/wiki/Кант,_Иммануил -
История возникновения логических задач. Д. Буль (1815-1864)
Первая реализация идеи Лейбница принадлежит английскому ученому Д. Булю (1815-1864). Он создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний. Введение символических обозначений в логику имело для этой науки такое же решающее значение, как введение буквенных обозначений для математики. Именно благодаря введению символов в логику была получена основа для создания новой науки - математической логики.
https://ru.wikipedia.org/wiki/Буль,_Джордж -
Огастес де Морган (1806-1871)
Огастес (Август) де Мо́рган — шотландский математик и логик.
Основные труды: по математической логике и теории рядов; к своим идеям в алгебре логики он пришёл независимо от Дж. Буля. В 1847 изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. С его именем связаны известные теоретико-множественные соотношения (законы де Моргана).
https://en.wikipedia.org/wiki/Augustus_De_Morgan -
Я́ков Иси́дорович Перельма́н
Русский и советский математик, физик и мировед, журналист и педагог, популяризатор точных наук, основоположник жанра занимательной науки, автор понятия научно-фантастическое.
https://vk.com/away.php?to=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%259F%25D0%25B5%25D1%2580%25D0%25B5%25D0%25BB%25D1%258C%25D0%25BC%25D0%25B0%25D0%25BD%2C_%25D0%25AF%25D0%25BA%25D0%25BE%25D0%25B2_%25D0%2598%25D1%2581%25D0%25B8%25D0%25B4%25D0%25BE%25D1%2580%25D0%25BE%25D0%25B2%25D0%25B8%25D1%2587&el=snippet -
Рубик, Эрнё
В 1974 году Эрнё Рубик изобрёл Кубик Рубика,который стал не только игрушкой, но и объектом исследований математиков и инженеров.С тех пор регулярно проводятся соревнования по скоростной сборке кубика.Современная индустрия головоломок стремительно развивается.Постоянно появляются новые игры,конструкции и издания,призванные держать интеллект человека в тонусе, развивать логику, тренировать нестандартное мышление и повышать интеллектуальный уровень в целом.
https://ru.wikipedia.org/wiki/Головоломка -
Олехник С. Нестеренко Ю. Потапов М. «Старинные занимательные задачи»
В книге собраны задачи на смекалку, из рукописей и книг, опубликованных в России до 1800 года. В русской математической литературе, в учебниках всегда уделялось, большое внимание задачам, так как считалось, что элемент занимательности облегчает обучение. К занимательным задачам мы относим задачи с содержанием или интересными способами решения, математические игры, задачи, касающиеся интересных свойств чисел и геометрических тел. https://www.htbook.ru/nauka/knigi-po-matematike/zadachi-na-smekalku -
Фаддеев, Людвиг Дмитриевич
В Санкт-Петербургском институте им. В.А. Стеклова академик Л.Д. Фадеев разработал метод исследований квантовых интегрируемых моделей, в основе которого лежит постулирование дискретности переменных пространства-времени при сохранении точной интегрируемости моделей. Из единой дискретной модели как предельные случаи могут быть получены основные модели квантовых интегрируемых систем с непрерывным пространством-временем. http://www.virtualacademy.ru/news/covremennye-otkrytija-v-oblasti-matematiki/ -
Григо́рий Я́ковлевич Перельма́н
Гипотеза Пуанкаре́ — доказанная математическая гипотеза о том, что всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере. Сформулированная в 1904 году математиком Анри Пуанкаре гипотеза была доказана в серии статей 2002—2003 годов Григорием Перельманом и подтверждена математическим сообществом в 2006 году, став первой и единственной на данный момент решённой задачей тысячелетия.
https://ru.wikipedia.org/wiki/Перельман,_Григорий_Яковлевич -
Лысенко Надежда Анатольевна
"Страна "Математика", решение задач на смекалку". Задачи, написанные автором в 2017 году. Они были разработаны за 5 лет до официального показа сборника задач. Включают в себя перечень интересных логических и эрудированных задач в купе с современными стандартами образования и логических представлений человека.
https://almanahpedagoga.ru/servisy/publik/publ?id=12846
