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