Метка: Mathematical logicians
-
Сюзанна С. Эпп — Википедия
Сюзанна С. Эпп Биография и карьера Сюзанны С. Эпп Американский математик и профессор Университета Депола Исследователь в области коммутативной алгебры и когнитивной психологии Автор нескольких книг по математике, включая «Дискретная математика с приложениями» Вклад в математическое образование Внесла значительный вклад в преподавание логики и доказательства Получила премию Луизы Хэй за вклад в математическое образование в…
-
Чарльз Парсонс (философ) — Википедия
Чарльз Парсонс (философ) Биография Чарльза Дакра Парсонса Американский философ, известный работами в области математики и философии Канта. Почетный профессор Гарвардского университета, ранее преподавал в Колумбийском университете. Родился в семье гарвардского социолога, защитил докторскую диссертацию в Гарварде. Карьера и достижения Избран членом Американской академии искусств и наук, Норвежской академии наук и литературы. Среди его докторантов известные…
-
Эрнст Цермело — Википедия
Эрнст Цермело Ранние годы и образование Эрнст Цермело родился в 1871 году в Германии. Его отец был учителем математики, а мать — учительницей музыки. Цермело получил образование в гимназии и университете, где изучал математику и философию. Научная карьера Цермело начал свою карьеру в 1895 году в Геттингенском университете. Он был учеником Давида Гильберта и работал…
-
ЛЭЙ Брауэр — Википедия
L. E. J. Брауэр Биография и вклад Л. Э. Я. Брауэра Брауэр был голландским математиком, который внес значительный вклад в топологию и математическую логику. Он был одним из основателей интуиционизма, который отвергал закон исключенного третьего и считал, что математика должна основываться на интуиции. Брауэр был членом группы математиков, которые обсуждали философские и математические вопросы в…
-
Питер Б. Эндрюс — Википедия
Питер Б. Эндрюс Биография Питера Б. Эндрюса Американский математик, почетный профессор Университета Карнеги-Меллона Создатель математической логики Q0 Получил докторскую степень в Принстонском университете в 1964 году Научные достижения Получил премию Гербранда в 2003 году Разработал автоматизированный тестер теорем TPS Подсистема ETP TPS используется для обучения студентов логике Публикации Опубликовал множество работ по математической логике и…
-
Рюи де Кейрос — Википедия
Руй ди Кейруш Биография Руи Гуэрры Руи Гуэрра — португальский логик и информатик, профессор в области теоретической информатики. Родился в 1955 году, получил образование в области математики и информатики в Лиссабонском университете. Работал в области теоретической информатики, логики и искусственного интеллекта, в том числе в области компьютерной безопасности. Научные достижения Автор более 100 научных работ,…
-
Валерий Гливенко — Википедия
Валерий Гливенко Биография Валерия Ивановича Гливенко Советский математик, работал в области основ математики и других областях. Преподавал в Московском индустриально-педагогическом институте до своей смерти в 43 года. Большинство его работ были опубликованы на французском языке. Вклад в математику Гливенко внес значительный вклад в теорию вероятностей и математическую статистику. Его работы были объединены с Московским педагогическим…
-
Хенк Барендрегт — Википедия
Хенк Барендрегт Биография Хенка Барендрегта Голландский логик, известен работами в лямбда-исчислении и теории типов. Получил образование в Утрехтском университете и Стэнфордском университете. Преподавал в Утрехтском университете и Университете Радбуда, возглавляет кафедру математики и компьютерных наук в последнем. Исследовательская деятельность Исследует конструктивную интерактивную математику. Адъюнкт-профессор в Университете Карнеги-Меллон. Приглашенный ученый в различных университетах. Признание и награды…
-
Дана Скотт — Википедия
Дана Скотт Биография Даны Скотт Дана Скотт — американский математик, известный своими работами в области денотационной семантики и теории информационных систем. Она получила образование в Гарвардском университете и работала в IBM, где занималась разработкой языков программирования. Скотт получила множество наград за свои достижения в области теоретической информатики, включая премию Тьюринга. Вклад в информатику Она разработала…
-
Мэри Тайлс — Википедия
Мэри Тайлс Биография Мэри Тайлс Родилась в 1946 году Получила образование в Бристольском университете и защитила докторскую диссертацию в 1967 году Изучала философию в Оксфорде и Кембридже С 1989 по 2009 год работала в Гавайском университете Научная деятельность Специализируется на философии и истории логики, математики и естественных наук Исследует вклад французских авторов в эти области …
-
Джозеф Р. Шонфилд — Википедия
Джозеф Р. Шенфилд Образование и карьера Защитил докторскую диссертацию по математической логике в 1953 году. Преподавал в университете Дьюка с 1952 по 1992 год, стал почетным профессором. Президент математического факультета с 1970 по 1973 год. Учился в Институте перспективных исследований в 1956/57 году. Научные достижения Работал над теорией рекурсии, моделями и аксиоматической теорией множеств. Его…
-
Генрих Шольц — Википедия
Генрих Шольц Биография Генриха Шольца Немецкий философ и логик, родился в 1874 году. Изучал философию в университетах Берлина и Геттингена. Преподавал в университетах Берлина, Геттингена и Тюбингена. Внес значительный вклад в развитие логики и философии математики. Основные работы и идеи Автор множества работ по логике, философии религии и истории философии. Исследовал взаимосвязь между логикой и…
-
Ульрих Коленбах — Википедия
Ульрих Кохленбах Биография Ульриха Вильгельма Кохленбаха Немецкий математик, профессор в Техническом университете Дармштадта Специализируется на доказательном майнинге Президент Немецкой ассоциации математической логики и фундаментальных исследований (DVMLG) и Ассоциации символической логики Образование и карьера Окончил гимназию Лессинга и Франкфуртский университет имени Гете Получил стипендию от Общества изучения немецкого народа Защитил докторскую диссертацию и прошел абилитацию Работал…
-
Уильям В. Тейт — Википедия
Уильям У. Тейт Образование и карьера Тейта Тейт получил степень бакалавра в университете Лихай в 1952 году и докторскую степень в Йельском университете в 1958 году. Он преподавал в Стэнфордском, Иллинойском и Орхусском университетах, а также был заведующим кафедрой в Чикагском университете. Тейт был активным участником движения против налогообложения во время войны во Вьетнаме и…
-
Торальф Скулем — Википедия
Торальф Сколем Биография Торальфа Сколема Норвежский математик и логик, родился в 1887 году. Известен своими работами в области теории множеств и логики. Внес значительный вклад в теорию вычислимых функций и арифметику. Ранние годы и образование Получил образование в университете Осло, где изучал математику и философию. В 1913 году защитил докторскую диссертацию по философии. Научная карьера…
-
Жан Галье — Википедия
Жан Галье Биография Жана Анри Галье Исследователь в области вычислительной логики, работает в Пенсильванском университете. Родился в Нанси, имеет двойное гражданство Франции и США. Получил образование в области строительства и компьютерных наук, защитил докторскую диссертацию в Калифорнийском университете. Карьера и достижения Начал работать в Пенсильванском университете в 1978 году, стал профессором в 1990 году. Руководил…