-
Period: 325 BCE to 265 BCE
Евклид
Первый математик Александрийской школы. Его главная работа "Начала" включает в себя изложение планиметрии, стереометрии и ряда вопросов теории чисел. В ней создал фундамент для дальнейшего развития древнегреческой науки и подвёл итог предшествующему развитию данной науки. Больше можно узнать перейдя по ссылке:
https://ru.wikipedia.org/wiki/Евклид -
Period: 1561 to
Ф. Бэконом
Родоначальник английского материализма, индуктивной логики и методологии опытной науки. Стремился выйти за переделы схоластики, тем самым разрабатывая антисхоластический метод научного познания. Он противопоставил индуктивный метод, догматической дедукции схоластам. больше можно узнать тут: https://works.doklad.ru/view/bq9VlhniBU.html -
Period: 1569 to
Р. Декарт
Один из основоположников философии Нового времени и аналитической геометрии. -
Period: to
Г. Лейбниц
Создатель алгебры, обозначил буквами высказывания, что в следствии привело к алгебре высказываний. -
Period: to
Леона́рд Э́йлер
Леона́рд Э́йлер (1707—1783) Предложил свою схему изображения отношения между множествами, которая теперь называется диаграммами Венна или круги Эйлера. Созданы для решения задач математической логики. Больше узнаете тут:
https://дмш-самрина.рф/raznoe/krugi-ejlera-mnozhestva-chisel.ht -
Period: to
И. Кант
Первым, кто попытался сознательно ввести диалектику в логику. Не отрицал её достижений в отличие от своих предшественников. больше узнаете тут: https://ru.wikipedia.org/wiki/Кант,Иммануил -
Period: to
Дж.С. Милль
Внёс основополагающий вклад в философию либерализма.. «Система логики силлогистической и индуктивной» является уникальным философским произведением, в нем затрагиваются проблемы методологии естественных и социальных наук с точки зрения логики - силлогистической и индуктивной. Она существенно повлияла на дальнейшее развитие научного познания. Больше узнаете тут:
https://ru.wikipedia.org/wiki/Милль,_Джон_Стюарт -
Period: to
Огастес де Морган
Шотландский математик и логик.
Основные труды: по математической логике и теории рядов; к своим идеям в алгебре логики он пришёл независимо от Дж. Буля. В 1847 изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. С его именем связаны известные теоретико-множественные соотношения (законы де Моргана). -
Period: to
Джордж Буль
(x = «рогатые», а y = «овцы») x и y из единицы даст класс рогатых овец. Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, поэтому их можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений. больше узнаете тут:
https://ru.wikipedia.org/wiki/Буль,_Джордж -
Period: to
Лью́ис Кэ́рролл
Удивительный человек был не только автором «Алиса в Стране чудес» и «Алиса в Зазеркалье», но также был математиком, логиком, философом, фотографом. Создатель никтокрафа и Никтография, позволяет быстро записывать идеи или заметки в темноте. Устройство представляло собой карточку с сеткой из 16 квадратных отверстий через которые чертились придуманные Доджсоном символы. На следующий день текст переписывался в обычном виде. -
Period: to
Людвиг Витгенштейн
Написал «Трактат» содержащий 526 утверждений. -
Period: to
Становление современной логики
В конце XIX — начале XX веков были заложены основы математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной. -
Period: to
Развитие головоломок
Наиболее широкое распространение головоломки получили на рубеже XIX и XX веков. Благодаря деятельности американца Сэма Лойда и англичанина Генри Дьюдени головоломки проникли во многие периодические издания, стали популярны среди широких слоев населения. Лойд долгое время считался автором популярнейшей во всем мире головоломки «Пятнашки» (в действительности изобретённой Ноем Палмером Чепмэном из Канастоты). -
Period: to
Сол Аарон Крипке
В ранних работах внёс значительный вклад в развитие модальной логики. -
Пер Мартин-Лёф
Создатель интуиционистской теории типов, ставшей основой для ряда систем для оснований математики (в том числе, унивалентных оснований) и базой для большинства современных систем автоматического доказательства. -
Э́рнё Ру́бик
Венгерский изобретатель, скульптор и профессор архитектуры. Всемирно известен благодаря своим объёмным головоломкам и игрушкам, к числу которых принадлежит кубик Рубика (1974). -
Григо́рий Я́ковлевич Перельма́н
Автор доказательства гипотезы Пуанкаре и гипотезы Терстона. -
Судоку
Леонард Эйлер изобрёл игру «Латинский квадрат». в США судоку появилась впервые в 1979 году в журнале «Dell Puzzle Magazine».
https://ru.wikipedia.org/wiki/Судоку -
Олехник С. Нестеренко Ю. Потапов М.
Олехник С. Нестеренко Ю. Потапов М. «Старинные занимательные задачи» книга представляет из себя сборник задач, авторы считают что обучение проходит легче когда даются занимательные задачи. https://www.htbook.ru/nauka/knigi-po-matematike/zadachi-na-smekalku -
Серия игр Portal
Поражает своей механикой порталов и необычным повествованием. Причисляется к вселенной Half-Life. -
Obduction
Эта игра изумляет своей красотой, но имеет дикий даже невероятный сюжет. Путь в ней очень тернистый, ведь головоломки требующие колоссальной смекалки, много терпения и максимальной внимательности, это то что должен иметь игрок. -
Old Man's Journey
Игра имеет свои минусы и довольно короткая, но оставляет после себя приятное расслабление. Атмосферное музыкальное сопровождение и простая визуальная часть дают свой тон.