Оглавление
Эверт Виллем Бет
-
Биография Эверта Виллема Бета
- Голландский философ и логик, специализировался на математике.
- Член группы Significs Group, профессор логики и основ математики в Амстердаме.
- Защитил докторскую диссертацию в 1935 году, умер в 1964 году.
-
Вклад в логику
- Теорема об определимости Бет: свойство определяется неявно, если явно.
- Семантические таблицы: эффективный метод принятия решений для логики высказываний и первого порядка.
- Модели Бет: класс реляционных моделей для неклассической логики.
-
Публикации
- “Основы математики” (1959) и другие книги по философии науки и символической логике.
-
Дополнительная информация
- Премия Бет 2013, учрежденная в честь Эверта Виллема Бета.