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