• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

Beth, Evert Willem

Enciclopedia on line
  • Condividi

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
  • BIOGRAFIE in Matematica
Tag
  • TEORIA DEI MODELLI
  • LOGICA MATEMATICA
  • AMSTERDAM
  • ALMELO
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...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali