Henkin, Leon Albert

Enciclopedia on line

Logico e matematico statunitense (Brooklyn 1921- Oak land 2006), dal 1962 al 1965 presidente dell'Association for symbolic logic. A lui si deve, fra l'altro, una nota versione del teorema di completezza semantica per le teorie del 1º ordine. Importante il suo impegno per garantire l'accesso all'istruzione universitaria per studenti svantaggiati tramite incentivi economici.

Vedi anche
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come sostituto di semasiologia. 1. Gli studi linguistici I primi studi di semantica di Bréal (Essai de sémantique, ... logica filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. 1. La logica antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità ... matematica Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la matematica pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla matematica applicata compete l’elaborazione di strumenti e modelli adatti agli scopi di altre ...
Categorie
Tag
Vocabolario
leóne
leone leóne (ant. e poet. lióne) s. m. [lat. leo -ōnis, ant. prestito del gr. λέων]. – 1. a. Carnivoro della famiglia felidi (lat. scient. Panthera leo), che vive nelle savane africane a sud del Sahara e, con una piccola popolazione, in...
leone da tastiera
leone da tastiera loc. s.le m. (spreg., iron.) Chi, in Internet e in particolare nei siti di relazione sociale, si esprime in modo aggressivo e violento, non di rado ricorrendo a offese, insulti, minacce, di solito approfittando dell’anonimato,...