Уильям В. Тейт
Уильям У. Тейт Образование и карьера Тейта Тейт получил степень бакалавра в университете Лихай в 1952 году и докторскую степень […]
Вики
Математические логики
Вики
Адриан Матиас
Адриан Матиас Биография Адриана Матиаса Британский математик, специализирующийся на теории множеств. Известен концепцией форсинга, названной в его честь. Образование и
Вики
Джин А. Ларсон – Википедия
Джин А. Ларсон Биография Джин Энн Ларсон Американский математик, специализируется на теории множеств и истории математической логики. Первая женщина, получившая
Вики
Джеймс Эрл Баумгартнер
Джеймс Эрл Баумгартнер Биография Джеймса Эрла Баумгартнера Американский математик, работал в области теории множеств и математической логики. Родился в Уичито,
Вики
Грег Хьёрт
Грег Хьорт Грег Хьорт: Математик и Шахматист Австралийский профессор математики, международный мастер по шахматам и чемпион Содружества. Работал в области
Вики
Эверт Виллем Бет
Эверт Виллем Бет Биография Эверта Виллема Бета Голландский философ и логик, специализировался на математике. Член группы Significs Group, профессор логики
Вики
Артур Прайор
Артур Прайор Биография Артура Прайора Артур Норман Прайор был британским философом и логиком, известным своими работами в области модальной логики
Вики
Артур Прайор
Артур Прайор Биография Артура Прайора Артур Норман Прайор был британским философом и логиком, известным своими работами в области модальной логики
Вики
Артур Прайор
Артур Прайор Биография Артура Прайора Артур Норман Прайор был британским философом и логиком, известным своими работами в области модальной логики
Вики
Эхуд Грушовский
Эхуд Грушовски Биография Эхуда Грушовски Математический логик, профессор Оксфордского университета и Мертон-колледжа Ранее профессор математики в Еврейском университете Иерусалима Ранние
Вики
Дэн Уиллард
Дэн Уиллард Образование и карьера Дэн Эдвард Уиллард – американский ученый-компьютерщик, профессор компьютерных наук в Олбани. Получил образование в Стоуни
Вики
Моше Варди
Моше Варди Биография Моше Яакова Варди Израильский математик и специалист по информатике, заслуженный профессор Райса и преподавательский советник Института Кена
Вики
Джульетта Кеннеди
Джульетта Кеннеди Профессиональная деятельность Джульетты Кеннеди Джульетта Кеннеди является доцентом кафедры математики и статистики Хельсинкского университета. Ее научные интересы включают
Вики
Гарри Р. Льюис
Гарри Р. Льюис Биография и карьера Гарри Р. Льюис – американский математик и декан Гарвардского колледжа. Известен своими работами в
Вики
Джеральд Сакс
Джеральд Сакс Вклад Джеральда Сакса в логику Сакс известен своими работами в области теории рекурсии. Он внес значительный вклад в
Вики
Джеффри Б. Реммель
Джеффри Б. Реммел Биография Джеффри Реммела Американский математик, работал в Калифорнийском университете в Сан-Диего. Заслуженный профессор математики и профессор компьютерных
Вики
Сюзанна С. Эпп
Сюзанна С. Эпп Биография и карьера Сюзанны С. Эпп Американский математик и профессор Университета Депола Исследователь в области коммутативной алгебры
Вики
Питер Б. Эндрюс
Питер Б. Эндрюс Биография Питера Б. Эндрюса Американский математик, почетный профессор Университета Карнеги-Меллона Создатель математической логики Q0 Получил докторскую степень
Вики
Рюи де Кейрос
Руй ди Кейруш Биография Руи Гуэрры Руи Гуэрра – португальский логик и информатик, профессор в области теоретической информатики. Родился в
Вики
Валерий Гливенко
Валерий Гливенко Биография Валерия Ивановича Гливенко Советский математик, работал в области основ математики и других областях. Преподавал в Московском индустриально-педагогическом
Вики
Хенк Барендрегт
Хенк Барендрегт Биография Хенка Барендрегта Голландский логик, известен работами в лямбда-исчислении и теории типов. Получил образование в Утрехтском университете и