Словарь по логике

Бет

Эверт Виллем Бет, E. W. Beth (17.07.1908, Алмело, Нидерланды - 12.04.1964, Амстердам)
 

Нидерландский философ и логик, ученик Брауэра. Разработал метод семантических таблиц, названных его именем. Построил семантику интуиционистской логики с использованием идеи возможных миров. В 1935 доказал теорему из теории определимости, названную его именем.
Сочинения: Geschiedenis der logica. Haag., 1944. Метод семантических таблиц // Математическая теория логического вывода. М., 1967. Les fondements logiques des mathématiques. P. - Louvain, 1955. L’existence en mathématique. P. - Louvain, 1956. La crise de la raison et la logique. P. - Louvain, 1957. Formal methods. An Introduction to Symbolic Logic. Dordrecht, 1962. Mathematical Thought. Dordrecht, 1965. Moderne Logica. Assen, 1966.

© Автор статьи.