Mathematical logicians

Вики

Питер Б. Эндрюс

/

Питер Б. Эндрюс Биография Питера Б. Эндрюса Американский математик, почетный профессор Университета Карнеги-Меллона  Создатель математической логики Q0  Получил докторскую степень […]

Вики

Рюи де Кейрос

/

Руй ди Кейруш Биография Руи Гуэрры Руи Гуэрра – португальский логик и информатик, профессор в области теоретической информатики.  Родился в

Вики

Валерий Гливенко

/

Валерий Гливенко Биография Валерия Ивановича Гливенко Советский математик, работал в области основ математики и других областях.  Преподавал в Московском индустриально-педагогическом

Вики

Хенк Барендрегт

/

Хенк Барендрегт Биография Хенка Барендрегта Голландский логик, известен работами в лямбда-исчислении и теории типов.  Получил образование в Утрехтском университете и

Вики

Дана Скотт

/

Дана Скотт Биография Даны Скотт Дана Скотт – американский математик, известный своими работами в области денотационной семантики и теории информационных

Вики

Андрей Марков мл.

/

Андрей Марков-младший. Биография Андрея Маркова Советский математик, сын Андрея Маркова-старшего  Основатель русской школы конструктивной математики и логики  Внес вклад в

Вики

Мэри Тайлс

/

Мэри Тайлс Биография Мэри Тайлс Родилась в 1946 году  Получила образование в Бристольском университете и защитила докторскую диссертацию в 1967

Вики

Джозеф Р. Шонфилд

/

Джозеф Р. Шенфилд Образование и карьера Защитил докторскую диссертацию по математической логике в 1953 году.  Преподавал в университете Дьюка с

Вики

Генрих Шольц

/

Генрих Шольц Биография Генриха Шольца Немецкий философ и логик, родился в 1874 году.  Изучал философию в университетах Берлина и Геттингена. 

Вики

Ульрих Коленбах

/

Ульрих Кохленбах Биография Ульриха Вильгельма Кохленбаха Немецкий математик, профессор в Техническом университете Дармштадта  Специализируется на доказательном майнинге  Президент Немецкой ассоциации

Вики

Уильям В. Тейт

/

Уильям У. Тейт Образование и карьера Тейта Тейт получил степень бакалавра в университете Лихай в 1952 году и докторскую степень

Вики

Джордж Булос

/

Джордж Булос Биография Джорджа Булоса Американский философ, специалист по логике и философии математики.  Родился в 1924 году, умер в 1997

Вики

Жан Галье

/

Жан Галье Биография Жана Анри Галье Исследователь в области вычислительной логики, работает в Пенсильванском университете.  Родился в Нанси, имеет двойное

Вики

Джордж Буль

/

Джордж Буль Джордж Буль – английский математик и логик, основатель математической логики и теории вероятностей.  Он разработал алгебру логики, которая

Вики

Род Дауни

/

Род Дауни Родни Грэм Дауни – новозеландский и австралийский математик и специалист по информатике.  Дауни известен своими работами в области

Вики

Джон Барвайз

/

Джон Барвайз Кеннет Джон Барвайз был американским философом и логиком.  Он возглавлял Центр изучения языка и информации и преподавал в

Вики

Ганс Гермес

/

Ганс Гермес Ганс Гермес был немецким математиком и логиком, внесшим значительный вклад в развитие математической логики.  Гермес родился в Нойнкирхене

Вики

Карел Грбачек

/

Карел Хрбачек Карел Хрбачек – почетный профессор математики в Городском колледже Нью-Йорка.  Он специализируется на математической логике, теории множеств и

Вики

Авраам Робинсон

/

Абрахам Робинсон Абрахам Робинсон – математик, известный разработкой нестандартного анализа.  Почти половина работ Робинсона посвящена прикладной математике.  Он родился в

Вики

Торальф Скулем

/

Торальф Сколем Торальф Альберт Сколем – норвежский математик и логик, пионер теоретической информатики.  Разработал арифметику натуральных чисел и доказал ее

Вики

Эрнст Цермело

/

Эрнст Цермело Эрнст Цермело – немецкий математик, внесший значительный вклад в теорию множеств.  Он доказал теорему о правильном упорядочении и