Evert Willem Beth
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
- Literature by and about Evert Willem Beth in the catalog of the German National Library
- Arend Heyting, In memoriam: Evert Willem Beth
Individual evidence
-
↑ 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 |