Beth

Enciclopedia della Matematica (2013)

Beth


Beth Evert Willem (Almelo, Overijssel, 1908 - Amsterdam 1964) logico olandese. Dopo aver studiato matematica e fisica all’università di Utrecht, si interessò, oltre che di logica, di psicologia: costante fu infatti il suo interesse nel raccordare gli aspetti logici (formali) con quelli psicologici (empirici) della conoscenza umana. Fu tra i fondatori, nel 1950, della Commission internationale pour l’étude et l’amélioration de l’einsegnement des mathématiques (cieaem) e, dal 1952, direttore dell’istituto per le indagini sui fondamenti e la filosofia delle scienze esatte presso l’università di Amsterdam; collaborò anche con J. Piaget dando importanti contributi alle ricerche sullo sviluppo cognitivo. Suo è il metodo delle tavole semantiche, procedimento sistematico per la confutazione delle proposizioni, che porta a identificare la nozione di verità logica con quella di proposizione inconfutabile. A Beth si devono anche la prima caratterizzazione propriamente semantica della logica intuizionista e un fondamentale teorema concernente la teoria della definizione ( Beth-Padoa, teorema di). Tra le opere principali: Les fondements logiques des mathématiques (I fondamenti logici della matematica, 1950), L’existence en mathématique (L’esistenza in matematica, 1955), The foundations of mathematics (I fondamenti della matematica, 1959).

TAG

Logica intuizionista

Overijssel

Matematica

Psicologia

Amsterdam