Everett Willem Beth (1908 – 1964)

Der niederländische Mathematiker und Logiker Everett Willem Beth befasste sich vor allem mit logisch-philosophische Fragen der Mathematik. Insbesondere untersuchte er Fragen der semantischen Interpreation der intuitionistischen Logik.

Von Beth stammt die Methode des semantischen Tableaus. Er untersuchte die Vollständigkeitsproblematik des zweiwertigen Prädikatenkalküls und fand eine topologische Beweisvariante für das Gödel-Malzew-Theorem.

Beth forschte auch zur Geschichte der Logik.