Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Общая алгебра — раздел математики, изучающий алгебраические системы, такие как группы, кольца, поля, модули, решётки, а также отображения между такими структурами.
Джузе́ппе Пеа́но — итальянский математик. Внёс вклад в математическую логику, аксиоматику, философию математики. Создатель вспомогательного искусственного языка латино-сине-флексионе. Более всего известен как автор стандартной аксиоматизации натуральной арифметики — арифметики Пеано.
Число́ — одно из основных понятий математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Андре́й Андре́евич Ма́рков — советский математик, сын известного русского математика А. А. Маркова, основоположник советской школы конструктивной математики.
Джордж Буль — английский математик и логик. Профессор математики Королевского колледжа Корка с 1849 года. Один из основателей математической логики.
Герман Гюнтер Грассман — немецкий физик, математик и филолог.
Эмиль Леон Пост — 21 апреля 1954, Нью-Йорк, США) — американский математик и логик; один из основателей многозначной логики (1921); основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил.
Огастес (Август) де Мо́рган — шотландский математик и логик, профессор математики в Университетском колледже Лондона. Первый президент (1866) Лондонского математического общества.
«Ве́нский кружо́к» — сообщество учёных, регулярно собиравшихся в Вене с конца 20-х и до середины 30-х годов XX века. Руководителем кружка был профессор кафедры индуктивных наук Мориц Шлик. С деятельностью «Венского кружка» связывают зарождение философского логического позитивизма.
Альфред Тарский — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966).
Логи́ческий ве́нтиль — базовый элемент цифровой схемы, выполняющий элементарную логическую операцию, преобразуя таким образом множество входных логических сигналов в выходной логический сигнал. Логика работы вентиля основана на битовых операциях с входными цифровыми сигналами в качестве операндов. При создании цифровой схемы вентили соединяют между собой, при этом выход используемого вентиля должен быть подключён к одному или к нескольким входам других вентилей. В настоящее время в созданных человеком цифровых устройствах доминируют электронные логические вентили на базе полевых транзисторов, однако в прошлом для создания вентилей использовались и другие устройства, например, электромагнитные реле, гидравлические устройства, а также механические устройства. В поисках более совершенных логических вентилей исследуются квантовые устройства, биологические молекулы, фононные тепловые системы.
Са́ундерс (Со́ндерс) Макле́йн — американский математик и педагог, создатель теории категорий. Эмерит-профессор Чикагского университета, член НАН США и Американского философского общества. Удостоен Национальной научной медали (1989).
Анато́лий Ива́нович Ма́льцев — советский математик, основоположник сибирской школы алгебры и логики. Академик АН СССР (1958). Лауреат Ленинской премии.
Дми́трий Серге́евич А́ничков (1733—1788) — русский философ-просветитель, логик, публицист, профессор Московского университета. Первый русский профессор.
Философская логика — область логических исследований, ориентированных на проблемы философии, применяющих методы и категориальный аппарат философии к основным понятиям современной логики и к результатам, полученным средствами символической логики; также — подход в философии, основанный на приложении идей и аппарата современной формальной логики к анализу разнообразных понятий и проблем философии.
Туральф Альберт Скулем — норвежский математик, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру, теорию чисел и философию математики.
Произведения в Викитеке
Медиафайлы на Викискладе
