La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] della teoria delle equazioni differenziali non lineari e alla scoperta delle principali tecniche che sono ancora oggi alla base Una di queste, introdotta da Tadeusz Wazewski (1896-1972) nel 1947, si basa sul teoremadella non retrazione di una ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Lo sviluppo della matematica di Apollonio: Desargues, Pascal¿
Paolo Freguglia
Lo sviluppo della matematica di Apollonio: Desargues, Pascal e le [...] tra il birapporto (FAGH) e il birapporto (CAγB) prescindendo dai segni. Questo teorema corrisponde alla proposizione VII.129 delle Collectiones di Pappo.
Teorema 5: Sulla basedi [Pascal, teor. 4], si può dimostrare che:
ovvero:
La [11] non ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] suoi centri più vivi: le celebri ricerche diHilbert sui fondamenti della geometria elementare, ad esempio, verranno solo di tutti i numeri ordinali: in base al teorema suddetto, esso deve essere caratterizzato da un numero ordinale che è maggiore di ...
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 [...] Hilbert e della sua scuola – nata a partire dagli anni Venti del Novecento – che dà alla matematica, e alla geometria in particolar modo, una base sovrabbondante per la deduzione dei teoremi voluti. Sebbene la ricerca diHilbert non sia svolta con ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] logica vi fu, accanto alla pubblicazione dei teoremi gödeliani di completezza e compattezza della logica elementare e della sistemazione formale a opera di Arend Heyting delle idee brouweriane, l'autentico insediamento sulla scena internazionale ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] in un solo volume il sapere matematico dell’epoca, scritto in forma condensata, mediante i simboli logici, sarebbe stata utile sia come fonte di ispirazione per nuove ricerche, sia come basedi confronto con altre sistemazioni assiomatiche e trattati ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Renato Caccioppoli
Luca Dell'Aglio
Figura chiave nello sviluppo del pensiero matematico in Italia durante la prima parte del Novecento, le sue ricerche spaziano nei vari rami dell’analisi matematica, [...] presente una versione del teoremadelle contrazioni di Banach, la cui formulazione originaria risale al 1922. Fin dall’inizio di queste ricerche di Caccioppoli appare chiara la questione dell’applicazione del teoremadi punto fisso alla trattazione ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] presso la comunità informatica: oggi, infatti, è ampiamente accettato come la base logica della programmazione funzionale, soprattutto a seguito della scoperta di Stephen D. Scott nel 1970 di modelli del λ-calcolo. Più in generale, recenti sviluppi ...
Leggi Tutto
Euclide
Pier Daniele Napolitani
Il padre della geometria
Euclide, vissuto agli inizi del 3° secolo a.C., è noto soprattutto per i suoi Elementi, una vasta raccolta in cui espone i concetti fondamentali [...] li studiarono a fondo, facendone la basedella loro matematica. Nel Medioevo si diffusero soprattutto versioni degli Elementi tradotte in latino dall'arabo, anche se non mancarono traduzioni eseguite sulla basedi manoscritti greci. La più importante ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] il logicismo) collocate oltre la soglia della dimostrabilità?
Il secondo teorema d’incompletezza aggiunge che è irrealizzabile anche il più sofisticato programma diHilbert che tenta di dimostrare la coerenza dell’aritmetica basandosi su metodi tutti ...
Leggi Tutto