La seconda rivoluzione scientifica: matematica e logica. La teoriadella misura
Maurice Sion
La teoriadella misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] tende all'infinito. Questo problema non emerge in dimensione uno. Nel 1905 Vitali dimostrò un teorema fondamentale sul quale si basa la maggior parte dellateoriadella derivazione, il teorema di ricoprimento di Vitali: se una famiglia H consiste ...
Leggi Tutto
Computazione, teoriadella
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 [...] questa l'origine dei due assi portanti dellateoriadella computazione, cioè la computabilità e la complessità di calcolo.
Il secondo problema di Hilbert sulla dimostrazione di compatibilità degli assiomi dell'aritmetica, posto all'inizio del XX sec ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] di due gruppi non è in generale risolubile. Molto più tardi, con lo sviluppo dellateoriadella calcolabilità, si sarebbe dimostrato che il problema è effetivamente irrisolubile.
Il termine omotopia compare per la prima volta nell'articolo ...
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' [...] state poi chiamate) divennero una branca favorita dellateoriadelle funzioni speciali.
L'insistenza di Lagrange sulle situazioni risolverle; per l'equazione di quinto grado, Lagrange dimostrò nel 1772 che era improbabile che una simile procedura ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] oppure è minore di due retti, e dimostrava che nel secondo caso tutti i triangoli rettangoli con gli stessi angoli sono uguali. In questa geometria immaginaria non vale più la teoria euclidea della similitudine e addirittura tutti i triangoli simili ...
Leggi Tutto
Natalità
Gustavo De Santis
Natalità e fecondità
Con il termine 'natalità' si indica, sinteticamente, la frequenza relativa delle nascite per unità di tempo per unità di popolazione. E questo, come la [...] po' meno velocemente.
La natalità nei modelli demografici e nelle teoriedella popolazione
Nelle relazioni (2) e (3) si è evidenziato può anzi osservare che questo genere di ricerca si è dimostrato infruttuoso in passato ed è stato oggi quasi del ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] è esagerato affermare che in quelle conversazioni fu costruita la teoriadelle superficie algebriche secondo l'indirizzo italiano" (cfr. Period dei risultati, dovuto al carattere intuitivo delledimostrazioni, sono state pienamente rivalutate in anni ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] di dimostrazione formale nell'indagine matematica, Peacock tenta, nel Treatise on algebra (1830; seconda edizione ampliata in due volumi: 1842-1845) di fornire una sistemazione dellateoria dei numeri complessi e di quelli negativi, ricorrendo ...
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, [...] e la più breve tra tali computazioni consiste di t mosse. Nonostante l'apparente potenziamento del modello, la teoriadella computabilità dimostra che gli insiemi di stringhe accettate non cambiano, mentre cambia il numero di mosse eseguite dalle due ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] in questa disciplina, in quanto costituisce la genesi delle moderne dimostrazioni di esistenza nei modelli di equilibrio generale, della programmazione lineare, del teorema dell'autostrada e dellateoria del punto fisso. Il modello di von Neumann ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...