-
384
Аристотель
Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, полагается, что он вывел первую логическую теорию, впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления.
https://www.bestreferat.ru/referat-190797.html -
427
Плато́н
Первый философ, чьи сочинения сохранились не в кратких отрывках, цитируемых другими, а полностью. древнегреческий философ, ученик Сократа, учитель Аристотеля.
https://ru.wikipedia.org/wiki/Платон -
501
Акшапада Гаутама
Индийский философ и логик, автор Ньяя-сутры, ученик брахмана Сомашармана.
«Ньяя-сутра» Гаутамы состоит из пяти книг, является основным источником ньяйи — одна из шести главных теистических школ индийской философии. Поскольку он заложил основы её философии, ньяя называется также системой Акшапады.
https://ru.wikipedia.org/wiki/Гаутама,_Акшапада -
570
Пифагор
древнегреческий философ, математик и мистик, создатель религиозно-философской школы пифагорейцев. Пифагор Самосский вошел в историю, как один из самых выдающихся интеллектуалов человечества. В его биографии много необычных вещей, и кажется, что сама судьба уготовала ему особый жизненный путь.Пифагор создал собственную религиозно-философскую школу и прославился, как один из самых великих математиков. Его ум и сообразительность на сотни лет.
https://ru.wikipedia.org/wiki/Пифагор -
1561
Фрэнсис Бэкон
Один из первых крупных философов периода Позднего Возрождения и начала Нового времени, Бэкон был сторонником строго обосновываемого, доказательного научного подхода. Он разрабатывал антисхоластический метод научного познания, стремясь по ходу дела выходить за пределы, задаваемые языком схоластики, которым он, как и другие философы того времени, всё ещё вынужден был пользоваться (как это отмечал применительно к Декарту русский философ В. С. Соловьев).
https://ru.wikipedia.org/wiki/Бэкон,_Фрэнсис -
Кант, Иммануил
Первым, кто попытался сознательно ввести диалектику в логику, был немецкий философ И. Кант. Обозревая многовековую историю развития логики, начиная с Аристотеля, он прежде всего подвел итоги этого развития. В отличие от некоторых своих предшественников Кант не отрицал ее достижений. Наоборот, считал философ, логика добилась известных успехов.
https://azbyka.ru/otechnik/Spravochniki/logika-ivanov/1_7 (3 глава) -
Джозеф Лагранж
Был одним из самых заметных учеников великого Леонарда Эйлера. Лагранж начал свою математическую карьеру с вариационного исчисления (в 1754 году), которое привело к формулировке уравнения Эйлера – Лагранжа.
https://new-science.ru/16-izvestnyh-i-velichajshih-matematikov/ -
Дмитрий Сергеевич Аничков
Он выступил с меткой критикой двух господствовавших в то время направлений в философии и логике — эмпиризма и рационализма. https://ru.wikipedia.org/wiki/Аничков,_Дмитрий_Сергеевич -
Фридрих Людвиг Готлоб Фреге
Немецкий логик, математик и философ. Представитель школы аналитической философии.Сформулировал идею логицизма, то есть направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике».https://ru.wikipedia.org/wiki/Фреге,_Готлоб -
Джордж Буль
«Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854).
Буль находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. Единицей Буль обозначал универсум мыслимых объектов, показав, что символика подчиняется тем же законам, что и алгебраическая, а значит, что их можно складывать, вычитать, умножать и даже делить.
https://ru.wikipedia.org/wiki/Буль,_Джордж -
Огастес де Морган
Шотландский математик и логик, профессор математики в Университетском колледже Лондона (1828—1831, 1836—1866). Первый президент Лондонского математического общества.Основные труды: по математической логике и теории рядов, к своим идеям в алгебре логики он пришёл независимо от Дж. Буля. В 1847 изложил элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений. https://ru.wikipedia.org/wiki/Морган,_Огастес_де -
Бертран Рассел
Британский философ, логик, математик и общественный деятель. Известен своими работами в защиту пацифизма, атеизма, а также либерализма и левых политических течений, и внёс неоценимый вклад в математическую логику, историю философии и теорию познания. Менее известны его труды по эстетике, педагогике и социологии. Рассел считается одним из основателей английского неореализма, а также неопозитивизма.
https://ru.wikipedia.org/wiki/Рассел,_Бертран -
Имре Лакато
Лакатос рассматривает четыре логики открытия (индуктивизм, конвенционализм, методологический фальсификационизм, методология научно-исследовательских программ), каждая из которых располагает правилами, так или иначе принимающие или отбрасывающие теории и исследовательские программы.
https://ru.wikipedia.org/wiki/Логика_открытия -
И.Е, Орлова
Единственная работа И.Е, Орлова, — «Исчисление совместности предложений», — была опубликована в 1928 г. в «Математическом сборнике», где печатались ведущие отечественные математики. В своей попытке аксиоматизировать идею релевантности он впервые в мире попытался связать интуиционистскую логику с модальной путем добавления к оригинальному исчислению совместности предложений оператора необходимости, типичного для модальной системы S4.
https://ru.wikipedia.org/wiki/Орлов,_Иван_Ефимович -
Мартин-Лёф, Пер
Шведский логик, статистик и философ. Член Шведской королевской академии наук. О значениях логических констант и обоснованиях логических законов, 1996. В настоящее время профессор философии математики Стокгольмского университета. Широкую известность получили его работы в области статистики и алгоритмической теории вероятностей, основаниям математики и логики.
https://ru.wikipedia.org/wiki/Мартин-Лёф,_Пер -
Готфрид Вильгельм Лейбниц
Немецкий философ, логик, математик, физик, юрист, историк, дипломат, изобретатель и языковед.Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку.
https://ru.wikipedia.org/wiki/Лейбниц,_Готфрид_Вильгельм -
Хенк Барендрегт
Нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба.
Результаты начала 1970-х годов относятся к нормальным формам в λ-исчислении и реализуемости в комбинаторной логике. Труды второй половины 1970-х годов посвящены вопросам моделей λ-исчисления.
https://ru.wikipedia.org/wiki/Барендрегт,_Хенк -
Оскар ван Девентер
Голландский производитель головоломок.Он прототипирует Головоломки с помощью 3D-печати. Его работа сочетает в себе математику, физику и дизайн, и он сотрудничает в академических институтах. Многие из его комбинационных головоломок находятся в массовом производстве Уве Мефферта и Витедена. Оскар ван Девентер также разработал головоломки для Ханаямы.
https://en.wikipedia.org/wiki/Oskar_van_Deventer -
Эдуа́рд Алексе́евич Гирш
Российский математик, специалист по теоретической информатике.
2003 г — приз за лучшую программу в категории случайных формул. Задачи на логику.
https://ru.wikipedia.org/wiki/Гирш,_Эдуард_Алексеевич -
Эрнё Рубик
В 1974 году Эрнё Рубик изобрёл Кубик Рубика, который стал не только игрушкой, но и объектом исследований математиков и инженеров.
https://ru.wikipedia.org/wiki/Кубик_Рубика -
Кун, Томас
Логика открытия Куна, в отличие от попперовской, работает всегда с ориентацией на парадигму, за счет чего возникает необходимость учитывать "субъективное". Так, Кун полагает, что логика открытия должна в большей степени ориентироваться на психологический аспект открытия, принимая во внимание то, что основой развития науки служат сообщества ученых.
https://ru.wikipedia.org/wiki/Кун,_Томас -
Григорий Перельман
В 2002—2003 годах Григорий Перельман опубликовал в Интернете три свои знаменитые статьи, в которых кратко изложил оригинальный метод доказательства гипотезы Пуанкаре.
https://ru.wikipedia.org/wiki/Перельман,_Григорий_Яковлевич
