Beth, Evert Willem

Enciclopedia on line

Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 prof. all'univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde van Parmenides tot Bolzano, 1944; Geschiedenes der logica, 1944) passò a ricerche nel campo della logica matematica ottenendo importanti risultati nella teoria della definizione (teorema di definibilità), nell'analisi semantica della logica classica e di quella intuizionista (specie col suo metodo delle tavole semantiche), nella teoria dei modelli, ecc. Tra le sue opere di questa seconda fase d'attività: Les fondements logiques des mathématiques (1950), L'existence en mathématique (1955), La crise de la raison et la logique (1956), The foundations of mathematics (1959), Formal methods (1962).

Vedi anche
lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... Amsterdam Città dei Paesi Bassi (747.584 ab. nel 2008; 1.028.603 ab., considerando l’intera agglomerazione urbana), nella provincia dell’Olanda Settentrionale, situata sull’estremo tronco del fiume Amstel canalizzato. È capitale dei Paesi Bassi (l’Aia è la sede del governo e dei sovrani).  ● Parte integrante della ...
Categorie
Tag
Vocabolario
evèrtere
evertere evèrtere v. tr. [dal lat. evertĕre, comp. di e-1 e vertĕre «volgere»], letter. raro. – Abbattere, distruggere, rovesciare. ◆ Part. pass. evèrso, anche come agg. (v. la voce).
willemite
willemite 〈vi-〉 s. f. [dal nome di Guglielmo (oland. Willem) I, re dei Paesi Bassi (1772-1843)]. – Minerale, di colore variabile (bruno, rosso, giallo, ecc.), nesosilicato di zinco, trigonale, sfruttato per l’estrazione dello zinco; in...