Scienza greco-romana. La matematica nel V secolo
Reviel Netz
La matematica nel V secolo
Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] uguali e a Pitagora, ovviamente, il teorema di Pitagora. La verità è che queste dell’aritmetica così intesa nel pensiero tardopitagorico). Con la scoperta dell altre ipotesi basate su proprietà e relazioni fondamentali tra interi (il fatto di essere ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] e Newton, insieme a quello che oggi si chiama 'teoremafondamentale del calcolo' ‒ dovuto agli studi di Gregory nel 1668 di a3, e così via. L'uso sistematico delle parentesi per le espressioni aritmetiche, che mediante il segno ':' per la divisione ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] , come pure il teorema del binomio facevano parte delle conoscenze dei matematici arabi. Non è poi raro trovare regole riguardanti le permutazioni nei libri di ḥisāb, dopo l'esposizione delle regole elementari dell'aritmetica e della somma di una ...
Leggi Tutto
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
John L. Berggren
Le sfere celesti e le origini della trigonometria
La comparsa della sfera nella geometria è una diretta conseguenza [...] le progressioni aritmetiche usate dai Babilonesi delle sue note, fino al teorema 26 del Libro VI, è dedicata alla dimostrazione dei teoremi 5 e 6 degli Sphaerica di Teodosio, Libro III, che continuava evidentemente a essere il manuale fondamentale ...
Leggi Tutto
Scienza egizia. Matematica
Walter Friedrich Reineke
Friedhelm Hoffmann
Matematica
Nel mondo ellenistico, l'antichissimo, venerando e nondimeno meraviglioso Egitto era considerato la culla della scienza. [...] riguarda i pesi, unità fondamentale era il deben (tbn), teorema di Pitagora o il procedimento di approssimazione delle radici quadrate, quindi in generale alcune delle tecniche aritmetiche, appartengono al patrimonio di conoscenze matematiche dell ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] forte ⊦A→⊦□A. Assumendo KT e adottando il linguaggio dell'aritmetica si otterrebbe come teorema ∉(0≠0)⊃∉(0≠0) e quindi, facendo uso del regole strutturali classiche, cioè delle regole inferenziali fondamentali che non coinvolgono connettivi ...
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 [...] della cancellazione di cifre significative, tipica dell'aritmetica sull'uso della formula fondamentale del calcolo uj)f (xj+1,uj+1)]. Per l'analisi dell'errore di discretizzazione locale τj (h) si ricorre al teorema di Taylor: poiché f(xj,yj)=y′ (xj), ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] degli assiomi dell'aritmetica, posto all'inizio del XX sec. e rimasto insoluto anche nella formalizzazione dei Principia matematica di Bertrand Russell e Alfred N. Whitehead, aveva trovato una risposta negativa nel 1931 con il famoso teorema di ...
Leggi Tutto
L'Eta dei Lumi: matematica. Matematica pura e applicata nel XVIII secolo
Ivor Grattan-Guinness
Matematica pura e applicata nel XVIII secolo
Nel presente volume la determinazione cronologica 'Settecento' [...] ritenuti inevitabili nella teoria delle equazioni, dove furono fatti sforzi per provare il teoremafondamentale secondo cui un nota come 'teoria algebrica', perché coinvolgeva proprietà aritmetiche e algebriche di interi. Negli anni Trenta Euler ...
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 [...] su LK dal punto della teoria della dimostrazione è il cosiddetto Hauptsatz (teoremafondamentale) di Gentzen, dimostrato qualche modo misura una complessità intrinseca del problema della coerenza dell'aritmetica ci viene dal fatto che, quando nel ...
Leggi Tutto
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...