La civilta islamica: antiche e nuove tradizioni in matematica. Trigonometria
Marie-Thérèse Debarnot
Trigonometria
Dalla geometria alla trigonometria
La trigonometria, scienza ausiliaria dello studio [...] dell'interpolazione quadratica, equivalente alla formuladi Newton di ordine due, si trova nel di dieci capitoli, uno dei quali riguarda la determinazione dell'ennagono regolare. Due procedimenti geometrici diversi conducono, dopo una riduzione ...
Leggi Tutto
La scienza in Cina: l'epoca Song-Yuan. La matematica
Karine Chemla
Annick Horiuchi
Andrea Eberhard-Bréard
La matematica
La rinascita della matematica e la tarda tradizione settentrionale
di Karine [...] 1987). Un esempio è dato dalla nozione di 'riduzione dispari' (yueqi), che indica la trasformazione 1990: Chemla, Karine, Du parallélisme entre énoncés mathématiques. Analyse d'un formulaire en Chine au 13e siècle, "Revue d'histoire des sciences", 43 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] (x,y), con adeguate definizioni di 'addizione' e 'moltiplicazione' di tali coppie.
Il processo diriduzione fece un sostanziale passo in avanti essi le formule ben formate di L come successioni finite di simboli. Alcune di queste formule dovranno poi ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] coppie critiche e le aggiunge (con un opportuno orientamento) alle regole diriduzione. Nell'esempio precedente, aggiungendo le coppie ac→b e cb→a come quelle che hanno n+1 fattori di lunghezza n, o per mezzo di una formula come la [12] con α numero ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] per la modifica di ūn) al fine di garantire una riduzione dell'errore. Nel caso elementare di un sistema lineare, se f∈Cn([a,b]), il polinomio
[3] formuladi grado n è un'eccellente approssimazione di f e delle sue derivate in un intorno del ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] per le formule in cui occorrono variabili quantificate; in particolare, le sottoformule di ∀xA(x) sono tutti gli esempi A(t) e costituiscono una totalità potenzialmente infinita. Il principio della sottoformula quindi non ci dà tanto una riduzione al ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] intravedere idee legate alle rappresentazioni fin dalle formuledi Clebsch e Gordan sullo sviluppo delle forme dall'altro permette di ridurre tale coomologia alla coomologia ciclica introdotta da Alain Connes (1982). La riduzione utilizza in modo ...
Leggi Tutto
potenziale
potenziale [agg. e s.m. Der. del lat. potentialis, da potentia "potenza"] [LSF] (a) In contrapp. ad attuale, di ciò che ha la capacità di esplicarsi in qualcosa, ma non attuandosi ancora. [...] del vettore del campo per lo scopo (a) e delle formuledi campo per lo scopo (b). Tutto ciò costituisce quell'importante capitolo da un elettrodo normale a idrogeno; definisce il p. diriduzione del metallo, riferito al processo: elettrone +M+→M ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Enrico Betti
Iolanda Nagliati
Enrico Betti fu uno dei più importanti matematici italiani del 19° sec.; ottenne risultati rilevanti in vari campi di ricerca: l’algebra, con gli studi sulla risoluzione [...] 1891), nel caso di quest’ultimo con il contributo dello stesso Brioschi. Il metodo diriduzione preliminare sui coefficienti poi, nel 1889, la formula risolutiva per l’equazione di sesto grado.
Gli studi di Betti sulle funzioni ellittiche, campo ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] di cui si sottolinea il vantaggio cognitivo:
Tutta la dimostrazione è ridotta qui in formuledi logica, analoghe alle formuledi Sullo sfondo epistemologico opera il presupposto leibniziano della riduzione delle idee complesse alle idee semplici: per ...
Leggi Tutto
price cap (Price Cap, price-cap) loc. s.le m. inv. Metodo di regolazione dei prezzi dei servizi pubblici, utilizzato anche in Italia nell'industria, nell'energia e nei servizi di telecomunicazioni, volto a vincolare il tasso di crescita di un...
neutralità carbonica loc. s.le f. Il bilanciamento tra le emissioni di anidride carbonica e di gas serra generate e le emissioni riassorbite (o compensate, nei residui non riducibili, da attività non impattanti sull’ambiente). ♦ Il progetto...