Evert Willem Beth (7 July 1908 to 12 April 1964) was a Dutch philosopher and logician whose work principally concerned the foundations of mathematics. He was a member of the Significs Group. Born in Almelo in the eastern Netherlands, he studied mathematics and physics at Utrecht University and also philosophy and psychology, and took his 1935 PhD in philosophy. In 1946 he became professor of logic and the foundations of mathematics in Amsterdam, the first academic post in his country in that field, and held the post continuously until his death, apart from two brief interruptions, in 1951 as a research assistant to Alfred Tarski and in 1957 as a visiting professor at Johns Hopkins University.
Facts
Connections
In Branch
Source Wikipedia: Evert Willem Beth
Proofs Credited
Source Beth Definability (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Evert Willem Beth
Beth Definability (Wikipedia)
Wikimedia FoundationProofs Credited: Beth Definability Theorem, LeadQuote, Proofs Credited: Beth Definability Theorem, Lead
The result was first proven by Evert Willem Beth in a paper published in 1953.
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.