topos Luogo comune, motivo ricorrente, in un’opera nella tematica di un autore o di un’epoca.
In matematica, particolare categoria, introdotta per la prima volta in questioni di topologia algebrica e di logica matematica da A. Grothendieck verso il 1960; la nozione di t. è stata successivamente sviluppata da F.W. Lawvere e da altri ...
Leggi Tutto
Matematico (Berlino 1928 - Ariège 2014), si trasferì da ragazzo in Francia; dal 1959 al 1970 professore all'Institut des hautes études scientifiques. Ha fornito notevoli contributi all'analisi funzionale [...] prodotti tensoriali topologici; si è interessato di coomologia non commutativa e di topologia generale, sviluppando la "teoriadeitopoi"; in geometria algebrica i programmi da lui delineati hanno aperto nuovi campi di ricerca. Nel 1966 gli è stata ...
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 [...] queste: la nozione di funtore rappresentabile, le categorie fibrate, la teoria della discesa, gli stack, i siti e i topoi, il gruppo fondamentale algebrico, la coomologia étalée e la teoriadei motivi.
Uno strano oggetto celeste. L'astronomo Allen R ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] in funzione una macchina da stampa con cui pubblicò la Nuova teoriadei pianeti di Purbach, seguita dalle sue effemeridi planetarie (almanacco) per triplicità), esponendo anche la dottrina dei domicilia (oĩkoi, tópoi) dei sette pianeti nei 12 segni ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] intuizionista (teoriadei numeri, teoria delle successioni di libera scelta, teoria delle specie che si interpretino le formule (anche di linguaggi di ordine superiore) in categorie di prefasci o fasci e quindi in topoi generali.
→ Logica matematica ...
Leggi Tutto
disabbonare v. tr. Privare qualcuno di un abbonamento. || disabbonarsi v. intr. pron. Recedere da un abbonamento, disattivare un abbonamento. ◆ Usate i programmi per la gestione della posta elettronica più all'avanguardia: gestire le lamentele...
coda
códa s. f. [lat. volg. cōda, class. cauda]. – 1. a. Parte assottigliata del corpo dei vertebrati opposta al capo, costituita da un asse scheletrico (regione caudale della colonna vertebrale), da muscoli e da tegumento; lo sviluppo e la...