15 отношения: MIT Press, Principia Mathematica, Парадокс Рассела, Наивная теория множеств, Рассел, Бертран, Род (теория типов), Система F, Система типов, Типобезопасность, Уайтхед, Альфред Норт, Мартин-Лёф, Пер, Милнер, Робин, Изоморфизм, Высказывание (логика), Логицизм.
MIT Press
MIT Press — издательство Массачусетского технологического института (MIT), расположенное в Кембридже (США, штат Массачусетс) и специализирующееся на выпуске изданий научного и технического профиля.
Новый!!: Теория типов и MIT Press · Узнать больше »
Principia Mathematica
Principia Mathematica — трёхтомный труд по логике и философии математики Альфреда Норта Уайтхеда и Бертрана Рассела, выпущенный в 1910, 1912 и 1913 годах.
Новый!!: Теория типов и Principia Mathematica · Узнать больше »
Парадокс Рассела
Бертран Рассел (1916) Парадокс Рассела (антиномия Рассела, также парадокс Рассела — Цермело) — открытый в 1901 году Бертраном Расселом теоретико-множественный парадокс (антиномия), демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора.
Новый!!: Теория типов и Парадокс Рассела · Узнать больше »
Наивная теория множеств
Георг Кантор в 1870 году Схема доказательства счётности множества рациональных чисел Схематическая идея доказательства теоремы Кантора — Бернштейна Наи́вная тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств.
Новый!!: Теория типов и Наивная теория множеств · Узнать больше »
Рассел, Бертран
Бе́ртран А́ртур Уи́льям Ра́ссел, 3-й граф Рассел (Bertrand Arthur William Russell, 3rd Earl Russell; 18 мая 1872, Треллек, Уэльс — 2 февраля 1970, Уэльс) — британский,, и общественный деятель.
Новый!!: Теория типов и Рассел, Бертран · Узнать больше »
Род (теория типов)
Род в теории типов (kind) — тип конструктора типов, или более формально, тип ти́пового оператора высшего порядка.
Новый!!: Теория типов и Род (теория типов) · Узнать больше »
Система F
Система F (полиморфное лямбда-исчисление, система \lambda2, типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами.
Новый!!: Теория типов и Система F · Узнать больше »
Система типов
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули.
Новый!!: Теория типов и Система типов · Узнать больше »
Типобезопасность
В информатике типобезопасность (type safety) языка программирования означает безопасность (или надёжность) его системы типов.
Новый!!: Теория типов и Типобезопасность · Узнать больше »
Уайтхед, Альфред Норт
Альфред Норт Уайтхед (Alfred North Whitehead;,, Кент, Великобритания —,, Массачусетс, США) — британский математик, логик, философ, который вместе с Бертраном Расселом написал фундаментальный труд «Principia Mathematica» (1910—13), составивший основу логицизма и теории типов.
Новый!!: Теория типов и Уайтхед, Альфред Норт · Узнать больше »
Мартин-Лёф, Пер
Пер Мартин-Лёф (Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ.
Новый!!: Теория типов и Мартин-Лёф, Пер · Узнать больше »
Милнер, Робин
Робин Милнер (Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Новый!!: Теория типов и Милнер, Робин · Узнать больше »
Изоморфизм
Изоморфи́зм (от ἴσος — «равный, одинаковый, подобный» и μορφή — «форма») — это очень общее понятие, которое определяется по-разному в различных разделах математики.
Новый!!: Теория типов и Изоморфизм · Узнать больше »
Высказывание (логика)
Выска́зывание — в математической логике предложение, выражающее суждение.
Новый!!: Теория типов и Высказывание (логика) · Узнать больше »
Логицизм
Логицизм — одно из основных направлений математики и философии математики, ставящее целью обосновать математику путём сведения её исходных понятий к понятиям логики.
Новый!!: Теория типов и Логицизм · Узнать больше »