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

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

Литература

Эта статья взята у (из) Wikipedia. Текст лицензируется по Creative Commons - Attribution - Sharealike. К медиа файлам могут применятся дополнительные условия.