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

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

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

Он был преподавателем высшей школы, с 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. 1 2 3 4 5 6 7 Album Academicum — 2007.
  2. Deutsche Nationalbibliothek Record #121030660 // Gemeinsame Normdatei (нем.) — 2012—2016.
  3. 1 2 3 Mathematics Genealogy Project (англ.) — 1997.

Литература[править | править код]