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
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 [...] numeri algebrici.
Con Hilbert abbiamo i teoremifondamentali: della base, delle sizigie, il Nullstellensatz, l'idea di estendere ad anelli e varietà, classici invarianti dell'aritmetica dei numeri algebrici. In questo campo restano numerose ...
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 [...] scoperto un'esplicita formulazione dell'n-esimo teoremafondamentale, ovvero una descrizione delle sizigie. Questo lavoro Michael Artin e Mumford (1972). Una motivazione di natura aritmetica viene dalla domanda, tuttora senza risposta, se ogni gruppo ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Nel secolo scorso lord Kelvin (William Thomson) ideò la cosiddetta teoria degli atomi vortice in cui gli atomi erano visti come mulinelli nell'etere, che si supponeva [...] alcune delle tecniche fondamentalidella teoria dei nodi è il teorema di Kurt Reidemeister, secondo dell'aritmetica, così dobbiamo credere che le proprietà topologiche delle corde annodate nella realtà sperimentale seguano le leggi della ...
Leggi Tutto
L'Ottocento: matematica. Calcolo geometrico
Paolo Freguglia
Gert Schubring
Calcolo geometrico
Uno degli aspetti che hanno caratterizzato lo sviluppo della matematica nell'Ottocento è rappresentato [...] era confrontabile con la divisione aritmetica. Intanto, per via della non commutatività della moltiplicazione occorre distinguere tra una aveva già introdotto tutti i concetti fondamentali e dimostrato i teoremidell'algebra lineare (l'esistenza di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematizzazione della biologia e la biomatematica
Giorgio Israel
La matematizzazione della biologia e la biomatematica
Le sorgenti concettuali [...] nel contesto dell'aritmetica politica e della matematica sociale
Lo sviluppo della dinamica delle popolazioni è dovuto all'opera fondamentale di due scienziati 'teoremadella soglia', determinava il livello al di sopra del quale la trasmissione dell ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La matematica applicata all'astrologia
Edward S. Kennedy
La matematica applicata all'astrologia
L'astrologia può essere definita come [...] a un problema fondamentaledell'astrologia. Viene anche esaminato il contenuto della trigonometria medievale, che , e si basava solamente su un teorema, quello di Menelao. Dal momento che tale teorema considera un intero quadrilatero piuttosto che un ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La nascita del calcolo delle probabilita
Patrizia Accordi
La nascita del calcolo delle probabilità
Introduzione
Il carteggio del 1654 tra Blaise [...] . Luca Pacioli nella Summa de aritmetica (1494) propose una soluzione, delle altre discipline della matematica.
Nonostante questo fermento, e malgrado vari tentativi di sistemazione e la dimostrazione di alcuni teoremifondamentali, come il teorema ...
Leggi Tutto
BONCOMPAGNI LUDOVISI, Baldassarre
Vincenzo Cappelletti
Nacque a Roma il 10 maggio 1821, secondogenito di don Luigi, principe di Piombino, e di Maria Maddalena Odescalchi. Tra gli studiosi che ebbero [...] di esporre sistematicamente i principi dell'aritmetica e dell'algebra indiane ed arabe: ma dell'opera maggiore del Pisano. Il Libri, che aveva avuto piena consapevolezza dellafondamentale , una dimostrazione del teorema di Pitagora attraverso la ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] formale, sollevando due fondamentali questioni: la completezza e la decidibilità.
La nascita della teoria dei modelli
Nei dell’aritmetica. Del resto, l’esistenza di modelli non standard dell’aritmetica è una diretta conseguenza del primo teorema di ...
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...