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

У этого термина существуют и другие значения, см. Бет.

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

Эверт Виллем Бет
нидерл. Evert Willem Beth
Дата рождения	7 июля 1908(1908-07-07)
Место рождения	Алмело, Нидерланды
Дата смерти	12 апреля 1964(1964-04-12) (55 лет)
Место смерти	Амстердам, Нидерланды[1]
Страна	Нидерланды
Род деятельности	математик, философ, инженер, преподаватель университета
Научная сфера	логика, философия
Место работы	Амстердамский университет Университет Джонса Хопкинса Амстердамский университет[1] Амстердамский университет[1] Амстердамский университет[1] Амстердамский университет[1] Амстердамский университет[1] Амстердамский университет[1]
Альма-матер	Утрехтский университет
Учёная степень	докторская степень[вд][2]
Научный руководитель	Johannes Christiaan Franken[вд][3]
Ученики	Joop Doorman[вд][3] и Karel L. de Bouvere[вд][3]
Медиафайлы на Викискладе

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

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

Труды

• De wijsbegeerte der wiskunde van Parmenides tot Bolzano. Standaard Boekhandel, Antwerpen 1944.
• Symbolische Logik und Grundlegung der exakten Wissenschaften (Bibliographische Einführung in das Studium der Philosophie). Francke, Bern 1948.
• Les fondements logiques des mathématiques. 1950.
• The Foundations of Mathematics. Standaard Boekhandel, Amsterdam 1959.
• совместно с Жаном Пиаже: pistémologie mathématique et psychologie. Essai sur les realtions entre la logique formelle et la pensée réelle. Presses Universitaires de France, Paris 1961.
• Mathematical Thought. An Introduction to the Philosophy of Mathematics. Reidel, Dordrecht 1965.

Примечания

1. Album Academicum — 2007.
2. Deutsche Nationalbibliothek Record #121030660 // Gemeinsame Normdatei (нем.) — 2012—2016.
3. Mathematics Genealogy Project (англ.) — 1997.

Литература

• Бет, Эверт Виллем — статья из Большого Энциклопедического словаря
• Новая философская энциклопедия. — М.: Мысль, 2000. — Т. 1—4. — ISBN 5-244-00961-3
• Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 1986