Evert W. Beth var en hollandsk logiker, matematiker og filosof.
I 1951 gav Evert W. Beth et topologisk bevis for Löwenheim-Skolems sætning. Han er endvidere kendt for at have udviklet den semantiske tableau-metode, dvs. en metode til at afgøre logiske udtryks gyldighed, en vigtig variant af naturlig deduktion og sekventkalkyle.
Foruden egentlig matematisk logik beskæftigede Beth sig også med logikkens og matematikkens filosofiske grundlag.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.