9 отношения: Категорический силлогизм, Нидерланды, Троичная логика, Математическая логика, Модальная логика, Интуиционистское исчисление высказываний, Брауэр, Лёйтзен Эгберт Ян, 1922 год, 1948 год.
Категорический силлогизм
Простой категорический силлоги́зм (силлогизм: συλ-λογισμός — «подытоживание, подсчёт, умозаключение», от συλ- (συν-) — приставка со значением совместности действия, соучастия и λογισμός — «счёт, подсчёт; рассуждение, размышление») — рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения.
Новый!!: Гейтинг, Аренд и Категорический силлогизм · Узнать больше »
Нидерланды
Нидерла́нды (Nederland) — государство, состоящее из основной территории в Западной Европе и островов Бонэйр, Синт-Эстатиус и Саба в Карибском море (называемых также Карибскими Нидерландами).
Новый!!: Гейтинг, Аренд и Нидерланды · Узнать больше »
Троичная логика
Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году.
Новый!!: Гейтинг, Аренд и Троичная логика · Узнать больше »
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Новый!!: Гейтинг, Аренд и Математическая логика · Узнать больше »
Модальная логика
Модальная логика (от modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Новый!!: Гейтинг, Аренд и Модальная логика · Узнать больше »
Интуиционистское исчисление высказываний
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма.
Новый!!: Гейтинг, Аренд и Интуиционистское исчисление высказываний · Узнать больше »
Брауэр, Лёйтзен Эгберт Ян
Лёйтзен Э́гберт Ян Бра́уэр (Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.
Новый!!: Гейтинг, Аренд и Брауэр, Лёйтзен Эгберт Ян · Узнать больше »
1922 год
Без описания.
Новый!!: Гейтинг, Аренд и 1922 год · Узнать больше »
1948 год
Глава правительства Бирмы У Ну.
Новый!!: Гейтинг, Аренд и 1948 год · Узнать больше »