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