Задачи на смекалку

Аристотель

322 BCE

Аристотель был первым мыслителем, создавшим всестороннюю систему философии, охватившую все сферы человеческого развития: социологию, философию, политику, логику, физику. Его взгляды на онтологию имели серьёзное влияние на последующее развитие человеческой мысли. Метафизическое учение Аристотеля было принято Фомой Аквинским и развито схоластическим методом. Карл Маркс называл Аристотеля величайшим мыслителем древности. Источник: https://clck.ru/9cVkx

Головоломка

890

Некоторые головоломки известны с глубокой древности. Оригинальные логические задачи находят на стенах египетских пирамид, в древнегреческих манускриптах и в других исторических памятниках. Эпохой расцвета в средневековой истории головоломок можно считать конец IX века. Рост уровня образования и снижение религиозной нетерпимости к наукам привели к расширению круга любителей логических задач. Источник: https://clck.ru/KZzb8

Огастес (Август) де Мо́рган

1847

Огастес (Август) де Мо́рган — шотландский математик и логик.
Основные труды: по математической логике и теории рядов; к своим идеям в алгебре логики он пришёл независимо от Дж. Буля. В 1847 изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. С его именем связаны известные теоретико-множественные соотношения (законы де Моргана). Источник: https://goo.gl/tTwmBw

Джордж Буль

1854

Джордж Буль «Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854).
Буль находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. Единицей Буль обозначал универсум мыслимых объектов, показав, что символика подчиняется тем же законам, что и алгебраическая, а значит, что их можно складывать, вычитать, умножать и даже делить. Источник: https://goo.gl/SfKAhX

Лойд, Сэмюэль

1871

Лойд, Сэмюэль Лойд быстро научился играть в шахматы и уже с четырнадцати лет начал сочинять и публиковать в газетах шахматные задачи. В 1871 году Лойд придумал головоломку из картона, которую продал легендарному американскому антрепренёру Барнуму за десять тысяч долларов. Книга Энциклопедия головоломок была опубликована в 1914 году, уже после смерти Лойда, его сыном Уолтером, который сменил имя на Сэм. Источник: https://ru.wikipedia.org/wiki/Лойд,_Сэмюэль

Иван Ефимович Орлов

1928

Иван Ефимович Орлов Единственная работа И.Е, Орлова, — «Исчисление совместности предложений», — была опубликована в 1928 г. в «Математическом сборнике», где печатались ведущие отечественные математики. В своей попытке аксиоматизировать идею релевантности он впервые в мире попытался связать интуиционистскую логику с модальной путем добавления к оригинальному исчислению совместности предложений оператора необходимости, типичного для модальной системы S4. Источник: https://goo.gl/7ZBjHK

История логики

1950

История логики изучает развитие науки о формах и законах правильного мышления. Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция. Из них только трактовка логики в древнегреческой философии, детально рассмотренная в сочинении Аристотеля «Органон», принята и нашла широкое применение в современной науке и математике. Источник: https://clck.ru/At2wn

Гарднер, Мартин

1950

Гарднер, Мартин Был ведущим рубрики математических игр и развлечений журнала «Scientific American», в которой была представлена широкой общественности игра «Жизнь», изобретенная Джоном Конвеем, а также многие другие интересные игры, задачи, головоломки. Особую популярность снискали статьи и книги Гарднера по занимательной математике. Гарднер трактовал занимательность как синоним увлекательного, интересного в познании, но чуждого праздной развлекательности. Источник: https://clck.ru/KYxEW

Эрнё Рубик

1974

Эрнё Рубик В 1974 году Эрнё Рубик изобрёл Кубик Рубика, который стал не только игрушкой, но и объектом исследований математиков и инженеров. С тех пор регулярно проводятся соревнования по скоростной сборке кубика. Постоянно появляются новые игры, конструкции и издания, призванные держать интеллект человека в тонусе, развивать логику, тренировать нестандартное мышление и повышать интеллектуальный уровень в целом. Источник: https://goo.gl/7u8HhK

Перельман, Григорий Яковлевич

1994

Григо́рий Я́ковлевич Перельма́н — российский математик, доказавший гипотезу Пуанкаре. В 2002—2003 годах Григорий Перельман опубликовал в Интернете три свои знаменитые статьи, в которых кратко изложил оригинальный метод доказательства гипотезы Пуанкаре: -Формула энтропии для потока Риччи и её геометрические приложения.
-Поток Риччи с хирургией на трёхмерных многообразиях.
-Конечное время затухания для решений потока Риччи на некоторых трёхмерных многообразиях. Источник: https://clck.ru/KYxWL