Бет Эверт Виллем
Бет Эверт Виллем
07.07.1908 — 12.04.1964

Бет Эверт Виллем — Биография

Эверт Виллем Бет (нидерл. Evert Willem Beth; 7 июля 1908, Алмело — 12 апреля 1964, Амстердам) — нидерландский логик и философ.

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

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

Владелец страницы: нет
Поделиться