Sheffer Henry Maurice

Dizionario delle Scienze Fisiche (1996)

Sheffer Henry Maurice


Sheffer (talora Sheller) 〈šèfër〉 Henry Maurice [STF] (n. in Russia 1883 - Cambridge, Massachusetts, 1964) Prof. di matematica nell'univ. Harvard di Cambridge, Massachusetts. ◆ [ALG] [FAF] Funtore di S.: nella logica matematica, detto anche operatore di S., e anche negazione alternativa o non congiunzione o incompatibilità, introdotto da S. nel 1913 e denotato con il simb. |; se p e q sono due enunciati, p|q è sempre vero, salvo quando p e q sono entrambi veri; è importante in quanto consente di esprimere tutti i connettivi enunciativi (per es., la negazione di p può esprimersi come p|p).

Vedi anche
Quine, Willard Van Orman Logico e filosofo statunitense (Akron, Ohio, 1908 - Boston, Massachusetts, 2000). Partito dalla critica della teoria dei tipi per mostrarne l'eliminabilità in un lavoro di perfezionamento e di semplificazione del simbolismo messo a punto da Russell e Whitehead, il contributo di Quine, Willard Van Orman ... 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 ... Harvard University Università del Massachusetts, fondata nel 1636 a New Towne (od. Cambridge). Prese il nome dal suo primo benefattore, il pastore J. Harvard (1607-1638), che donò all'istituzione la sua biblioteca e metà dei suoi possedimenti. È la più antica e famosa università degli Stati Uniti. L'ordinamento fu ispirato ... funtore In matematica, trasformazione di una categoria C in un’altra categoria D, definita da una coppia di ‘funzioni’, ϕ e ψ, tali che: a) se A, B, ... indicano ‘oggetti’ di C, ϕ(A), ϕ(B) ... sono ‘oggetti’ ben determinati di D; b) se g, h, ... sono ‘morfismi’ di C, ϕ (g), ϕ (h), ... sono ‘morfismi’ di D; c) ...
Categorie
Tag
Altri risultati per Sheffer Henry Maurice
  • Sheffer
    Enciclopedia della Matematica (2013)
    Sheffer Henry Maurice (Ucraina 1882 - Boston 1964) logico matematico statunitense di origine ucraina. Emigrato negli Stati Uniti da bambino con la sua famiglia, fu professore di filosofia a Harvard fino al suo pensionamento nel 1952. I suoi lavori riguardarono soprattutto i fondamenti della matematica, ...
  • Sheffer, Henry Maurice
    Enciclopedia on line
    Logico matematico (n. in Russia 1883 - m. 1964), prof. alla Harvard University. Le sue ricerche, che riguardano soprattutto i fondamenti della matematica, gli procurarono grande fama. È soprattutto ricordato per avere introdotto, nel 1913, un operatore (denotato con il simbolo /), detto negazione alternativa ...
Vocabolario
henry
henry 〈hènri〉 s. m. [dal nome del fisico statunitense J. Henry (1797-1878)]. – In elettrologia, unità di misura SI (simbolo: H) del coefficiente di autoinduzione e mutua induzione: un circuito elettrico presenta autoinduttanza (o mutua...