semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] può estendere a universi più generali considerando interpretazioni non necessariamente insiemistiche; possiamo così interpretare le teorie in categorie come i topos di prefasci o fasci ottenendo risultati che non hanno corrispettivo se ci si limita ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] dove Zi(X):= ={a∈ Ci(X)∣d(a)=0}(i cicli) e Bi(X):={d(Ci+1(X)} (i bordi). I complessi algebrici formano una categoria in quanto si definisce omomorfismo fra due complessi Ci e Di una sequenza di omomorfismi di gruppi Fi:Ci→Di che commutino con i bordi ...
Leggi Tutto
gioco cooperativo
Roberto Lucchetti
Esistono situazioni in cui ai giocatori può convenire fare accordi, e che tali accordi siano vincolanti. In questo caso, si parla di gioco cooperativo. Negli altri [...] questi violino gli accordi, automaticamente la maggioranza non c’è più. All’interno della teoria cooperativa, esistono due grandi categorie di giochi: i cosiddetti giochi a utilità trasferibile (o anche a pagamenti laterali), e quelli a utilità non ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] procedure combinatorie. Di data più recente ma con promesse di grandi sviluppi sono i rapporti con la teoria delle categorie, che già ha fornito decisivi contributi all’unificazione dei diversi aspetti della ricerca logica.
I linguaggi formali che la ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La scienza della musica negli scritti arabi
Amnon Shiloah
La scienza della musica negli scritti arabi
Un itinerario teorico nell'affascinante [...] idee che si trovano nelle fonti di cui abbiamo trattato. La risposta si ricava da un testo fondamentale, più tardo, appartenente alla categoria di scritti che stiamo analizzando e che classifica la musica e il canto fra le arti di base: si tratta del ...
Leggi Tutto
Scienza che ha per oggetto lo studio dei fenomeni collettivi suscettibili di misura e di descrizione quantitativa: basandosi sulla raccolta di un grande numero di dati inerenti ai fenomeni in esame, e [...] rapporti reciproci e nelle loro relazioni con i paesi esteri, e si manifestano in attività rivolte alle fondamentali categorie della produzione, della distribuzione, del consumo e della formazione del capitale. La s. economica si occupa quindi della ...
Leggi Tutto
errori di misura
Giovanni Vittorio Pallottino
Differenza fra il valore vero di una grandezza e quello misurato
Qualsiasi misurazione è soggetta a errore, cioè fornisce un risultato diverso dal valore [...] di una misura contribuiscono generalmente più tipi d'errore, dovuti a varie cause e che si suddividono in due categorie principali: gli errori sistematici e gli errori casuali o accidentali. Si chiamano errori sistematici quelli che, pur ripetendo la ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. L'aristotelismo e le sue alternative
John A. Schuster
L'aristotelismo e le sue alternative
L'organizzazione della conoscenza all'inizio della [...] al mutamento. Nel suo significato letterale di 'dopo la fisica', il termine indicava l'ampia e astratta analisi delle categorie costitutive utilizzate sia nella filosofia e nella matematica, sia nell'analisi della materia, della causa, dello spazio e ...
Leggi Tutto
La civilta islamica: osservazioni, calcolo e modelli in astronomia. Geografia matematica e cartografia
Edward S. Kennedy
Geografia matematica e cartografia
Lo storico delle scienze esatte dell'Islam [...] del Mediterraneo, ma questo non ha rapporto con la questione del meridiano di base.
A ogni modo, l'esistenza delle categorie A e C è un dato di fatto. Le longitudini di una stessa città, nelle tavole dei due gruppi, tendenzialmente differiscono ...
Leggi Tutto
volo
vólo [Der. di volare, lat. volare] [BFS] [MCF] La capacità di sostenersi e di muoversi nell'aria, catteristica degli Uccelli e di altri organismi viventi (v. locomozione animale aerea) e realizzata [...] strutture del velivolo alle forze e ai momenti applicati. I problemi da risolvere cadono di conseguenza in tre categorie generali: (a) problemi per lo studio delle caratteristiche generali del velivolo (quali il calcolo della velocità massima, della ...
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...