Scienza indiana: periodo vedico. Discipline ausiliarie dei Veda
Christopher Minkowski
Takao Hayashi
David Pingree
Discipline ausiliarie dei Veda
Testi per i rituali solenni (Śrautasūtra)
di Christopher [...] di kalpa comprende gli Śrautasūtra, i Gṛhyasūtra ('le raccolte di aforismi sui rituali domestici') e i Dharmasūtra ('le raccolte di aforismi sulla legge poteva essere oggetto di studio da parte di tutti.
Non è possibile stabilire con certezza come ...
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 [...] che accresce gli antichi [metodi] eredita la tradizione distabilire un'equazione sulla base di un metodo fondato su un diagramma che ha lo in mente. Per scoprirla occorre probabilmente leggere in filigrana la struttura dell'algoritmo, considerare ...
Leggi Tutto
Modelli matematici in immunologia
Ulrich Behn
(Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania)
Franco Celada
(Cattedra di Immunologia, Università di Genova Genova, Italia)
Philip [...] = Xo si chiama punto fisso. La stabilità dei punti fissi viene misurata osservando l'effetto di una piccola deviazione dal punto fisso: se per la cinetica delle reazioni chimiche nella legge dell'azione di massa. Questo metodo è certamente valido ...
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 [...] maniera distabilire un buon ordinamento di
compiendo una successione transfinita di scelte arbitrarie di sottoinsiemi di A fino puntò l'attenzione sulla questione della giustificabilità della legge del terzo escluso (LTE) secondo una concezione ...
Leggi Tutto
L'Eta dei Lumi: matematica. La matematica della teoria delle perturbazioni da Euler a Laplace
Curtis Wilson
La matematica della teoria delle perturbazioni da Euler a Laplace
Accanto allo sviluppo dei [...] Sessanta del Settecento).
Il passo successivo di Euler fu di esprimere P, Q, R mediante la legge dell'inverso del quadrato della distanza. 1785 Laplace fornì una nuova dimostrazione della stabilità del Sistema solare, basata sulla conservazione 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 [...] il sequente ⇒A è dimostrabile in LK allora A è una legge logica. Quanto alla completezza, essa si può formulare dicendo che di formule di un frammento sarà dimostrabile ‒ se dimostrabile ‒ con sequenti dello stesso frammento. Ciò permette distabilire ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] prima cella del nastro; in ogni istante essa si trova in uno stato s∈S, legge un carattere c∈Π dal nastro ed esegue una delle azioni seguenti:
1) Se ∂(s Pedq). Dati tre interi positivi a, b, c di n cifre, stabilire se l'equazione ax2+by+c=0 ha radici ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] verità stabilisce, allora, che una tale definizione di verità non di significato. Una conferma di questa ipotesi si trova in un passo cancellato di un abbozzo di risposta di Gödel a una lettera di uno studente datata 27 maggio 1970, in cui si legge ...
Leggi Tutto
trasporto
traspòrto [Atto ed effetto del trasportare (→ trasportatore)] [ALG] [ANM] Il passaggio di uno o più dei termini da uno all'altro membro di un'e-quazione, cambiando il loro segno; non altera [...] massimo γ di una sfera sono paralleli due vettori che formano lo stesso angolo con γ. Viene così stabilita una Legge del t.: v. meccanica dei continui: III 690 a. ◆ [MCS] Nuclei di t.: v. trasporto, coefficienti di: VI 330 f. ◆ [CHF] Numero di t.: di ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] e le "leggi imperatorie" che ne assicuravano l'omogeneità e l'universalità. L'anno seguente, nell'ultima edizione della Dialectica (1572) rinnovata profondamente, Ramo affermò che la stessa arte dialettica, alla quale compete distabilire i principî ...
Leggi Tutto
piano di stabilita
piano di stabilità loc. s.le m. Piano economico e finanziario che ciascuno stato aderente alla moneta unica è tenuto a presentare ogni anno agli organi competenti dell’Unione europea. ◆ Bruxelles approva il piano di stabilità...
stabilita
stabilità s. f. [dal lat. stabilĭtas -atis, der. di stabĭlis «stabile»]. – 1. Il fatto, la condizione e la caratteristica di essere stabile, sia in senso proprio, cioè ben basato ed equilibrato, capace di resistere a forze e sollecitazioni...