imported>Aka: Commons hinzugefügt, Kleinkram

2024-12-11T19:18:20Z

Commons hinzugefügt, Kleinkram

Neue Seite

[[Datei:Een deel van de publicaties van EW Beth.png|mini]]
'''Evert Willem Beth''' (* [[7. Juli]] [[1908]] in [[Almelo]] (Niederlande); † [[12. April]] [[1964]] in [[Amsterdam]]) war ein [[Niederlande|niederländischer]] [[Logik]]er 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 Amsterdam|Universität von Amsterdam]]. 1953 wurde er zum Mitglied der [[Königlich Niederländische Akademie der Wissenschaften|Königlich Niederländischen Akademie der Wissenschaften]] gewählt.<ref>{{Internetquelle| url=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00002175| titel=Past Members: Evert Willem Beth| hrsg=Königlich Niederländische Akademie der Wissenschaften| zugriff=2023-04-14| kommentar=mit Link zur Biografie (niederländisch)}}</ref>

Beth entwickelte semantische Tafeln, die so genannten [[Beth-Tableaux]] als syntaktisches Verfahren zur Behandlung semantischer Probleme von [[Logikkalkül]]en.<ref>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</ref>

== 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, [http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093958744 Gratis-Download]

== Weblinks ==
{{Commonscat}}
* {{DNB-Portal|121030660}}
* [http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.ndjfl/1093958744 Arend Heyting, ''In memoriam: Evert Willem Beth'']

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=121030660|LCCN=n/50/9102|VIAF=76382085}}

{{DEFAULTSORT:Beth, Evert Willem}}
[[Kategorie:Hochschullehrer (Universität von Amsterdam)]]
[[Kategorie:Philosoph (20. Jahrhundert)]]
[[Kategorie:Mitglied der Königlich Niederländischen Akademie der Wissenschaften]]
[[Kategorie:Logiker]]
[[Kategorie:Mann]]
[[Kategorie:Niederländer]]
[[Kategorie:Person (Almelo)]]
[[Kategorie:Geboren 1908]]
[[Kategorie:Gestorben 1964]]

{{Personendaten
|NAME=Beth, Evert Willem
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=[[Niederlande|niederländischer]] Logiker
|GEBURTSDATUM=7. Juli 1908
|GEBURTSORT=[[Almelo]]
|STERBEDATUM=12. April 1964
|STERBEORT=[[Amsterdam]]
}}

Evert Willem Beth - Versionsgeschichte

imported>Aka: Commons hinzugefügt, Kleinkram