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 [...] B→A), che è stato più volte messo in dubbio (si pensi a una lettura causale di → o ad una in termini di rilevanza): come tale un teorema Γ;Γ′⇒A di LJ. Analogo il caso dei passaggi all'inverso. Ciò che ci dà in più l'immersione di LK e LJ in LU ...
Leggi Tutto
tempo
tèmpo [Der. del lat. tempus -oris] [LSF] (a) Successione di istanti, intesa sempre come una estensione illimitata, ma tuttavia capace di essere suddivisa, misurata, e distinta, in ogni sua frazione [...] successione distatidi un sistema fisico corrisponde a una successione crescente di reale. ◆ [ASF] T. siderale: il t. locale riferito al passaggio al meridiano di un astro o di un particolare punto della sfera celeste, anziché del Sole. ◆ [ASF ...
Leggi Tutto
immagine
immàgine [Der. del lat. imago -ginis] [LSF] (a) Concret., forma esteriore degli oggetti corporei, qual è percepita dalla vista (i. visiva od ottica). (b) Ancora concret., la forma di oggetti [...] i. ottica e un elaboratore di tali segnali (in tali passaggi intermedi può aversi un'i. [TRM] [OTT] I. termica, o termografica: la rappresentazione dello stato termico di un oggetto fornita dal procedimento termografico: v. termografia infrarossa. ◆ [ ...
Leggi Tutto
algoritmi
Roberto Levi
Istruzioni per far funzionare da sole le macchine
Molte attività umane non si possono svolgere senza seguire precise indicazioni. Come le 'istruzioni per l'uso' spiegano il funzionamento [...] solo dopo che l'algoritmo sia stato tradotto in un programma, cioè in una serie di istruzioni scritte in un linguaggio un numero finito dipassaggi, portando a un risultato ben preciso. Insomma un computer, non essendo dotato di intelligenza, non può ...
Leggi Tutto
FERGOLA, Emanuele
Giuseppe Monaco
Nacque a Napoli il 20 ott. 1830, da Gennaro e da Gabriella Carrillo, una famiglia di ceto elevato.
A soli tredici anni iniziò a frequentare l'osservatorio di Capodimonte, [...] telegrafica delle osservazioni dei passaggi, in Atti della R. Acc. delle scienze fisiche e matematiche di Napoli, V ( G. Tricomi, Matematici ital. del primo secolo dello Stato unitario, in Atti d. Acc. delle scienze di Torino, s. 4, I (1962), p. 52 ...
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 [...] estetica musicale. Al-Iṣfahānī, inoltre, cita numerosi passaggidi scrittori precedenti, le cui opere sono andate e cura dei particolari è un modello e un esempio eccellente di quanto era stato scritto fino a quel periodo. Dopo aver definito il modo ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Diffusione e primi sviluppi del calcolo infinitesimale
Clara Silvia Roero
Diffusione e primi sviluppi del calcolo infinitesimale
Il decollo enigmatico [...] il calcolo differenziale e integrale in pochi passaggi. Il clamore suscitato in Italia da S., La matematica tra gli 'affari diStato' nel Granducato di Toscana alla fine del XVII secolo, "Bollettino di storia delle scienze matematiche", 11, 1991, ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] . Dall’altro si tratta di realizzare il passaggio dalla descrizione esplicita a quella implicita. Come lascia intendere il nome assunto dalla funzione che descrive l’evoluzione dello stato nel caso di una rappresentazione implicita (funzione ...
Leggi Tutto
termico
tèrmico [agg. (pl. m. -ci) Der. del gr. thermós "caldo", "che riguarda il calore o la temperatura"] [TRM] Analisi t.: finalizzata al riconoscimento di transizioni di fase: v. termica, analisi. [...] uno statodi equilibrio t. a un altro statodi equilibrio, a seguito di una perturbazione di tipo t.; il tempo di rilassamento t. è la durata di tale fase. ◆ [TRM] Stato t.: lo stesso che statodi equilibrio t., quando non si hanno passaggidi calore ...
Leggi Tutto
PROGRAMMAZIONE NON LINEARE
Amato Herzel
. Il termine "p. matematica" indica l'analisi dei problemi del tipo: trovare il massimo (o il minimo) di una "funzione obiettivo" quando le variabili sono soggette [...] possibile, almeno allo stato attuale, parlare di una teoria completa o anche solo di un'impostazione sistematica. l.; infatti, con passaggi ovvi si può sempre trasformare, per es., un problema di massimo in un problema di minimo (basta moltiplicare ...
Leggi Tutto
passaggio
passàggio s. m. [dal fr. (ant.) passage, der. di passer «passare»]. – 1. a. L’atto di passare per un luogo, di percorrerlo, di attraversarlo, o di andare da un luogo all’altro: il p. di un ponte, del confine; il p. di un fiume a...
pace s. f. [lat. pax pacis, dalla stessa radice *pak-, *pag- che si ritrova in pangere «fissare, pattuire» e pactum «patto»]. – 1. a. Condizione di normalità di rapporti, di assenza di guerre e conflitti, sia all’interno di un popolo, di uno...