Александр С. Кекрис
Александр С. Кехрис Биография Александра Сотириоса Кехриса Кехрис – теоретик и логик, работающий в Калифорнийском технологическом институте. Внес вклад в […]
Вики
Американские логики
Вики
Джон Этчеменди
Джон Этчемендий Биография Джона У. Этчеменди Американский логик и философ, ректор Стэнфорда с 2000 по 2017 год. Получил образование в
Вики
Питер Б. Эндрюс
Питер Б. Эндрюс Биография Питера Б. Эндрюса Американский математик, почетный профессор Университета Карнеги-Меллона Создатель математической логики Q0 Получил докторскую степень
Вики
Мэтью Форман
Мэтью Форман Биография и вклад в математику Мэтью Дин Форман – американский математик, известный своими работами в теории множеств и
Вики
Жан ван Хейеноорт
Жан ван Хейеноорт Биография Жана ван Хейеноорта Известный логик и философ, родился в 1918 году в Нидерландах. Получил образование в
Вики
У. Хью Вуд
У. Хью Вудин Биография и достижения Уильяма Хью Вудина Американский математик, специалист по теории множеств, работает в Гарвардском университете Внес
Вики
Пенелопа Мэдди
Пенелопа Мэдди Пенелопа Мэдди – американский философ, заслуженный профессор UCI по логике и философии науки и математики. Она известна своими
Вики
Джереми Авигад
Джереми Авигад Джереми Авигад – профессор философии и математики в Университете Карнеги-Меллон. Он получил степень бакалавра в 1989 году и
Вики
Ирвинг Копи
Ирвинг Копи Ирвинг Мармер Копи был американским философом, логиком и автором университетских учебников. Он учился у Бертрана Рассела в Чикагском
Вики
Эллиот Мендельсон
Эллиот Мендельсон Эллиотт Мендельсон был американским логиком и профессором математики. Он преподавал математику более 30 лет и является автором книг
Вики
Бас ван Фраассен
Бас ван Фраассен Бастиан Корнелис ван Фраассен – голландско-американский философ, известный своим вкладом в философию науки, эпистемологию и формальную логику.
Вики
Кеннет Кунен
Кеннет Кунен Кеннет Кунен – американский математик, известный своими работами в области теории множеств. Он работал над неассоциативными алгебраическими системами
Вики
Яннис Н. Мошовакис
Яннис Н. Мошовакис Яннис Николас Мошовакис – специалист по теории множеств, описательной теории множеств и теории рекурсии. Его книга “Описательная
Вики
Бенсон Мейтс
Benson Mates Benson Mates was an American philosopher at the University of California, Berkeley. He studied philosophy and mathematics at
Вики
Соломон Феферман
Соломон Феферман Соломон Феферман – американский математик и логик, профессор гуманитарных наук в Стэнфорде. Он работал над предикативной математикой и
Вики
Харви Фридман
Харви Фридман Харви Фридман – американский математический логик из Университета штата Огайо. Он работал над проектом “Обратная математика”, целью которого
Вики
Дж. Баркли Россер
Дж. Баркли Россер Джон Баркли Россер – американский логик, ученик Алонсо Черча. Известен своей работой над теоремой Черча-Россера в лямбда-исчислении.
Вики
Джон П. Берджесс
Джон П. Берджесс Джон Н. Вудхалл – профессор философии Принстонского университета, специализирующийся на логике и философии математики. Берджесс получил степень
Вики
Джулия Робинсон
Джулия Робинсон Джулия Робинсон была американским математиком, первой женщиной-математиком, избранной в Национальную академию наук. Она была первой женщиной-президентом Американского математического
Вики
Колин Макларти
Колин Макларти Колин Макларти – американский логик, освещающий философию, основы математики и историю науки. Он написал статьи о Сондерсе Маклейне,
Вики
Уильям Элвин Ховард
Уильям Элвин Говард Уильям Элвин Говард – специалист по теории доказательств, известный своей работой о формальном сходстве между интуиционистской логикой