американский языковед. Учился в Пенсильванском и Гарвардском университетах. Профессор Массачусетского технологического института. Заложил основы теории порождающих грамматик и теории формальных языков…

китайский философ и логик. Доктор философии (1920). Участник «Движения 4-го мая» (1919). Учился в политехническом Университете Цинхуа (1911-1914), в Пенсильванском и Колумбийском университетах США (1914-1920),…

американский математик немецкого происхождения. Кроме леммы Цорна (1935), часто используемого инструмента теории множеств, известен рядом работ в области алгебры (преимущественно теории групп), численного…

американский логик, математик. Профессор Принстонского университета (1947-1967). С 1967 г. – профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы относятся к различным…

американский математик и логик. Основные труды относятся к математической логике и основаниям математики. Дал одно из наиболее строгих доказательств теоремы об относительной непротиворечивости системы…

американский математик, автор работ в области геометрии, теории вероятностей, комбинаторики, теории алгоритмов и квантовой информатики. Наиболее известен своими основополагающими результатами в теории…

немецкий математик, доктор философии (1862), профессор (1874). Обучался в Гейдельбергском и Кенигсбергском университетах. С 1876 г. - профессор Высшей технической школы в Карлсруэ. Дал систематическое…

немецкий математик и логик. Был профессором математики в Ростоке и Гамбурге. Автор формулы, выражающей объем тетраэдра через длины ребер. Пытался построить логику наподобие математического исчисления…

польский математик. Работал в Варшаве. Его основные труды относятся к математической логике, в частности к проблеме разрешимости и рекурсивным функциям.

польский математик. Учился в университетах Львова, Цюриха, Геттингена, Граца и Парижа. В 1913 г. во Львове защитил докторскую диссертацию, написанную под руководством А. Лебега. С 1918 г. был профессором…

российский математик. Окончила Институт красной профессуры (1929), профессор (1931), доктор физико-математических наук (1935). С 1921 г. работала в Московском университете. Труды относятся к основаниям…

польский математик, ученик Я. Лукасевича. Работал в Торуне, с 1957 г. - в Институте математики Польской АН. Основные труды относятся к математической логике (Яськовского - Роуза матрицы).