Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] la prima volta superati i limiti delle conoscenze matematiche dei Greci, con la risoluzione e la teoriadelle equazioni di 3° e 4° algoritmo, di programma, di calcolabilità, e con le ricerche nel campo dell’intelligenza artificiale. Il programma ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoriadella ricorsivita
Piergiorgio Odifreddi
Teoriadella ricorsività
La teoriadella ricorsività affronta lo studio delle funzioni con lo [...] il lavoro di Kleene terminò la fase di consolidamento dellateoriadella ricorsività, che occupò gli anni Venti e i primi per il caso dellacalcolabilità fisica, l'evidenza a disposizione non è certo favorevole alla versione umana della tesi di ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] forma. Si pensi alle differenti varianti dellateoriadelle parallele, in particolare a partire da della sua opera è che al-Samaw᾽al seppe piegare le nozioni aristoteliche di necessario, possibile e impossibile in direzione di quelle di calcolabilità ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] magari con una legge di ricorrenza. Tale condizione di calcolabilità viene meno con gli insiemi più che numerabili. Un dopo che era stato chiarito come fosse essenziale per la sua teoriadella misura; senza l'assioma, non si può dimostrare che questa ...
Leggi Tutto