• 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

Sheffer, Henry Maurice

Enciclopedia on line
  • Condividi

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 o non congiunzione o incompatibilità, ma chiamato comunemente operatore di Sheffer. Indicati con p, q due enunciati, l'operatore di S. è definito dal fatto che p / q è sempre vero salvo quando p e q sono entrambi veri. L'importanza dell'operatore di S. è legata al fatto che esso da solo costituisce una base per un linguaggio logico enunciativo, cioè è sufficiente per esprimere tutti i connettivi enunciativi. Così, la negazione ¬ p può essere espressa mediante / con la formula p / p;l'implicazione p ⇒ q con la formula p / (q / q); la congiunzione p∧q con la formula (p / q) / (p / q); ecc. Tra le sue opere si ricordano: A set of five independent postulates for Boolean algebras, with application to logical constants (1913); Mutually prime postulates (1916).

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 ... implicazione geologia In petrografia, si chiama struttura di implicazione quella di una roccia caratterizzata da interpenetrazione di due minerali prevalenti, in modo che un fascio di individui dell’uno, disposti più o meno parallelamente, traversa un individuo o un fascio di individui dell’altro, anch’essi grossolanamente ... 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
  • BIOGRAFIE in Matematica
Tag
  • RUSSIA
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
    Dizionario delle Scienze Fisiche (1996)
    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 ...
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...
  • 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