Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] complessità si è rivelato più efficace nella teoriadellacalcolabilità che in quella della probabilità.
Un tentativo più promettente di alterare i fondamenti della probabilità che appartengono alla teoria degli insiemi potrebbe avere origine nell ...
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 dellateoriadellacalcolabilità, si sarebbe dimostrato che il problema è effetivamente irrisolubile.
Il termine omotopia compare per la prima volta nell'articolo ...
Leggi Tutto
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
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] Subject Classification. Essa mostra rinvii dalla combinatoria alla logica matematica e ai fondamenti (calcolabilità e teoriadella ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici degli insiemi parzialmente ordinati ...
Leggi Tutto
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] critica sui concetti stessi di effettività e calcolabilità. Di fatto gli algoritmi tipici del calcolo 1970 dal fisico M. Virasoro. La costruzione con cui tale a. appare nella teoriadelle a. di Kac-Moody è di nuovo suggerita dalla fisica ed è detta '' ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] , è naturale trattare in primo luogo la nozione di calcolabilità (o ‛computabilità') nel sistema dei numeri naturali, vale a dire cercare di stabilire in quali condizioni una funzione dellateoria dei numeri - cioè una funzione con argomento e valori ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] Subject Classification. Essa mostra rinvii dalla combinatoria alla logica matematica e ai fondamenti (calcolabilità e teoriadella ricorsività), a ordini, reticoli, strutture algebriche ordinate (aspetti algebrici degli insiemi parzialmente ordinati ...
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
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] assunto, nel tempo, un ruolo particolarmente importante e costituiscono ormai capitoli ben definiti dell'informatica teorica: modelli di calcolo e calcolabilità, teoria degli automi e dei linguaggi formali, analisi e progetto di algoritmi e strutture ...
Leggi Tutto