Содержание
152 отношения: Coq, Fundamenta Mathematicae, Курепа, Джюро, Криптодоказующие программы, Карнап, Рудольф, Квантор, Кибернетика, Клини, Стивен Коул, Коэн, Пол Джозеф, Ковальский, Роберт Энтони, Когнитивистика, Колмогоров, Андрей Николаевич, Построение Хайоша, Порецкий, Платон Сергеевич, Польская математическая школа, Полная теория, Перельман, Хаим, Основания математики, Отношение (теория множеств), Общая алгебра, Ольтрамаре, Габриель, Онтологический аргумент, Оператор замыкания, Арсланов, Марат Мирзаевич, Арифметика, Адян, Сергей Иванович, Аксиома, Алфавит (формальный язык), Алгоритм Тарского, Алгоритмическая разрешимость, Алексеев, Валерий Борисович, Антисемитизм в советской математике, Антиномия, Анализ (раздел математики), Анализ бесконечно малых, Ньюмен, Джеймс (математик), Научный реализм, Награда Фонда польской науки, Наивная теория множеств, Никола Бурбаки, Новиков, Пётр Сергеевич, Нечёткая логика, Непейвода, Николай Николаевич, Рассел, Бертран, Расчёт надёжности, Разрешимое множество, Разделы математики, Робинсон, Абрахам, Решение уравнения, Рекурсивный язык, ... Развернуть индекс (102 больше) »
Coq
Coq (coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами.
Посмотреть Математическая логика и Coq
Fundamenta Mathematicae
«Fundamenta Mathematicae» (принятое сокращение: Fund. Math.) — польский рецензируемый научный журнал по математике, посвящённый преимущественно исследованию оснований математики.
Посмотреть Математическая логика и Fundamenta Mathematicae
Курепа, Джюро
Джюро Курепа (Ђуро Курепа / Đuro Kurepa; 16 августа 1907, Майске-Поляне — 2 ноября 1993, Белград) — сербский югославский математик, доктор физико-математических наук, действительный член Сербской академии наук и искусств, в течение многих лет профессор Белградского университета.
Посмотреть Математическая логика и Курепа, Джюро
Криптодоказующие программы
Криптодоказующие программы — это специальные программные средства, смоделированные на основе формальных моделей (например, модель Долева-Яо) с использованием штатных средств и алгебры процессов, а также с приведением к математической логике философских теорий о знании, с целью доказать криптостойкость протоколов, и, по-возможности, найти недостатки в безопасности.
Посмотреть Математическая логика и Криптодоказующие программы
Карнап, Рудольф
Рудольф Ка́рнап (Rudolf Carnap; 18 мая 1891 года, Вупперталь, Германия — 16 сентября 1970 года, Санта-Мария, Калифорния) — немецко-американский философ и логик, ведущий представитель логического позитивизма и философии науки.
Посмотреть Математическая логика и Карнап, Рудольф
Квантор
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание.
Посмотреть Математическая логика и Квантор
Кибернетика
Киберне́тика (от κυβερνητική «искусство управления») — наука об общих закономерностях получения, хранения, преобразования и передачи информации в сложных управляющих системах, будь то машины, живые организмы или общество.
Посмотреть Математическая логика и Кибернетика
Клини, Стивен Коул
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и.
Посмотреть Математическая логика и Клини, Стивен Коул
Коэн, Пол Джозеф
Пол Джозеф Коэн — американский.
Посмотреть Математическая логика и Коэн, Пол Джозеф
Ковальский, Роберт Энтони
Роберт Энтони Ковальский — американский логик и ученый, который провел большую часть своей карьеры в Соединенном Королевстве.
Посмотреть Математическая логика и Ковальский, Роберт Энтони
Когнитивистика
Когнитиви́стика, когнити́вная нау́ка (cognitio «познание») — междисциплинарное научное направление, объединяющее теорию познания, когнитивную психологию, нейрофизиологию, когнитивную лингвистику, невербальную коммуникацию и теорию искусственного интеллекта.
Посмотреть Математическая логика и Когнитивистика
Колмогоров, Андрей Николаевич
Андре́й Никола́евич Колмого́ров (урождённый Катаев,, Тамбов — 20 октября 1987, Москва) — советский математик, один из крупнейших математиков XX века.
Посмотреть Математическая логика и Колмогоров, Андрей Николаевич
Построение Хайоша
Построение Хайоша — это операция над графами, названная именем венгерского математика Дьёрдя Хайоша, которая может быть использована для построения любого критического графа или любого графа, хроматическое число которого не меньше некоторого заданного порога.
Посмотреть Математическая логика и Построение Хайоша
Порецкий, Платон Сергеевич
Платон Сергеевич Порецкий (Елисаветград —, село Жоведь, Черниговская область) — русский астроном, математик.
Посмотреть Математическая логика и Порецкий, Платон Сергеевич
Польская математическая школа
Польская математическая школа (Polska szkoła matematyczna) — направление в математике, сформировавшееся в Польше межвоенного периода 1920-х — 1930-х годов.
Посмотреть Математическая логика и Польская математическая школа
Полная теория
В математической логике теория называется полной, если любая синтаксически корректная замкнутая формула или ее отрицание доказуемы в данной теории.
Посмотреть Математическая логика и Полная теория
Перельман, Хаим
Хаим Перельман (Chaïm Perelman; 20 мая 1912, Варшава — 22 января 1984, Брюссель) — бельгийский учёный,,, профессор, доктор права (1934), доктор философии и математики (1938).
Посмотреть Математическая логика и Перельман, Хаим
Основания математики
Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин.
Посмотреть Математическая логика и Основания математики
Отношение (теория множеств)
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи.
Посмотреть Математическая логика и Отношение (теория множеств)
Общая алгебра
Общая алгебра (также абстрактная алгебра, высшая алгебра) — раздел математики, изучающий алгебраические системы (также иногда называемые алгебраическими структурами), такие как группы, кольца, поля, модули, решётки, а также отображения между такими структурами.
Посмотреть Математическая логика и Общая алгебра
Ольтрамаре, Габриель
Габриель Ольтрамаре (1816—1906) — швейцарский математик, педагог, профессор высшей математики Женевского университета.
Посмотреть Математическая логика и Ольтрамаре, Габриель
Онтологический аргумент
Онтологи́ческий аргуме́нт, или Онтологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии.
Посмотреть Математическая логика и Онтологический аргумент
Оператор замыкания
Оператор замыкания — обобщение интуитивной концепции замыкания.
Посмотреть Математическая логика и Оператор замыкания
Арсланов, Марат Мирзаевич
Марат Мирзаевич Арсланов — российский учёный, доктор физико-математических наук, профессор, действительный член Академии наук Республики Татарстан, заведующий кафедрой алгебры и математической логики Казанского (Приволжского) федерального университета, заведующий отделом алгебры НИИММ КГУ.
Посмотреть Математическая логика и Арсланов, Марат Мирзаевич
Арифметика
Ганс Себальд Бехам'', XVI век Арифме́тика (ἀριθμητική; от ἀριθμός «число») — раздел математики, изучающий числа, их отношения и свойства.
Посмотреть Математическая логика и Арифметика
Адян, Сергей Иванович
Серге́й Ива́нович Адя́н (Սերգեյ Հովհաննեսի Ադյան; родился 1 января 1931 года, Кущи Азербайджанской ССР) — российский учёный-математик, академик РАН.
Посмотреть Математическая логика и Адян, Сергей Иванович
Аксиома
Аксио́ма (ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Посмотреть Математическая логика и Аксиома
Алфавит (формальный язык)
Алфави́т формального языка — множество атомарных (неделимых) символов какого-либо формального языка (иногда называемых буквами по аналогии с алфавитами естественных языков).
Посмотреть Математическая логика и Алфавит (формальный язык)
Алгоритм Тарского
Алгоритм Тарского — универсальный алгоритм, позволяющий установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел.
Посмотреть Математическая логика и Алгоритм Тарского
Алгоритмическая разрешимость
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
Посмотреть Математическая логика и Алгоритмическая разрешимость
Алексеев, Валерий Борисович
Вале́рий Бори́сович Алексе́ев (род. 28 января 1948, Эстония) — учёный в области математической кибернетики, доктор физико-математических наук, профессор, заведующий кафедрой факультета ВМК МГУ.
Посмотреть Математическая логика и Алексеев, Валерий Борисович
Антисемитизм в советской математике
Антисемитизм в советской математике — проявление неприязни, предубеждений и дискриминации в СССР по отношению к евреям в научной и образовательной среде, связанной с математикой.
Посмотреть Математическая логика и Антисемитизм в советской математике
Антиномия
Антино́мия (ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов.
Посмотреть Математическая логика и Антиномия
Анализ (раздел математики)
Анализ как современный раздел математики — значительная часть математики, исторически выросшая из классического математического анализа, и охватывающая, кроме дифференциального и интегрального исчислений, входящих в классическую часть, такие разделы, как теории функций вещественной и комплексной переменной, теории дифференциальных и интегральных уравнений, вариационное исчисление, гармонический анализ, функциональный анализ, теорию динамических систем и эргодическую теорию, глобальный анализ.
Посмотреть Математическая логика и Анализ (раздел математики)
Анализ бесконечно малых
Анализ бесконечно малых — историческое название математического анализа, раздела высшей математики, изучающего пределы, производные, интегралы и бесконечные ряды, и составляющего важную часть современного математического образования.
Посмотреть Математическая логика и Анализ бесконечно малых
Ньюмен, Джеймс (математик)
Джеймс Рой Нью́мен (James Roy Newman, 1907—1966) — американский и историк математики.
Посмотреть Математическая логика и Ньюмен, Джеймс (математик)
Научный реализм
Научный реализм (англ. Scientific realism) — течение в философии науки, согласно которому единственным надёжным средством достижения знания о мире является научное исследование, результат которого интерпретируется с помощью научных теорий.
Посмотреть Математическая логика и Научный реализм
Награда Фонда польской науки
Награда Фонда польской науки (Nagroda Fundacji na rzecz Nauki Polskiej) — самая престижная награда Польши в сфере науки.
Посмотреть Математическая логика и Награда Фонда польской науки
Наивная теория множеств
Георг Кантор в 1870 году Схема доказательства счётности множества рациональных чисел Схематическая идея доказательства теоремы Кантора — Бернштейна Наи́вная тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств.
Посмотреть Математическая логика и Наивная теория множеств
Никола Бурбаки
Симона Вейль (философ, сестра А.Вейля), Шарль Пизо, Андре Вейль, Жан Дьедонне (сидит), Клод Шабати, Шарль Эресманн и Жан Дельсарт. Никола́ Бурбаки́ (Nicolas Bourbaki) — коллективный псевдоним группы французских математиков (позднее в неё вошли несколько иностранцев), созданной в 1935 году.
Посмотреть Математическая логика и Никола Бурбаки
Новиков, Пётр Сергеевич
Пётр Серге́евич Но́виков (1901—1975) — советский, специалист по теории множеств, математической логике, теории алгоритмов и теории групп.
Посмотреть Математическая логика и Новиков, Пётр Сергеевич
Нечёткая логика
Нечёткая логика (fuzzy logic) — раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечёткого множества, впервые введённого Лютфи Заде в 1965 году как объекта с функцией принадлежности элемента к множеству, принимающей любые значения в интервале, а не только 0 или 1.
Посмотреть Математическая логика и Нечёткая логика
Непейвода, Николай Николаевич
Никола́й Никола́евич Непейвода́ (род. 17 июня 1949, село Шелаево, Курская область) — советский и российский, учёный в области теоретической информатики и математической логики, доктор физико-математических наук, профессор, главный научный сотрудник Института программных систем РАН.
Посмотреть Математическая логика и Непейвода, Николай Николаевич
Рассел, Бертран
Бе́ртран А́ртур Уи́льям Ра́ссел, 3-й граф Рассел (Bertrand Arthur William Russell, 3rd Earl Russell; 18 мая 1872, Треллек, Уэльс — 2 февраля 1970, Уэльс) — британский,, и общественный деятель.
Посмотреть Математическая логика и Рассел, Бертран
Расчёт надёжности
Расчёт надёжности — процедура определения значений показателей надежности объекта с использованием методов, основанных на их вычислении по справочным данным о надежности элементов объекта, по данным о надежности объектов-аналогов, данным о свойствах материалов и другой информации, имеющейся к моменту расчета.
Посмотреть Математическая логика и Расчёт надёжности
Разрешимое множество
В теории множеств, теории алгоритмов и математической логике, множество натуральных чисел называется разреши́мым или рекурси́вным, если существует алгоритм, который, получив на вход любое натуральное число, через конечное число шагов завершается и определяет, принадлежит ли оно данному множеству.
Посмотреть Математическая логика и Разрешимое множество
Разделы математики
Существует три официальных способа подразделения математики.
Посмотреть Математическая логика и Разделы математики
Робинсон, Абрахам
Абрахам Робинсон (Abraham Robinson, 6 октября 1918 — 11 апреля 1974) — американский, создатель «нестандартного анализа».
Посмотреть Математическая логика и Робинсон, Абрахам
Решение уравнения
В математике, решение уравнения — это задача по нахождению таких значений аргументов (чисел, функций, наборов и т. д.), при которых выполняется равенство (выражения слева и справа от знака равенства становятся эквивалентными).
Посмотреть Математическая логика и Решение уравнения
Рекурсивный язык
В математической логике и информатике рекурсивный язык — тип формального языка, также называемый разрешимым или разрешимым по Тьюрингу.
Посмотреть Математическая логика и Рекурсивный язык
Реляционная модель данных
Реляционная модель данных (РМД) — логическая модель данных, прикладная теория построения баз данных, которая является приложением к задачам обработки данных таких разделов математики, как теория множеств и логика первого порядка.
Посмотреть Математическая логика и Реляционная модель данных
Суждение
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо.
Посмотреть Математическая логика и Суждение
Структурная индукция
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности.
Посмотреть Математическая логика и Структурная индукция
Сибирский федеральный университет
Сиби́рский федера́льный университе́т (СФУ) — высшее учебное заведение, расположенное в Красноярске.
Посмотреть Математическая логика и Сибирский федеральный университет
Сигнатура (математическая логика)
Сигнатура в математической логике и универсальной алгебре — набор символов, специфических для конкретной системы, определяющих её формальный язык.
Посмотреть Математическая логика и Сигнатура (математическая логика)
Силлогистические теории
Силлогистика (συλλογιστικός умозаключающий) — теория логического вывода, исследующая умозаключения, состоящие из т. н.
Посмотреть Математическая логика и Силлогистические теории
Скулем, Туральф
Туральф Альберт Скулем (Thoralf Albert Skolem, в ранних переводах транслитерируется как Торальф Сколем; 23 мая 1887, Сансвер — 23 марта 1963, Осло) — норвежский, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру (теории решёток и колец), теорию чисел (теорию диофантовых уравнений) и философию математики.
Посмотреть Математическая логика и Скулем, Туральф
Скотт, Дана
Да́на Стю́арт Скотт (Dana Stewart Scott, р. 11 октября 1932 года) — американский, известный работами в области математической логики и информатики.
Посмотреть Математическая логика и Скотт, Дана
Семёнов, Алексей Львович
Алексе́й Льво́вич Семёнов (род. 13 октября 1950, Москва, РСФСР) — советский и российский математик, методист и преподаватель математики.
Посмотреть Математическая логика и Семёнов, Алексей Львович
Трахтенброт, Борис Авраамович
Борис Авраамович Трахтенброт (также Борис Абрамович, Boris (Boaz) Trachtenbrot, Trakhtenbrot, Trajtenbrot & Trahtenbrot, בועז טרכטנברוט; 20 февраля 1921, Бричево, Сорокский уезд, Бессарабия — 19 сентября 2016, Реховот, Израиль) — советский и израильский математик в области математической логики, теории алгоритмов и кибернетики.
Посмотреть Математическая логика и Трахтенброт, Борис Авраамович
Тростников, Виктор Николаевич
Виктор Николаевич Тростников (14 сентября 1928, Москва — 29 сентября 2017) — современный православный русский и богослов.
Посмотреть Математическая логика и Тростников, Виктор Николаевич
Таблица математических символов
В математике повсеместно используются символы для упрощения и сокращения текста.
Посмотреть Математическая логика и Таблица математических символов
Тайцлин, Михаил Абрамович
Михаил Абрамович Тайцлин (Киев —, Тверь) — советский и российский, специалист в области математической логики и теоретической информатики.
Посмотреть Математическая логика и Тайцлин, Михаил Абрамович
Тайманов, Искандер Асанович
Исканде́р Аса́нович Тайма́нов (род. 20 декабря 1961, Новосибирск) — российский математик, доктор физико-математических наук, академик РАН (2011), специалист в области геометрии, вариационного исчисления в целом, теории солитонов и её применений.
Посмотреть Математическая логика и Тайманов, Искандер Асанович
Тогда и только тогда
↔ ⇔ ≡ Логические символы, изобра-жающие тогда и только тогда.
Посмотреть Математическая логика и Тогда и только тогда
Тезис Чёрча — Тьюринга
Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга.
Посмотреть Математическая логика и Тезис Чёрча — Тьюринга
Теория языков программирования
История языков программирования Теория языков программирования (programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей.
Посмотреть Математическая логика и Теория языков программирования
Теория алгоритмов
Тео́рия алгори́тмов — наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления.
Посмотреть Математическая логика и Теория алгоритмов
Теория вычислимости
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.
Посмотреть Математическая логика и Теория вычислимости
Теория доказательств
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов.
Посмотреть Математическая логика и Теория доказательств
Теория дескрипций
Бертран Рассел, 1916 г. Тео́рия дескри́пций (Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (Russell's Theory of Descriptions (RTD)).
Посмотреть Математическая логика и Теория дескрипций
Теория множеств
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством.
Посмотреть Математическая логика и Теория множеств
Теорема Тарского о невыразимости истины
Теорема Тарского о невыразимости арифметической истины — теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике.
Посмотреть Математическая логика и Теорема Тарского о невыразимости истины
Теорема Гёделя о неполноте
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Посмотреть Математическая логика и Теорема Гёделя о неполноте
Теорема Гёделя о полноте
Теоре́ма Гёделя о полноте́ исчисле́ния предика́тов является одной из фундаментальных теорем математической логики: она устанавливает однозначную связь между логической истинностью высказывания и его выводимостью в логике первого порядка.
Посмотреть Математическая логика и Теорема Гёделя о полноте
Теорема Лёба
Теорема Лёба — теорема в математической логике о взаимосвязи между доказуемостью утверждения и самим утверждением.
Посмотреть Математическая логика и Теорема Лёба
Успенский, Владимир Андреевич
Влади́мир Андре́евич Успе́нский (27 ноября 1930, Москва — 27 июня 2018, там же) — советский и российский, лингвист, публицист, популяризатор науки.
Посмотреть Математическая логика и Успенский, Владимир Андреевич
Универсальный язык
Универса́льный язы́к (всеобщий язык; lingua generalis) — язык, система терминов, определенных строго и однозначно, а потому допускающих над собой чисто формальные операции.
Посмотреть Математическая логика и Универсальный язык
Универсальная алгебра
Универсальная алгебра — раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими алгебраическими конструкциями, как группы, кольца, модули, решётки, вводя присущие им всем понятия и общие для всех них утверждения и результаты.
Посмотреть Математическая логика и Универсальная алгебра
Функциональная полнота
Функциональная полнота множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества.
Посмотреть Математическая логика и Функциональная полнота
Фройденталь, Ханс
Ганс Фройденталь (Hans Freudenthal; 17 сентября 1905, Луккенвальде, Германская империя — 13 октября 1990, Утрехт, Нидерланды) — математик, член Нидерландской королевской АН, профессор Утрехтского университета, автор работ в области алгебраической топологии.
Посмотреть Математическая логика и Фройденталь, Ханс
Философия
Огюста Родена, которая часто используется в качестве символа философии 石恪, X век José Ferraz de Almeida Júnior «Девушка с книгой», XIX век Филосо́фия (φιλοσοφία, дословно — «любомудрие», «любовь к мудрости») — особая форма познания мира, вырабатывающая систему знаний о наиболее общих характеристиках, предельно-обобщающих понятиях и фундаментальных принципах реальности (бытия) и познания, бытия человека, об отношении человека и мира // Кругосвет // Новейший философский словарь.
Посмотреть Математическая логика и Философия
Харьковский национальный университет имени В. Н. Каразина
Губернаторский дворец, конец XIX века. Старое здание университета Дом проектов, до переезда в него университета, 1930-е годы …после переезда в него университета Харьковский национальный университет имени В. Н. Каразина (Харківський національний університет імені В.
Посмотреть Математическая логика и Харьковский национальный университет имени В. Н. Каразина
Хейенорт, Жан ван
Жан ван Хейенорт (Jean Van Heijenoort; 23 июля 1912, Крей, Франция — 29 марта 1986, Мехико, Мексика) — французский учёный и политический активист, историк математической логики, деятель французского и американского троцкистского движения, секретарь Льва Троцкого в 1932—1939 годах.
Посмотреть Математическая логика и Хейенорт, Жан ван
Шишмарев, Юрий Евгеньевич
Юрий Евге́ньевич Шишмарёв (12 сентября 1948, г.Хабаровск, СССР — 1 декабря 1998, г.Владивосток, РФ) — советский, российский учёный в области математической логики, кандидат физико-математических наук, профессор, заведующий кафедрами математики в трех университетах г.Владивосток.
Посмотреть Математическая логика и Шишмарев, Юрий Евгеньевич
Шелах, Сахарон
Сахарон Шелах (שהרן שלח) — израильский математик, профессор Еврейского университета в Иерусалиме и Рутгерского университета в Нью-Джерси.
Посмотреть Математическая логика и Шелах, Сахарон
Экзистенциальная теория вещественных чисел
Экзистенциальная теория вещественных чисел — это множество всех верных утверждений вида где F(X_1,\dots X_n) — это, в которую входят равенства и неравенства вещественных многочленов.
Посмотреть Математическая логика и Экзистенциальная теория вещественных чисел
Элиминация кванторов
В математической логике элиминация кванторов — это процесс, порождающий по заданной логической формуле, другую, эквивалентную ей формулу, свободную от вхождений кванторов.
Посмотреть Математическая логика и Элиминация кванторов
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Посмотреть Математическая логика и Язык программирования
Му (отрицание)
анимацию Му (в японском и корейском языках), или у, — слово, которое может быть буквально переведено как «нет», «никакой», «отсутствие», «без».
Посмотреть Математическая логика и Му (отрицание)
Математическая химия
Математическая химия — раздел теоретической химии, область исследований, посвящённая новым применениям математики к химическим задачам«Mathematical chemistry concerns itself primarly with the novel application of mathematical methods in the chemical realm.
Посмотреть Математическая логика и Математическая химия
Математическая предметная классификация
Математическая предметная классификация (МПК, Mathematics Subject Classification, MSC) — буквенно-цифровая классификационная система разделов математики и направлений математических исследований, разработанная и используемая двумя основными обзорными математическими базами данных — Mathematical Reviews и Zentralblatt MATH, ведомыми, соответственно, Американским математическим обществом и Европейским математическим обществом.
Посмотреть Математическая логика и Математическая предметная классификация
Математический институт имени В. А. Стеклова РАН
Математический институт им.
Посмотреть Математическая логика и Математический институт имени В. А. Стеклова РАН
Математическое доказательство
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно.
Посмотреть Математическая логика и Математическое доказательство
Математика
Рафаэля Матема́тика (μᾰθημᾰτικά. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке.
Посмотреть Математическая логика и Математика
Маклейн, Саундерс
Са́ундерс (Со́ндерс) Макле́йн ((Leslie) Saunders Mac Lane Первое имя перестали употреблять ещё родители, а фамилию с пробелом стала писать его жена; 4 августа 1909, Тафтвилль, Коннектикут, США — 14 апреля 2005, Сан-Франциско, Калифорния, США) — американский, создатель (совместно с Самуэлем Эйленбергом) теории категорий.
Посмотреть Математическая логика и Маклейн, Саундерс
Миф душевной болезни
Миф душевной болезни: Основы управления личностью (The Myth of Mental Illness: Foundations of a Theory of Personal Conduct) — книга Томаса Саса, вышедшая в 1961 году.
Посмотреть Математическая логика и Миф душевной болезни
Множество
Мно́жество — одно из ключевых понятий математики; это предельно общее понятие, поэтому его нельзя строго определить через другие математические понятия.
Посмотреть Математическая логика и Множество
Мостовский, Анджей
А́нджей Стани́слав Мосто́вский (Andrzej Mostowski, 1913–1975) — польский и логик, член Польской академии наук (1956).
Посмотреть Математическая логика и Мостовский, Анджей
Мостерин, Хесус
Хесу́с Мостери́н (Jesús Mosterín; 1941, Бильбао — 2017, Барселона) — один из ведущих испанских философов и мыслителей широкого спектра, чьи изыскания часто затрагивают пересечение науки и философии.
Посмотреть Математическая логика и Мостерин, Хесус
Модальная логика
Модальная логика (от modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Посмотреть Математическая логика и Модальная логика
Модель акторов
В компьютерных науках моде́ль а́кторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на получаемые сообщения актор может принимать локальные решения, создавать новые акторы, посылать свои сообщения, а также устанавливать, как следует реагировать на последующие сообщения.
Посмотреть Математическая логика и Модель акторов
Металогика
Метало́гика — изучение метатеории логики.
Посмотреть Математическая логика и Металогика
Метаматематика
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов.
Посмотреть Математическая логика и Метаматематика
История математических обозначений
справа История математических обозначений — история разработки символов, используемых для компактной записи математических уравнений и формул.
Посмотреть Математическая логика и История математических обозначений
История математики
Данная статья представляет собой обзор основных событий и тенденций в истории математики с древнейших времён до наших дней. В истории математики существует несколько классификаций истории математики, по одной из них выделяются несколько этапов развития математических знаний.
Посмотреть Математическая логика и История математики
История математики в России
Математика в России активно развивается с начала XVIII века.
Посмотреть Математическая логика и История математики в России
Институт информатики Общества Макса Планка
Институ́т информа́тики о́бщества Ма́кса Пла́нка — институт Общества Макса Планка, основан в 1988 году на базе Саарского Университета в Саарбрюккене.
Посмотреть Математическая логика и Институт информатики Общества Макса Планка
Инголлс, Дэниел
Дэ́ниел Ге́нри Холмс Инго́ллс-старший (Daniel Henry Holmes Ingalls, Sr., 4 мая 1916 — 17 июля 1999) — американский индолог и санскритолог, профессор санскрита в Гарвардском университете.
Посмотреть Математическая логика и Инголлс, Дэниел
Индекс Хирша
-и́ндекс, или и́ндекс Хи́рша — наукометрический показатель, предложенный в 2005 году аргентино-американским физиком Хорхе Хиршем из Калифорнийского университета в Сан-Диего первоначально для оценки научной продуктивности физиков.
Посмотреть Математическая логика и Индекс Хирша
Жоведь
Жо́ведь (Жовідь) — село в Сновском районе Черниговской области Украины.
Посмотреть Математическая логика и Жоведь
Жегалкин, Иван Иванович
Иван Ива́нович Жега́лкин (22 июля (3 августа) 1869, Мценск, Российская империя — 28 марта 1947, Москва, СССР) — российский и советский математик и логик, профессор Московского университета.
Посмотреть Математическая логика и Жегалкин, Иван Иванович
Завало, Сергей Трофимович
Сергей Трофимович Зава́ло (Сергі́й Трохи́мович Зава́ло;, с. Анновка (ныне Петровского района Кировоградской области Украины) —, Киев) — украинский советский математик, педагог, профессор, доктор физико-математических наук.
Посмотреть Математическая логика и Завало, Сергей Трофимович
Закон тождества
Зако́н то́ждества — принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории).
Посмотреть Математическая логика и Закон тождества
Зиновьев, Александр Александрович
Алекса́ндр Алекса́ндрович Зино́вьев — русский философ, писатель, социолог, публицист.
Посмотреть Математическая логика и Зиновьев, Александр Александрович
Буль, Джордж
Джордж Буль (George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик.
Посмотреть Математическая логика и Буль, Джордж
Бём, Коррадо
Коррадо Бём (Corrado Böhm; 17 января 1923 года, Милан — 23 октября 2017 года, Рим) — итальянский, специалист в области информатики и математической логики, внёсший решающий вклад в теоретическое обоснование парадигмы структурного программирования и получивший важные результаты в λ-исчислении, комбинаторной логике, семантике языков программирования; один из ранних исследователей теории языков программирования.
Посмотреть Математическая логика и Бём, Коррадо
Бияров, Телеухан Нуралдаулы
Бияров Телеухан Нуралдаулы (1 мая 1949, с. Енбек, Катон-Карагайский район, Восточно-Казахстанская область — 6 июля 2008, Алматы) — казахский ученый в области прикладной математики и кибернетики, член-корреспондент Национальной инженерной академии Республики Казахстан, доктор технических наук, профессор.
Посмотреть Математическая логика и Бияров, Телеухан Нуралдаулы
Бирюков, Борис Владимирович
Бори́с Влади́мирович Бирюко́в (19 июля 1922, Краснодар, РСФСР — 23 марта 2014, Москва, Российская Федерация) — советский и российский философ, специалист по логике, философии и методологии науки.
Посмотреть Математическая логика и Бирюков, Борис Владимирович
Бернайс, Пауль
Па́уль Исаа́к Берна́йс (Paul Isaac Bernays, 17 октября 1888, Лондон — 18 сентября 1977, Цюрих) — швейцарский, известный своими работами в области математической логики, аксиоматической теории множеств и философии математики.
Посмотреть Математическая логика и Бернайс, Пауль
Бенеш, Вацлав Эдвард
Бе́неш, Ва́цлав Э́двард (род. 1930) — чешско-американский математик, известный своими работами по теории стохастических процессов, теории очередей и теории управления, а также в области проектирования коммутаторов для сетей связи.
Посмотреть Математическая логика и Бенеш, Вацлав Эдвард
Высказывание (логика)
Выска́зывание — в математической логике предложение, выражающее суждение.
Посмотреть Математическая логика и Высказывание (логика)
Вильгельм Эсслер
Вильгéльм Э́сслер (Wilhelm Karl Essler,, Клокочов) — современный немецкий философ и логик.
Посмотреть Математическая логика и Вильгельм Эсслер
Вопрос существования Бога
Аргументы за и против существования Бога, и в частности, Бога авраамических религий предлагались философами, теологами и учёными на протяжении нескольких тысячелетий.
Посмотреть Математическая логика и Вопрос существования Бога
Воеводский, Владимир Александрович
Владимир Александрович Воеводский (4 июня 1966 года, Москва — 30 сентября 2017 года, Принстон) — советский, российский и американский, внесший значительный вклад в алгебраическую геометрию и основания математики.
Посмотреть Математическая логика и Воеводский, Владимир Александрович
Вейль, Герман
Ге́рман Кла́ус Гу́го Вейль (9 ноября 1885, Эльмсхорн, Шлезвиг-Гольштейн, Германская империя — 8 декабря 1955, Цюрих) — немецкий и -теоретик.
Посмотреть Математическая логика и Вейль, Герман
Венский кружок
«Ве́нский кружо́к» (Wiener Kreis) — сообщество учёных, регулярно собиравшихся в Вене с конца 20-х и до середины 30-х годов XX века.
Посмотреть Математическая логика и Венский кружок
Венн, Джон
Джон Венн (John Venn; 4 августа 1834, Халл (Йоркшир) — 4 апреля 1923, Кембридж) — английский логик и философ.
Посмотреть Математическая логика и Венн, Джон
Гёдель, Курт
Курт Фри́дрих Гёдель (Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский, и философ математики.
Посмотреть Математическая логика и Гёдель, Курт
Гамильтон, Уильям Роуэн
Сэр Уи́льям Ро́уэн Га́мильтон (William Rowan Hamilton; 4 августа 1805 — 2 сентября 1865) — ирландский, -теоретик, -теоретик, «один из лучших математиков XIX века».
Посмотреть Математическая логика и Гамильтон, Уильям Роуэн
Гильберт, Давид
Дави́д Ги́льберт (David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий -универсал, внёс значительный вклад в развитие многих областей математики.
Посмотреть Математическая логика и Гильберт, Давид
Гомотопическая теория типов
Гомотопическая теория типов (HoTT, от homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, и типах в логике и языках программирования.
Посмотреть Математическая логика и Гомотопическая теория типов
Гончаров, Сергей Савостьянович
Серге́й Савостья́нович Гончаро́в (24 сентября 1951 года, Новосибирск, СССР) — советский и российский, академик РАН, профессор, лауреат многих наград, специалист в области математической логики и теории вычислимости.
Посмотреть Математическая логика и Гончаров, Сергей Савостьянович
Гейтинг, Аренд
Аренд Гейтинг (Arend Heyting;, —) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН.
Посмотреть Математическая логика и Гейтинг, Аренд
Дэвис, Мартин (математик)
Мартин Дэвид Дэвис (Martin Davis, род. 1928 год) — американский, известный своей работой, которая посвящена десятой проблеме Гильберта.
Посмотреть Математическая логика и Дэвис, Мартин (математик)
Драгалин, Альберт Григорьевич
Альберт Григорьевич Драгалин (10 апреля 1941, Моржовец — 18 декабря 1998, Дебрецен) — советский, -конструктивист, внесший весомый вклад в интеграцию советской школы конструктивной математики в общемировую систему математико-логического знания.
Посмотреть Математическая логика и Драгалин, Альберт Григорьевич
Дискретная математика
Дискре́тная матема́тика — часть математики, изучающая дискретные математические структуры, такие, как графы и утверждения в логике.
Посмотреть Математическая логика и Дискретная математика
Диаграмма Венна
латинского алфавитов (буквы заглавные) Диаграмма Венна (также используется название диаграмма Эйлера — Венна) — схематичное изображение всех возможных отношений (объединение, пересечение, разность, симметрическая разность) нескольких (часто — трёх) подмножеств универсального множества.
Посмотреть Математическая логика и Диаграмма Венна
Доведение до абсурда
Доведение до абсурда (reductio ad absurdum), или апагогия («сведе́ние», Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Посмотреть Математическая логика и Доведение до абсурда
Дескрипция
Дескрипция (describere — описывать) — это описание, т.е. конструкция, по форме имеющая вид «тот …, который …».
Посмотреть Математическая логика и Дескрипция
Есенин-Вольпин, Александр Сергеевич
Алекса́ндр Серге́евич Есе́нин-Во́льпин (Alexander Esenin-Volpin; 12 мая 1924, Ленинград, РСФСР — 16 марта 2016, Бостон, США) — советский и американский, философ, поэт, один из лидеров диссидентского и правозащитного движения в СССР, пионер правового просвещения в диссидентских кругах советского общества, сын Сергея Есенина.
Посмотреть Математическая логика и Есенин-Вольпин, Александр Сергеевич
Льюис Кэрролл
Льюис Кэрролл. Автопортрет Лью́ис Кэ́рролл (Lewis Carroll, настоящее имя Чарльз Лютвидж До́джсон, или Чарльз Латуидж До́джсон (традиционная русская передача; сам Кэрролл произносил свою фамилию Додсон, ˈdɒdsən, ряд современных словарей даёт произношение ˈdɒdʒsən), Charles Lutwidge Dodgson; 27 января 1832 — 14 января 1898) — английский писатель, математик, логик, философ, диакон и фотограф.
Посмотреть Математическая логика и Льюис Кэрролл
Лёб, Мартин
Мартин Хуго Лёб — (Martin Hugo Löb; 31 марта 1921 — 21 августа 2006) —, специалист в математической логике.
Посмотреть Математическая логика и Лёб, Мартин
Лёвенгейм, Леопольд
Леопо́льд Лё́венгейм (иногда встречаются транскрипции Лёвенхейм или Лёвенхайм, Leopold Löwenheim, 1878—1957) — немецкий.
Посмотреть Математическая логика и Лёвенгейм, Леопольд
Лихнерович, Андре
Андре Лихнерович (André Lichnerowicz, 1915—1998) — французский и. Член Парижской академии наук (1963) и Академии деи Линчеи, член Консультативного совета научных исследований и технического прогресса.
Посмотреть Математическая логика и Лихнерович, Андре
Линденбаум, Адольф
А́дольф Линденба́ум (Adolf Lindenbaum, 1904, Варшава — 1941, Понары) — польский и логик, ученик Вацлава Серпинского.
Посмотреть Математическая логика и Линденбаум, Адольф
Логика
гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию. Ло́гика (λογική — «наука о правильном мышлении», «способность к рассуждению» от λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке.
Посмотреть Математическая логика и Логика
Логика в информатике
Логика в информатике — это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте.
Посмотреть Математическая логика и Логика в информатике
Логика второго порядка
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами.
Посмотреть Математическая логика и Логика второго порядка
Логика высказываний
Логика высказываний, или пропозициональная логика (propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения.
Посмотреть Математическая логика и Логика высказываний
Лейбниц, Готфрид Вильгельм
Го́тфрид Ви́льгельм Ле́йбниц (Gottfried Wilhelm Leibniz или Gottfried Wilhelm von Leibniz, МФА: или; —) — саксонский философ, логик,,,, юрист, историк, дипломат, изобретатель и языковед.
Посмотреть Математическая логика и Лейбниц, Готфрид Вильгельм
Лейбниция
Лейбниция (Leibnitzia) — род многолетних цветковых растений, включённый в трибу Mutisieae семейства.
Посмотреть Математическая логика и Лейбниция
Также известен как Символическая логика, Матлогика, Выводимая формула, Логика символическая.