Evert Willem Beth

Evert Willem Beth was a Dutch philosopher and logician born on July 7, 1908, in Almelo, Netherlands. His father was a mathematician and physicist, and Evert followed a similar academic path, studying mathematics and physics at Utrecht University before pursuing philosophy and psychology. He obtained his PhD in philosophy in 1935. In 1946, Beth became a professor of logic and the foundations of mathematics at the University of Amsterdam, a position he held until his death on April 12, 1964, in Amsterdam. His academic career included brief interruptions, such as a stint as a research assistant to Alfred Tarski in 1951 and a visiting professorship at Johns Hopkins University in 1957. Beth made significant contributions to the field of logic, most notably the Beth definability theorem, which relates implicit and explicit definability in first-order logic. He is also renowned for developing the semantic tableaux method, a decision procedure for propositional and first-order logic, appreciated for its intuitive simplicity and efficiency. He was recognized for his academic achievements, becoming a member of the Royal Netherlands Academy of Arts and Sciences in 1953. His work significantly influenced the study of logic and the philosophy of science.