STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] di una curva, ma è anche il punto di partenza dellateoriadella misura: è l’integrale indefinito a diventare allora un integrale che tali formalizzazioni catturassero completamente il senso dellacomputabilità effettiva (tesi di Church: ogni funzione ...
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 nei ...
Leggi Tutto
La grande scienza. Geometria non commutativa
Alain Connes
Geometria non commutativa
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo, allora la teoria generale [...] 1982) abbiamo introdotto una K-teoria definita geometricamente che contempla in particolare gruppi discreti, gruppi di Lie, azioni di gruppi e foliazioni. Le proprietà principali sono la computabilità e la semplicità delle definizioni. Nel caso dei ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] l'abilità di comprendere cose come la teoria quantistica, i buchi neri, la teoriadella relatività, pur non avendo di per sé umana.
La computabilità
Il costruttivismo, però, ci insegna qualcosa sul carattere matematico della natura. Possiamo vedere ...
Leggi Tutto
Geometria non commutativa
Alain Connes
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo allora la teoria generale della relatività dà chiaramente ragione a Carl [...] F. Baum abbiamo introdotto una K-teoria definita geometricamente che contempla in particolare gruppi discreti, gruppi di Lie, azioni di gruppi e foliazioni. Le proprietà principali sono la computabilità e la semplicità delle definizioni. Nel caso dei ...
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 [...] lo sviluppo dei calcolatori a programma memorizzato. È 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à ...
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 [...] Cinquanta, con un interesse via via crescente, la teoriadella ricorsività ha cercato di svincolarsi dall'approccio puramente numerico e di estendere la propria ricerca alla nozione di computabilità su oggetti di varia natura. Una tale estensione è ...
Leggi Tutto
Arte e architettura
Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] Bagrickij, V.A. Lugovskoj, V.M. Inber) e, soprattutto, nel campo dell’architettura con le realizzazioni e i progetti dei fratelli Vesnin, di K.S. ai concetti di computabilità, decisione ecc., ed è alla base dellateoriadella ricorsività (➔). ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] 346-72; E. Casari, Computabilità e ricorsività, Varese 1959; R. Magari, Su certe teorie non enumerabili (sulle limitazioni dei potente. Con queste ipotesi e utilizzando la teoriadella ricorsività primitiva, Gödel dimostrò nella predetta memoria ...
Leggi Tutto
GRAMMATICA GENERATIVA
Giulio Lepschy
. La g. g. (di cui la g. trasformazionale è il tipo più importante) costituisce la maggiore novità nella linguistica teorica contemporanea. È stata ideata e costruita [...] lingua deve "fare un uso infinito di mezzi finiti") e gli studi compiuti nel nostro secolo sulla teoria matematica dellacomputabilità e della ricorsività (A. M. Turing, E. Post, ecc.) che consentono di dare una formulazione precisa a tale intuizione ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...