Известные логики

Буль Джордж

Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849 года. Один из основателей математической логики.

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

Готфрид Вильгельм Лейбниц (1646-1716) — немецкий философ, математик, физик, языковед. С 1676 на службе у ганноверских герцогов. Основатель и президент (с 1700) Бранденбургского научного общества (позднее — Берлинская АН). По просьбе Петра I разработал проекты развития образования и государственного управления в России.

Льюис Кэрролл

Льюис Кэрролл (Carroll, Lewis) (1832–1898; наст. имя – Чарлз Латуидж Доджсон, Charles Lutwidge Dodgson), английский детский писатель, математик, логик.

Родился 27 января 1832 в Дарсбери близ Уоррингтона (графство Чешир). Чарлз Латуидж был третьим ребенком и старшим сыном в семье, где родилось четверо мальчиков и семь девочек. Образованием юного Доджсона до двенадцати лет занимался отец, затем мальчика определили в грамматическую школу Ричмонда. Полтора года спустя он поступил в Рагби-Скул. Здесь он проучился четыре года, проявив выдающиеся способности к математике и богословию. В мае 1850 был зачислен в Крайст-Чёрч-колледж Оксфордского университета и в январе следующего года переехал в Оксфорд. Победив в конкурсе на стипендию Боултера в 1851 и удостоившись отличия первого класса по математике и второго по классическим языкам и античным литературам в 1852, юноша был допущен к научной работе. В 1855 он был назначен лектором по математике и оставался на этой должности до своей отставки в 1881.