Результаты поиска - Beth, Evert Willem

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

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

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

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