Henry Maurice Schaeffer | |
---|---|
Henry Maurice Sheffer | |
Data nașterii | 1 septembrie 1882 |
Locul nașterii | Ucraina |
Data mortii | 17 martie 1964 (81 de ani) |
Țară | |
Sfera științifică | logici |
Loc de munca | |
Alma Mater | |
consilier științific | Royce, Josiah [1] |
Henry Maurice Sheffer ( 1882-1964 ) a fost un logician american .
Henry Schaeffer sa născut într-o familie de evrei polonezi în Ucraina și a emigrat în Statele Unite împreună cu părinții săi . A fost educat la Universitatea Harvard și a studiat logica sub Josiah Royce . Cariera sa de om de știință și activitățile didactice sunt asociate în principal cu Departamentul de Filosofie de la Harvard [2] .
În 1913, Schaeffer a demonstrat că o algebră booleană poate fi definită folosind o singură operație logică binară primară, care ar putea fi exprimată în termeni de negație și conjuncție . Această funcție booleană este numită după omul de știință Shtrikh Schaeffer . Charles Pierce a ajuns și el la rezultate similare în 1880, dar lucrările sale nu au fost publicate până în 1933.
Descoperirea lui Schaeffer a fost lăudată de Bertrand Russell și folosită pentru a-și simplifica logica în a doua ediție a Principia Mathematica . „Logica matematică” a lui Quine se bazează, de asemenea, în mare parte pe stroke-ul lui Schaeffer.