Бет, Эверт Виллем

|Изображение = Эверт Виллем Бет.jpg |Ширина = |Описание изображения = |Дата рождения = 7.07.1908 |Место рождения = , Нидерланды |Дата смерти = 12.04.1964 |Место смерти = , Нидерланды |Гражданство = Нидерланды |Научная сфера = логика, философия, философия математики, философия науки |Место работы = Амстердамский университет |Учёная степень = Доктор философии |Учёное звание = профессор |Альма-матер = Утрехтский университет |Научный руководитель = Johannes Christiaan Franken |Знаменитые ученики = |Известен как = создатель семантических таблиц Бета, теорема определяемости Бета, модели Бета, вклад в интуиционистскую логику и основы математики |Награды и премии = член Королевская академия наук Нидерландов (1953), почётный доктор Гентский университет (1964) |Роспись = |Ширина росписи = |Сайт = }} Эверт Виллем Бет (; 7 июля 1908, Алмело — 12 апреля 1964, Амстердам) — нидерландский логик, философ и математик.

Он был преподавателем высшей школы, с 1946 по 1964 год — профессор математической логики, истории логики и философии науки в Амстердамском университете. Содействовал становлению логики как академической дисциплины. Бет считается одним из ключевых фигур в развитии математической логики в Нидерландах и внес значительный вклад в философию математики и основы точных наук.

Бет разработал семантические таблицы, которые названы таблицами Бета, для логики предикатов и семантику интуиционистской логики. Он также известен теоремой определяемости Бета и моделями Бета. Предоставлено Wikipedia