Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] , Kurt Schutte, William Tait, Jean-Yves Girard e altri. Su un altro versante, particolare interesse hanno riscosso negli ultimi decenni l’analisi di risultati come l’Hauptsatz nel contesto dellateoriadellecategorie.
→ Dimostrazione, teoriadella ...
Leggi Tutto
Matematico russo (n. 1908 - m. 1971), prof. nell'univ. di Mosca (dal 1936), uno dei più insigni studiosi russi di algebra moderna. Si è occupato, in particolare, delle algebre e dellateoriadellecategorie, [...] quelli dovuti a W. Krull in relazione alla teoria dei gruppi. Il suo volume Teorija grupp ("Teoria dei gruppi", 1944) è considerato una delle più esaurienti trattazioni moderne di questo ramo della matematica. Tra le altre opere: Kurs vysšey algebry ...
Leggi Tutto
STORIA (fr. histoire; sp. historia; ted. Geschichte; ingl. history)
Goffredo COPPOLA
Guido CALOGERO
Arnaldo MOMIGLIANO
Carlo ANTONI
*
Il concetto di storia, che nel pensiero antico e medievale ha [...] umano, che universalmente qualificano i diversi aspetti del suo evolversi storico: cioè come prima teoriadellecategorie spirituali intese quali categorie storiografiche. D'altra parte, in quanto il Vico trasferisce lo schema circolare secondo il ...
Leggi Tutto
QUILLEN, Daniel
Carlo Cattani
Matematico statunitense, nato a Orange (New Jersey) il 27 giugno 1940. Conseguito il Ph.D. in matematica alla Harvard University (1969), è stato professore di Matematica [...] , risolvibili con semplici manipolazioni algebriche. Originale è il suo metodo d'indagine nell'algebra omologica e nella teoriadellecategorie e dei funtori. Ha mostrato anche che i metodi dei gruppi formali possono essere utilmente applicati alla ...
Leggi Tutto
SEVERO (Σεβῆρος, Severus)
Guido Calogero
Filosofo greco, appartenente al cosiddetto platonismo medio. La data della sua vita è incerta: in base agli scarsi indizî superstiti sembra si debba assegnare [...] quello platonico in particolare, che anima tutto il processo preparatorio e formativo del neoplatonismo. Così, nella teoriadellecategorie, S. connette elementi platonici e aristotelici con elementi stoici; nella psicologia, sia per quanto concerne ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] stadi che sono modelli è dovuta a Tarski, con il cosiddetto assioma dell'universo, che tornerà utile a proposito della fondazione dellateoriadellecategorie.
Dopo il 1930, la teoria è ormai stabilizzata; non ci sono più discussioni sugli assiomi di ...
Leggi Tutto
Storicismo e storicismo
Giuseppe Cantillo
Storicità della filosofia e filosofia della storia nei primi scritti
Va subito detto che il termine storicismo si trova poche volte negli scritti di Giovanni [...] filosofia (cfr. Garin 1996, pp. XI-XII e XIV-XV).
Nell’“Introduzione”, la filosofia della storia viene presentata come la teoriadellecategorie, dei principi, in base a cui la storia si fa storia e non è più semplicemente documenti e cronache. In ...
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 [...] contesti matematici. Il tentativo più influente e di maggior successo in questa direzione è costituito dalla creazione dellateoriadellecategorie. Tali concetti furono introdotti nel 1942 in un articolo di Mac Lane e Samuel Eilenberg (1913-1998 ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Per la vastità della sua opera e la varietà dei campi indagati, Charles Sanders Peirce [...] e sufficienti a descrivere qualsiasi relazione complessa. Si tratta delle relazioni a uno, due o tre termini, che sono alla base delle sua teoriadellecategorie, definite fenomenologiche o faneroscopiche. Secondo Peirce esistono relazioni triadiche ...
Leggi Tutto
LOMBARDO RADICE, Lucio
Albertina Vittoria
Piervittorio Ceccherini
Nacque a Catania il 10 luglio 1916, da Giuseppe e da Gemma Harasim, terzogenito dopo Giuseppina e Laura.
Come lui stesso scrisse, i [...] universitario italiano argomenti all'epoca trascurati (algebra astratta, algebra lineare, algebra universale, topologia generale, teoriadellecategorie); si adoperò in particolare per l'introduzione di un corso di algebra, che divenne obbligatorio ...
Leggi Tutto
categorico
categòrico agg. [dal lat. tardo categorĭcus, gr. κατηγορικός] (pl. m. -ci). – 1. Di categoria, relativo a categorie nel sign. filosofico; il termine, che in Aristotele significava semplicem. «affermativo», ha assunto nella filosofia...
categoria
categorìa s. f. [dal gr. κατηγορία «imputazione, predicato, attributo», der. di κατηγορέω «accusare, affermare, asserire»; lat. tardo categorĭa]. – 1. In generale, il predicato di una proposizione, l’attributo di un soggetto. a....