topologia
Enciclopedia on line
Matematica
Lo studio delle proprietà geometriche delle figure che non dipendono dalla nozione di misura, ma sono legate a problemi di deformazione delle figure stesse.
Proprietà topologiche
La t., che [...] di omologia di S, S′, S″. Le relazioni generali tra i gruppi di omologia di una varietà topologica n-dimensionale sono conseguenza del teorema di dualità di Poincaré: il gruppo di omologia Hq(S) è determinato dai gruppi Hn–q(S) e Hn–q–1(S).
Omotopia ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
Frosini, Vittorio
Enciclopedia on line
Filosofo italiano del diritto (Catania 1922 - Roma 2001). Tra i giuristi di rilievo della sua generazione, fu osservatore attento dei fenomeni emergenti in campo giuridico e sociale, di cui seppe dare [...] che con F. si denominò Istituto di Teoria dell'interpretazione e di Informatica giuridica. Tra le sue numerose opere: Teoremi e problemi di scienza giuridica (1971); Il diritto nella società tecnologica (1981); La lettera e lo spirito della legge ...
Leggi Tutto
contraddizione
Enciclopedia on line
Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] del soggetto (per es. sfera cubica).
In logica matematica il principio di c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico, impone che non si presentino contemporaneamente due teoremi della forma A e ¬ A. ...
Leggi Tutto
CATEGORIA:
LOGICA
Finito
Enciclopedia Italiana - VI Appendice (2000)
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] , n11; 2) al posto di n²11, il risultato segue dal teorema di Ramsey tramite la seguente procedura: coloriamo le coppie i, j, con ai,aj, l'altro nell'altro caso. 2) Il seguente teorema di Dilworth è un altro esempio: un insieme parzialmente ordinato ...
Leggi Tutto
CATEGORIA:
ALGEBRA
PLASTICITÀ
Enciclopedia Italiana - IV Appendice (1981)
PLASTICITÀ (App. II, 11, p. 560; III, 11, p. 433)
Osvaldo De Donato
Oggetto della teoria della p. è lo studio del comportamento dei corpi costituiti di materiale duttile sollecitati oltre i limiti elastici. [...] "meccanismo di collasso". Alla base dei procedimenti per la determinazione del coefficiente di sicurezza sono il teorema statico e il teorema cinematico del calcolo a rottura. Di questi il primo afferma che la condizione di carico corrispondente a ...
Leggi Tutto
QUANTITÀ di moto
Enciclopedia Italiana (1935)
QUANTITÀ di moto (fr. quantité de mouvement; sp. cantitad de movimiento; ted. Bewegungsgrösse o Impuls; ingl. quantity of motion o momentum)
1. Termine meccanico. Di un corpo, schematizzato in un punto [...] moto di un qualsiasi sistema materiale è, istante per istante, uguale alla risultante delle forze esterne agenti sul sistema.
Teorema del momento delle quantità di moto o della coppia d'impulso. - La derivata temporale del momento delle quantità di ...
Leggi Tutto
BARROW, Isaac
Enciclopedia Italiana (1930)
Matematico inglese, nato nel 1630, morto nel 1677. Si dedicò agli studî più varî, fra cui emergono quelli matematici e quelli teologici.
Nel 1655, non essendo riuscito ad avere la cattedra di greco a cui [...] 1916), in cui si possono riconoscere quasi completamente sviluppati, involuti soltanto in una forma troppo geometrica, i principali teoremi del calcolo integrale. L'edizione di quest'opera fu curata da Isacco Newton, il quale, come dice la prefazione ...
Leggi Tutto
NUMERI
XXI Secolo (2010)
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] che non tentiamo nemmeno di giustificare.
Un’argomentazione logica ne mostra l’equivalenza con un altro principio: per dimostrare che un teorema matematico è valido per ogni numero naturale n, basta dimostrarlo per n=1, e poi far vedere che se è vero ...
Leggi Tutto
Logiche non standard
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] vero quando A è falso o B è vero. Il senso implicativo di A⊃B in realtà emerge solo quando A⊃B è un teorema della logica di riferimento, nel qual caso si può applicare la regola del modus ponens che consente di inferire la conclusione B dall'ipotesi ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
GIORGINI, Gaetano
Dizionario Biografico degli Italiani (2001)
GIORGINI, Gaetano
Danilo Barsanti
Nacque il 15 giugno 1795 a Montignoso, in Versilia, da Niccolao e da Giovanna Fortini. La sua famiglia, patrizia lucchese e grande proprietaria della zona, partecipava [...] molte polemiche.
In quegli anni scrisse una memoria Sopra la dimostrazione della formula newtoniana (1821; postuma: Pisa 1911), pubblicò Teoremi sulle curve coniche (in Atti della R. Accademia lucchese di scienze, lettere ed arti, III [1823], pp. 63 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE