La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] dei lavori di Dedekind e Cantor, si traduce nella pratica matematica del giovane Hilbert, quando nel 1890 dimostra il fondamentale teorema della base, cioè il fatto che, data un'infinità di forme in n variabili e di grado qualunque, a coefficienti ...
Leggi Tutto
Vicino Oriente antico. La matematica
Jöran Friberg
La matematica
Gli esercizi metro-matematici nel III millennio
La ricerca sulla matematica mesopotamica conobbe il suo periodo pionieristico a partire [...] definizioni né assiomi, e né enunciati o dimostrati teoremi. Vi sono tuttavia molte indicazioni che mostrano come la diverso dall'impostazione assiomatica, basata su definizioni, assiomi, teoremi e dimostrazioni, tipica della geometria greca (v. ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Platone
Mario Vegetti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Allievo di Socrate e discendente da una nobile famiglia ateniese, Platone può [...] indipendentemente dalle circostanze in cui vengono dimostrati e dagli oggetti materiali su cui viene condotta la dimostrazione. Il teorema di Pitagora non vale soltanto per il triangolo disegnato dal matematico (che può essere grande o piccolo, nero ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] lineare locale di f da cui si ricava il classico metodo di Newton per la risoluzione numerica di un’equazione). Certi teoremi che garantiscono la convergenza di questi metodi a un punto di minimo (locale) α si basano su classiche ipotesi di tipo ...
Leggi Tutto
Informatica: salto nel vuoto?
Corrado Böhm
Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] , come vedremo. Tuttavia non dobbiamo disperare. In certi casi, nonostante abbiamo la dimostrazione dell’inesistenza della soluzione, un teorema di Gödel viene in nostro soccorso, come ben presto sarà chiarito. Si deve, in qualche modo, riuscire a ...
Leggi Tutto
FELICI, Riccardo
Roberto Maiocchi
Nacque a Parma l'11 giugno 1819. Le sue origini sono oscure: nell'ambiente dei suoi amici e degli allievi più intimi circolava la voce che fosse figlio illegittimo, [...] " consente di "scoprire con piena sicurezza" le leggi fondamentali della natura, portando alla identificazione di "fátti" e "teoremi", il F. operò con l'intenzione di fondare direttamente sul responso degli strumenti la validità e la forma delle ...
Leggi Tutto
GIORDANO, Vitale
Cesare Preti
Nacque a Bitonto, in terra di Bari, il 15 ott. 1633 da Francesco e Minerva Torriero. Passò l'infanzia e la giovinezza nella città pugliese, dove fu avviato alla carriera [...] in Italia, IV, Firenze 1859, pp. 249 s.; F. Amodeo, Vita matematica napoletana, Napoli 1905, pp. 45 s.; R. Bonola, Un teorema di G. V., in Boll. di bibliografia e storia delle scienze matematiche, VIII (1905), pp. 33-36; G. Vailati, Sulla teoria ...
Leggi Tutto
GERBALDI, Francesco
Aldo Brigaglia
Nacque a La Spezia il 29 luglio 1858 da Francesco e da Caterina Boeris. Compì i suoi studi universitari a Torino dove allora insegnavano E. D'Ovidio (la cui influenza [...] di quart'ordine, ibid., VII [1893], pp. 178-190).
Ancora legata a questioni introdotte dal Cremona è la memoria Un teorema sulle singolarità della jacobiana di quattro superficie algebriche, ibid., X (1896), pp. 158-160; il G. qui studia con metodi ...
Leggi Tutto
algoritmi
Roberto Levi
Istruzioni per far funzionare da sole le macchine
Molte attività umane non si possono svolgere senza seguire precise indicazioni. Come le 'istruzioni per l'uso' spiegano il funzionamento [...] di calcolo.
Un esempio di algoritmo: il calcolo del massimo comun divisore
Il matematico greco Euclide, famoso per i suoi teoremi di geometria, creò anche un algoritmo per il calcolo del massimo comun divisore (MCD) fra due numeri interi. L ...
Leggi Tutto
PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] oppure per stabilire come lo possa essere. Il prolog è, quindi, una sorta di dimostratore automatico di teoremi perché stabilisce cosa è deducibile dalla base di conoscenza posseduta. Esso tuttavia sviluppa calcoli logici nella loro generalità ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
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...