Бет, Эверт Виллем
Эверт Виллем Бет (нидерл. Evert Willem Beth; 7 июля 1908, Алмело — 12 апреля 1964, Амстердам) — нидерландский логик и философ.
Он был преподавателем высшей школы, с 1946 по 1964 год — профессор математической логики, истории логики и философии науки в Амстердамском университете. Содействовал становлению логики как академической дисциплины.
Бет разработал семантические таблицы, которые названы таблицами Бета, для логики предикатов и семантику интуиционистской логики.
Общие сведения
| Эверт Виллем Бет | |
|---|---|
| Evert Willem Beth | |
| Дата рождения | 7 июля 1908 |
| Место рождения | Алмело, Нидерланды |
| Дата смерти | 12 апреля 1964 (55 лет) |
| Место смерти | |
| Страна | |
| Научная сфера | логика, философия |
| Место работы | |
| Образование | |
| Учёная степень | докторская степень[d][2] |
| Научный руководитель | Johannes Christiaan Franken[d][3] |
| Ученики | Joop Doorman[d][3] и Karel L. de Bouvere[d][3] |
Труды
- 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.
Примечания
Литература
- Бет, Эверт Виллем — статья из Большого Энциклопедического словаря
- Новая философская энциклопедия. — М.: Мысль, 2000. — Т. 1—4. — ISBN 5-244-00961-3
- Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 1986