Suchergebnisse - Beth, Evert Willem

Evert Willem Beth

mini 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. 1953 wurde er zum Mitglied der Königlich Niederländischen Akademie der Wissenschaften gewählt.

Beth entwickelte semantische Tafeln, die so genannten Beth-Tableaux als syntaktisches Verfahren zur Behandlung semantischer Probleme von Logikkalkülen. Veröffentlicht in Wikipedia