-
Готфрид Вильгельм Лейбниц1646-1716
Последние пятнадцать лет жизни Готфридf Лейбницf оказались на редкость плодотворными в философском отношении. В 1705 он завершает работу над «Новыми опытами о человеческом разумении» (впервые опубликованы в 1765), уникальным комментарием к «Опыту о человеческом разумении» Дж. Локка, в 1710 издает «Опыты теодицеи», пишет «Монадологию» (1714), небольшой трактат, содержащий краткое изложение основ его метафизики.
https://www.personbio.com/sel_rod_zan.php?id_fam=216 -
Исаак Ньютон (1643-1727)
Автор фундаментального труда «Математические начала натуральной философии», в котором он изложил закон всемирного тяготения и три закона механики, ставшие основой классической механики. Разработал дифференциальное и интегральное исчисления, теорию цвета, заложил основы современной физической оптики, создал многие другие математические и физические теории.
https://ru.wikipedia.org/wiki/Ньютон,_Исаак -
Иммануил Кант (1724–1804)
С этой оказавшей немалое влияние на русскую философию «логикой» все очень и очень не просто. На первый взгляд она даже может показаться бредом. Так что многие логики либо вообще не признавали ее, как и «Логику» Гегеля, за сочинение по логике, либо, подобно Гуссерлю, сходу избавлялись от изрядной части кантовских понятий, вроде его «разума» и «рассудка», называя их фантастическими. -
Леонард Эйлер(1707-1783)
Эйлер — автор более чем 850 работ (включая два десятка фундаментальных монографий) по математическому анализу, дифференциальной геометрии, теории чисел, приближённым вычислениям, небесной механике, математической физике, оптике, баллистике, кораблестроению, теории музыки и другим областям -
Джордж Буль1815-1864
Буль был, вероятно, первым после Джона Валлиса математиком, обратившимся к логической проблематике. Идеи применения символического метода к логике впервые высказаны им в статье «Математический анализ логики» (1847). Не удовлетворённый полученными в ней результатами, Буль высказывал пожелание, чтобы о его взглядах судили по обширному трактату «Исследование законов мышления, на которых основываются математические теории логики и вероятностей»
https://www.personbio.com/sel_rod_zan.php?id_fam=216 -
Кэрролл Льюис1832-1898
Автор книг «Логическая игра»(1887), «Символическая логика» (1889), «Истории с узелками». Кэрролл любил разыгрывать читателя, задавая, казалось бы,простые,но каверзные вопросы.Знаменитая загадка про обезьяну и груз(1893 год):
Через блок,который прикреплен к потолку,переброшен канат. На одном конце прикреплен груз ,на другом повисла обезьяна. Вес груза и обезьяны одинаков. Что произойдет с грузом, когда обезьяна начнет взбираться вверх по канату?
https://www.personbio.com/view_post.php?id_info=636 -
Алан Тьюринг 1912-1954
В 1935 году он защитил диссертацию "Центральная предельная теорема теории вероятности" (которую он самостоятельно переоткрыл, не зная об аналогичной предшествующей работе) и был избран членом Научного общества колледжа. В этом же году он впервые начал работать в области математической логики и проводить исследования, которые уже через год привели к выдающимся результатам.l -
Колмогоров Андрей Николаевич (1903—1987)
За долгую научную жизнь Колмогоровым были написаны фундаментальные работы по тригонометрическим рядам, теории меры, теории множеств, теории интеграла, теории приближения функций. В последние годы жизни он возглавлял кафедру математической логики МГУ. Академик также принимал участие в разработке программ и учебников по математике для средней и высшей школы, организации математических олимпиад и т. д. -
Клод Шеннон1916-2001
Шеннон работал над оптимизацией передачи данных по телефонным и телеграфным линиями. Чтобы это сделать, нужно было в принципе дать понятие тому, что такое информация, и придумать, как ее измерить. В статье «Математические теории связи» ученый ввел понятие единицы информации — бита — термина, знакомого каждому. В 1952 году он изобрел обучаемую механическую мышь, которая могла находить выход их лабиринта.
https://ru.wikipedia.org/wiki/Шеннон -
Кордемский Борис Анастасьевич 1907-1999
Известен как автор книги «Математическая смекалка», рассчитанной на школьников младших классов. Первое издание вышло в 1954 году[4][5]; к моменту выхода в 1972 году перевода на английский язык книга выдержала восемь изданий на русском языке и была переведена на украинский, эстонский, латышский, литовский языки; за пределами СССР книга была опубликована в Болгарии, Румынии, Венгрии, Чехословакии, Польше, Германии, Франции, Китае, Японии, Корее[6][5]. -
Ха́скелл Брукс Ка́рри 1900-1982
Разработал основы комбинаторной логики, которая, в свою очередь, явилась стимулом становления нескольких парадигм программирования, среди которых аппликативное и функциональное программирование.
