Evert Willem Beth - de.LinkFang.org

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]

Inhaltsverzeichnis

Werke (Auswahl)


Literatur


Weblinks


Einzelnachweise


  1. 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



Kategorien: Hochschullehrer (Universität von Amsterdam) | Philosoph (20. Jahrhundert) | Mitglied der Königlich Niederländischen Akademie der Wissenschaften | Logiker | Mann | Niederländer | Person (Almelo) | Geboren 1908 | Gestorben 1964


Quelle: Wikipedia - https://de.wikipedia.org/wiki/Evert Willem Beth (Autoren [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Veränderungen: Alle Bilder und die meisten Designelemente, die mit ihnen in Verbindung stehen, wurden entfernt. Icons wurden teilweise durch FontAwesome-Icons ersetzt. Einige Vorlagen wurden entfernt (wie „Lesenswerter Artikel“, „Exzellenter Artikel“) oder umgeschrieben. CSS-Klassen wurden zum Großteil entfernt oder vereinheitlicht.
Wikipedia spezifische Links, die nicht zu Artikeln oder Kategorien führen (wie „Redlink“, „Bearbeiten-Links“, „Portal-Links“) wurden entfernt. Alle externen Links haben ein zusätzliches FontAwesome Icon erhalten. Neben weiteren kleinen Designanpassungen wurden Media-Container, Karten, Navigationsboxen, gesprochene Versionen & Geo-Mikroformate entfernt.


Stand der Informationen: 25.10.2019 11:31:58 CEST - Wichtiger Hinweis Da die gegebenen Inhalte zum angegebenen Zeitpunkt maschinell von Wikipedia übernommen wurden, war und ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.org nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein oder Fehler in der Darstellung vorliegen, bitten wir Sie darum uns per zu kontaktieren: E-Mail.
Beachten Sie auch : Impressum & Datenschutzerklärung.