"Исторические факты о времени появления задач на смекалку и развитие науки логики от команды "Дружные ребята".

Демокрит

460 BCE

Он - создатель системы логики, которая была отражена в специальном трактате «О логике, или Каноны», состоявшем из трех книг. Название «Каноны» означает «правила», «критерии». Свою логику Демокрит строил на эмпирической основе, поэтому он признается одним из основателей индуктивной логики. https://vikent.ru/enc/1530/

Аристотель

384 BCE

Аристотель создал труд по логике, который сохраняет своё непреходящее значение и один. Здесь он разработал теорию мышления и его формы, понятия, всплеск и умозаключения. Аристотель является и основоположником логики. https://ru.wikipedia.org/wiki/Аристотель

Леонардо Фибоначчи

1170

Он представил Европе Арабские цифры, которыми пользуется практически весь западный мир по сей день. http://economic-definition.com/Scientists_and_economists_theorists/Fibonachchi_Fibonacci__eto.html

Джон Непер

Feb 1, 1550

В 1614 году шотландский математик Джон Непер изобрел таблицы логарифмов. Принцип их заключался в том, что каждому числу соответствует свое специальное число - логарифм. Логарифмы очень упрощают деление и умножение. Например, для умножения двух чисел складывают их логарифмы. результат находят в таблице логарифмов. В дальнейшем им была изобретена логарифмическая линейка, которой пользовались до 70-х годов нашего века. http://rpp.nashaucheba.ru/docs/index-113569.html

Р. Декарт

1596

Он сформулировал четыре основных правила любо­го научного исследования: 1)истинно лишь то, что познано, проверено и до­казано; 2)расчленять сложное на простое; 3)восходить от простого к сложному, от более очевидного к менее очевидному; 4)исследовать предмет во всех деталях. http://mirznanii.com/a/232728/ratsionalizm-r-dekarta

Фрэнсис Бэкон

1620

Он опубликовывает свой «Новый органон»,
содержащий основы индуктивных методов. Суть индукции
(обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. Также необходимо искать причины своих ошибок. http://diplomba.ru/work/116521

Лейбниц Готфрид Вильгельм

1699

Он впервые в истории высказал идеи о построении логики на математической основе. Он считал, что основные понятия логики должны быть обозначены символами, которые соединяются по особым правилам. Это позволит всякое рассуждение заменить вычислением. https://studme.org/148325/psihologiya/gotfrid_vilgelm_leybnits

И. Кант

1724

Pазработал новый тип логики, которую назвал трансцендентальной. В ней логические формы рассматриваются как доопытные свойства рассудка, обусловливающие возможность всеоб­щего и необходимого знания явлений опыта. http://m1kle.ru/library_kreeft_kant.php

Джон Спилсбери

1767

В 1767 году он представил публике особое изобретение — разрезанную на куски карту мира.Первоначально головоломка была весьма дорогостоящим удовольствием, и в конце XIX столетия деревянную основу сменили на более дешевый картон. http://www.peoples.ru/state/statesmen/john_spilsbury/

Милль Джон Стюарт

1806

Индуктивная логика была позднее систематизирована и развита английским философом и ученым в его двухтомном труде «Система логики силлогистической и индуктивной». Она существенно повлияла на дальнейшее развитие научного познания, способствовала достижению им новых высот. https://dic.academic.ru/dic.nsf/ruwiki/117858

М.И. Каринский

1840

Он внес значительный вклад в разработку классификации умозаключений. Ос­новной замысел его логической теории: стремление построить аксиоматико-дедуктивную систему логики, исходя из основного отно­шения равенства и описать в ней дедуктивные и индуктив­ные умозаключения. https://www.runivers.ru/personals/author131350/

Д. Буль

1845

Он создал алгебру, в которой буквами обозначены высказывания. Введение символических обозначений в логику имело для этой науки такое же решающее значение, как введение буквенных обозначений для математики. Именно благодаря введению символов в логику была получена основа для создания новой науки - математической логики. http://www.hintfox.com/article/storija-vozniknovenija-logicheskih-zadach.html

Дави́д Ги́льберт

1862

Он предложил программу формализации математики, связанную с разработкой оснований самой математики. https://ru.wikipedia.org/wiki/%D0%93%D0%B8%D0%BB%D1%8C%D0%B1%D0%B5%D1%80%D1%82,_%D0%94%D0%B0%D0%B2%D0%B8%D0%B4

Сэмюэль Лойд

1871

В 1871 году Лойд придумал головоломку из картона. В 1907—1910 годах Лойд издавал журнал Our Puzzle Magazine, в котором публиковал свои задачи. http://puzzlepedia.ru/loyd.html

Эмиль Леон Пост

Feb 11, 1897

Основоположник Американской логики. Ему принадлежит ряд фундаментальных результатов в математической логике; доказательства функциональной точки; изучение систем многозначной логики. Одним из первых дал определение понятия алгоритм в терминал «Abstract Will ». Ввел основной тезис теории алгоритмов. https://dic.academic.ru/dic.nsf/enc_philosophy/8894/%D0%9F%D0%9E%D0%A1%D0%A2

Я́ков Иси́дорович Перельма́н

1926

Русский и советский математик, физик и мировед, журналист и педагог, популяризатор точных наук, основоположник жанра занимательной науки, автор понятия научно-фантастическое. https://ru.wikipedia.org/wiki/%D0%9F%D0%B5%D1%80%D0%B5%D0%BB%D1%8C%D0%BC%D0%B0%D0%BD,_%D0%AF%D0%BA%D0%BE%D0%B2_%D0%98%D1%81%D0%B8%D0%B4%D0%BE%D1%80%D0%BE%D0%B2%D0%B8%D1%87

Эрнё Рубика

Jan 3, 1974

Толчком в развитии головоломок стало изобретение в 1974 году венгром Эрнё Рубиком знаменитого кубика. Кубик Рубика стал не только игрушкой, но и объектом исследований математиков и инженеров. С тех пор по всему миру регулярно проводятся соревнования по скоростной сборке кубика. Постоянно на рынке появляются новые игры, конструкции и издания, призванные держать интеллект человека в тонусе, развивать логику, тренировать нестандартное мышление. https://ru.m.wikipedia.org/wiki/Головоломка

Фаддеев Людвиг Дмитриевич

Mar 5, 2001

Он разработал метод исследований квантовых интегрируемых моделей, в основе которого лежит постулирование дискретности переменных пространства-времени при сохранении точной интегрируемости моделей. Из единой дискретной модели как предельные случаи могут быть получены основные модели квантовых интегрируемых систем с непрерывным пространством-временем. http://faddeev.com/