Дана Скотт
Дана Скотт Биография Даны Скотт Дана Скотт – американский математик, известный своими работами в области денотационной семантики и теории информационных […]
Вики
Математические логики
Вики
Андрей Марков мл.
Андрей Марков-младший. Биография Андрея Маркова Советский математик, сын Андрея Маркова-старшего Основатель русской школы конструктивной математики и логики Внес вклад в
Вики
Мэри Тайлс
Мэри Тайлс Биография Мэри Тайлс Родилась в 1946 году Получила образование в Бристольском университете и защитила докторскую диссертацию в 1967
Вики
Ульрих Коленбах
Ульрих Кохленбах Биография Ульриха Вильгельма Кохленбаха Немецкий математик, профессор в Техническом университете Дармштадта Специализируется на доказательном майнинге Президент Немецкой ассоциации
Вики
Уильям В. Тейт
Уильям У. Тейт Образование и карьера Тейта Тейт получил степень бакалавра в университете Лихай в 1952 году и докторскую степень
Вики
Джордж Буль
Джордж Буль Джордж Буль – английский математик и логик, основатель математической логики и теории вероятностей. Он разработал алгебру логики, которая
Вики
Джон Барвайз
Джон Барвайз Кеннет Джон Барвайз был американским философом и логиком. Он возглавлял Центр изучения языка и информации и преподавал в
Вики
Ганс Гермес
Ганс Гермес Ганс Гермес был немецким математиком и логиком, внесшим значительный вклад в развитие математической логики. Гермес родился в Нойнкирхене
Вики
Карел Грбачек
Карел Хрбачек Карел Хрбачек – почетный профессор математики в Городском колледже Нью-Йорка. Он специализируется на математической логике, теории множеств и
Вики
Торальф Скулем
Торальф Сколем Торальф Альберт Сколем – норвежский математик и логик, пионер теоретической информатики. Разработал арифметику натуральных чисел и доказал ее
Вики
Эрнст Цермело
Эрнст Цермело Эрнст Цермело – немецкий математик, внесший значительный вклад в теорию множеств. Он доказал теорему о правильном упорядочении и
Вики
Моше Варди
Моше Варди Моше Яаков Варди – израильский математик и специалист по информатике. Он является заслуженным профессором Карен Острум Джордж в
Вики
ЛЭЙ Брауэр
Л. Э. Джей Брауэр Люитцен Эгбертус Ян Брауэр – голландский математик, основатель интуиционизма. Брауэр был воинственным человеком, независимым, блестящим умом
Вики
Бертран Рассел
Бертран Рассел Бертран Рассел был британским философом, математиком и общественным деятелем. Он был одним из основателей аналитической философии и критиковал
Вики
Ванда Шмелев
Ванда Шмилев Ванда Шмилев – польский математический логик, доказавшая разрешимость теории абелевых групп первого порядка. Шмилев родилась в Варшаве и
Вики
Соломон Феферман
Соломон Феферман Соломон Феферман – американский математик и логик, профессор гуманитарных наук в Стэнфорде. Он работал над предикативной математикой и
Вики
Бернар Больцано
Бернард Больцано Бернард Больцано – австрийский философ, основатель логического позитивизма. Он разработал теорию интуиций (Anschauungen) для соответствия субъективным идеям изменениям,
Вики
Семен Самсонович
Semën Samsonovich Kutateladze Семен Кутателадзе – математик, известный своими вкладами в функциональный анализ и его приложения к векторным решеткам и
Вики
Колин Макларти
Колин Макларти Колин Макларти – американский логик, освещающий философию, основы математики и историю науки. Он написал статьи о Сондерсе Маклейне,