Evert Willem Beth
Evert Willem Beth (* 7. Juli 1908 in Almelo (Niederlande); † 12. April 1964 in Amsterdam) war ein niederländischer Logiker und Philosoph.
Er war Lehrer an Oberschulen und von 1946 bis 1964 Professor für mathematische Logik, Geschichte der Logik und Wissenschaftstheorie an der Universität von Amsterdam.
Beth entwickelte semantische Tafeln, die so genannten Beth-Tableaux als syntaktisches Verfahren zur Behandlung semantischer Probleme von Logikkalkülen.[1]
Werke (Auswahl)
- 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.
- mit 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.
Literatur
- Arend Heyting: In memoriam Evert Willem Beth, Notre Dame Journal of Formal Logic 7, no. 4 (1966), Seite 289–295, Gratis-Download
Weblinks
Einzelnachweise
- Evert Willem Beth: Semantic Entailment and formal derivability, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Band 18, Nummer 13, Amsterdam: 1955, Seite 309–342, gekürzter, übersetzter Nachdruck in Berka/Kreiser 1986, Seite 262 ff.
- Erste systematische Ausarbeitung des Baumkalküls
- Evert Willem Beth: A topological proof of the theorem of Löwenheim-Skolem-Gödel, Indag. Math. 13, Seite 346–344
- Erste Gedanken in Richtung eines Baumkalküls
- Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, Berlin: Akademie 1986
- Gekürzter Nachdruck von Beth 1955 ab Seite 262
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.