Evert Willem Beth

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)

  • 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

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

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Evert Willem Beth — (July 7, 1908 ndash; April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics. Biography Beth was born in Almelo, a small town in the eastern Netherlands. His father had studied… …   Wikipedia

  • Evert Willem Beth — Pour les articles homonymes, voir Beth. Evert Willem Beth (7 juillet 1908 12 avril 1964) est un philosophe et logicien néerlandais dont les travaux concernent essentiellement les fondements des mathématiques. Sommaire 1 Biographie …   Wikipédia en Français

  • Evert — (ˈeːfˌ̞r̩t) ist die niederdeutsche/niederländische Entsprechung zu Eberhard, bedeutet also: hart wie ein Eber[1] Kurzform: Eef (eːf). Träger …   Deutsch Wikipedia

  • Beth (Begriffsklärung) — Beth bezeichnet: Beth, einen Buchstaben im hebräischen Alphabet Beth (Lied), Lied der Band Kiss (1976) Beth Funktion, in der Mengenlehre eine bestimmte Funktion mit Werten in den Kardinalzahlen ein Verkehrsunternehmen, siehe Omnibusbetriebe Beth… …   Deutsch Wikipedia

  • Beth-Kalkül — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth-Tableau — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth-Tableaux — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth Tableau — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth Tableaux — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …   Deutsch Wikipedia

  • Beth — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Beth peut faire référence à : beth, une lettre de l alphabet hébreu, Bēth, la 2e lettre de l alphabet syriaque, Beth (nombre) Beth, chanson du groupe …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”