Evert Willem Beth

from Wikipedia, the free encyclopedia
Een deel van de publicaties van EW Beth.png

Evert Willem Beth (born July 7, 1908 in Almelo (Netherlands), † April 12, 1964 in Amsterdam ) was a Dutch logician and philosopher .

He was a teacher in high schools and from 1946 to 1964 professor of mathematical logic, history of logic and philosophy of science at the University of Amsterdam .

Beth developed semantic tables, the so-called Beth-Tableaux, as a syntactic procedure for the treatment of semantic problems of logic calculi .

Works (selection)

  • De wijsbegeerte the wiskunde van Parmenides tot Bolzano . Standaard Boekhandel, Antwerp 1944.
  • Symbolic logic and foundation of the exact sciences ( bibliographical introduction to the study of philosophy ). Francke, Bern 1948.
  • Les fondements logiques des mathématiques . 1950.
  • The Foundations of Mathematics . Standaard Boekhandel, Amsterdam 1959.
  • with Jean Piaget : pistémologie mathématique et psychologie. Essai sur les relations 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.

literature

  • Arend Heyting : In memoriam Evert Willem Beth, Notre Dame Journal of Formal Logic  7 , no. 4 (1966), pages 289-295, free download

Web links

Individual evidence

  1. ↑ Evert Willem Beth: Semantic Entailment and formal derivability, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen , Volume 18, Number 13, Amsterdam: 1955, pages 309–342, abridged, translated reprint in Berka / Kreiser 1986, page 262 ff.
    First systematic elaboration of the tree calculus
    • Evert Willem Beth: A topological proof of the theorem of Löwenheim-Skolem-Gödel, Indag. Math. 13, pp. 346-344
    First thoughts in the direction of a tree calculus
    • Karel Berka , Lothar Kreiser: Logic texts. Annotated selection on the history of modern logic , Berlin: Akademie 1986
    Abridged reprint by Beth 1955 from page 262
personal data
SURNAME Beth, Evert Willem
BRIEF DESCRIPTION Dutch logician
DATE OF BIRTH July 7, 1908
PLACE OF BIRTH Almelo
DATE OF DEATH April 12, 1964
Place of death Amsterdam