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 della teoria delle categorie.
→ Dimostrazione, teoria della ...
Leggi Tutto
Antropologia
C. matrimoniali Suddivisioni esogamiche (meglio note come fratrie o, se in numero di due, metà) in cui si ripartisce la società, indipendentemente dalla divisione della società medesima [...] tribale, essere o meno sposati ecc.) creano distinzioni sociali più o meno nette presso quasi tutti i popoli.
Botanica
Categoria tassonomica compresa tra la divisione (o phylum) e l’ordine. Le c. sono indicate di norma dalla desinenza -opsida ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] fibrato olomorfo (precedentemente introdotte da Serre).
Sulle omologie singolari. S. Eilenberg e S. MacLane, usando il linguaggio delle categorie e dei funtori e la tecnica dei modelli aciclici, provano che tutte le omologie singolari fino ad allora ...
Leggi Tutto
magnete
magnète [Der. del gr. Mág✄nes (líthos) "pietra di Magnesia (al Silipo)", lat. magnes -etis] [STF] [EMG] Denomin. data inizialmente a rocce naturalmente capaci di attirare oggetti di ferro, le [...] rocce magnetizzate, come m., visti principalmente quali generatori di campi magnetici, s'intendono attualmente le due categorie degli elettromagneti (→ elettromagnete) o m. temporanei (le loro proprietà scompaiono infatti se s'interrompe la corrente ...
Leggi Tutto
equivalenza categorica
Luca Tomassini
Una categoria C è composta da: (a) una classe ObC (non necessariamente un insieme, dunque) di oggetti, per esempio enti matematici (gruppi o loro rappresentazioni, [...] ogni oggetto A si suppone assegnato un morfismo identità idΑ:A→A. La classe di morfismi da un oggetto A a un oggetto B in una categoria C si indica con HomC(A,B). Dati due morfismi α e β in HomC(A,B) e HomC(B,C) rispettivamente, esiste un morfismo β ...
Leggi Tutto
Diritto
Diritto privato
Fenomeno squisitamente giuridico per il quale un soggetto subentra ad altro soggetto in un complesso di rapporti giuridici patrimoniali ovvero in un rapporto giuridico patrimoniale [...] , la quale si attua nell’ambito della famiglia e con riferimento a determinate categorie di successibili, che possono succedere con esclusione nel concorso di altre categorie. La legge al riguardo prende in considerazione nell’ordine (art. 565 c.c ...
Leggi Tutto
Espressione con cui si indica l’argomento di molte ricerche matematiche, intese a individuare le massime e le minime grandezze tra un certo numero di grandezze assegnate, oppure i valori massimi e minimi [...] c) i valori di x interni all’intervallo, per i quali non esiste la derivata prima (punto s). Precisamente: se per un valore ξ della categoria I si ha f″ (ξ) > 0, o f″ (ξ) < 0, ξ è un valore rispettivamente minimante o massimante, e quindi f (ξ ...
Leggi Tutto
Negli ultimi decennî l'aritmetica superiore o teoria dei numeri è stata intensamente coltivata, in ispecie in Germania, nei paesi anglosassoni ed in Russia. Nella impossibilità di esaurire in ogni particolare [...] approssimazioni diofantee è quello di approssimare un numero reale o complesso mediante una successione di numeri appartenenti a categorie aritmetiche prestabilite. Dopo che alla teoria ebbe a portare contributi classici H. Minkowski, la teoria si è ...
Leggi Tutto
Statistica applicata alle scienze sociali
Italo Scardovi
La statistica e l'immanenza della variabilità
Statistica è parola dai tanti, forse troppi, significati. Essi riflettono, nella loro varietà, [...] più sintetica gradualità tipologica, la classificazione spoglia i fatti dei loro aspetti inessenziali e li riduce a simboli di categorie concettuali, a eventi enumerabili. Senza classi e sistemi di classi non avrebbero potuto affermarsi, a lato delle ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] divenire: nell'espandersi dell'universo, nell'evolversi della vita, nel farsi della storia dell'uomo. Le scienze ne traggono categorie, regolarità, leggi valide entro assegnati limiti di tempo e di spazio. Tutto sta nel vedere quei limiti; tutto sta ...
Leggi Tutto
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....
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...