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.

CATEGORIE
TAG

Brooklyn