Evert Willem Beth

Evert Willem Beth (Almelo, 7 luglio 1908 – Amsterdam, 12 aprile 1964) è stato un matematico olandese.

Biografia

Beth nacque ad Almelo, nei Paesi Bassi, e studiò matematica e fisica presso l'Università di Utrecht. Nel 1935, conseguì un Dottorato di Ricerca in filosofia. Nel 1946 divenne docente di logica e fondamenti della matematica presso l'Università di Amsterdam e ricoprì questo ruolo fino all'anno della sua morte, salvo due brevi interruzioni, una nel 1951, anno in cui fu assistente di ricerca di Alfred Tarski e un'altra nel 1957, anno in cui fu visiting professor alla Johns Hopkins University. La sua fu la prima cattedra di logica e fondamenti della matematica nel suo paese e collaborò attivamente con la comunità scientifica internazionale a fare della logica una disciplina accademica. Nel 1950 contribuì alla fondazione della Commission internationale pour l’étude et l’amélioration de l’einsegnement des mathématiques (cieaem). A partire dal 1952, diresse l’Istituto per le indagini sui fondamenti e la filosofia delle scienze esatte, presso l’università di Amsterdam. Conobbe Jean Piaget, col quale collaborò, contribuendo significativamente alle ricerche sullo sviluppo cognitivo. Il 16 maggio del 1953 divenne membro della Accademia reale delle arti e delle scienze dei Paesi Bassi, in acronimo KNAW

Pensiero scientifico

Uno dei nomi più importanti della filosofia della scienza olandese, il suo pensiero si articolò in quattro diverse fasi . All'inizio, cercò di pervenire ad una sintesi tra il neokantismo della Scuola di Marburgo e i risultati della ricerca sui fondamenti della matematica condotta dal Circolo di Vienna. Poi, rifiutando il concetto della filosofia come Weltanschauung, giunse ad una filosofia dell'oggettività scientifica. Successivamente, dedicatosi a studi storici, assunse un atteggiamento critico nei confronti della filosofia e della teoria della conoscenza tradizionale. Infine, intraprese nuovi studi nel settore della logica matematica, della semantica e della filosofia della scienza. Ha dato importanti contributi nel campo della teoria della logica con il metodo delle tavole semantiche, ovvero un procedimento sistematico ideato per la confutazione delle proposizioni, e identifica il concetto di verità logica con quello di proposizione inconfutabile. A lui si deve una caratterizzazione propriamente semantica della logica intuizionista e un teorema, il teorema Beth-Padoa, che riguarda la teoria della definizione, in base al quale ogni concetto implicitamente definibile ammette, in ogni caso, anche una definizione esplicita