BirkhoffGarrettBirkhoffGarrett (Princeton, New Jersey, 1911 - Water Mill, New York, 1996) matematico statunitense, figlio del matematico George David. È noto soprattutto per i suoi contributi, anche [...] , nel testo Algebra (1967), utilizzato in traduzione anche nei corsi universitari italiani. Dopo la seconda guerra mondiale, Birkhoff ritornò ai suoi iniziali interessi per le applicazioni della matematica alla fisica e alla ingegneria e nel 1950 ...
Leggi Tutto
Matematico statunitense (Princeton 1911 - Water Mill, New York, 1996), figlio di George David; è stato prof. alle univ. di Washington e Cincinnati. Ha dato un contributo essenziale allo sviluppo dell'algebra astratta, sviluppandone i collegamenti con tutti i rami delle matematiche superiori (dalla topologia al calcolo delle probabilità fino alla logica matematica) e applicandola ad essi. Gran parte ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] cosiddetta matematica applicata, ma ha anche dato impulso (o addirittura origine) a nuove ricerche teoriche. Seguendo GarrettBirkhoff (Current trends in algebra, American mathematical monthly, 1973), elencheremo quattro direttrici di sviluppo dell'a ...
Leggi Tutto
Gli sviluppi dell'algebra generale, o astratta, che ormai può denominarsi a. senz'altro (il termine "a. moderna" tende a cadere in disuso), sono stati così vasti e varî negli ultimi anni da far parlare [...] 1, p. 125.
Tra i matematici che svolgono la loro attività negli U. S. A. ricordiamo A. Albert, N. Jacobson, Marshall Hall, GarrettBirkhoff, A. M. Gleason, S. Eilenberg, R. D. Schafer, O. Zariski, I. Kaplanski; tra gli inglesi Ph. Hall, G. Higman, D ...
Leggi Tutto
Logica matematica
Silvio Bozzi
Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. [...] algebra elementare, in cui abbiamo a che fare con la manipolazione di equazioni. La loro introduzione si deve a GarrettBirkhoff, che negli anni Trenta ha introdotto lo studio delle classi d'algebre definibili equazionalmente e risolto il problema di ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] , impiegando tavole che estendono quelle di Łukasiewicz con più tipi di negazione e di implicazione. Nel 1936 GarrettBirkhoff e John von Neumann introducevano, ancora per lameccanica quantistica, una logica alternativa in cui continua a valere ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] di Boole diviene un capitolo importante della teoria generale dei reticoli introdotta negli anni Trenta del secolo scorso da GarrettBirkhoff. Un reticolo è un insieme ordinato 〈I, ≤ > in cui ogni coppia di elementi (e quindi ogni insieme finito ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] vista astratto, contribuirono alla diffusione del 'vangelo strutturale'. Uno dei più influenti fu A survey of modern algebra di GarrettBirkhoff (1911-1996) e Saunders Mac Lane, la cui prima edizione apparve nel 1941 e che divenne una pietra angolare ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone, Alfred Tarski, GarrettBirkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica come importante ...
Leggi Tutto
logica quantistica
logica quantistica sistema di logica, proposto originariamente negli anni Trenta del secolo scorso dal matematico statunitense GarrettBirkhoff e da J. von Neumann, che rispecchia [...] alcuni aspetti salienti del formalismo matematico proprio della fisica quantistica. Tutte le leggi della logica quantistica sono leggi della logica classica, ma non viceversa: fra le leggi della logica ...
Leggi Tutto