Cerca in:
L'Universo matematico
Frontiere della Vita (1998)
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, [...] di molti matematici, la risposta è ancora no. Alan Turing a Cambridge, Emil Post e Alonzo Church a York, Paideia Press, 1970.
HERKEN, R., a c. di The universal Turing machine: a halfcentury survey. Oxford, Oxford University Press, 1988.
GEROCH, R ...
Leggi Tutto
Matematica: problemi aperti
Enciclopedia della Scienza e della Tecnica (2007)
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] possibile esprimere in termini matematici una domanda che riguarda il funzionamento dei computer dipende dai famosi risultati di Alan Turing (lo studioso inglese che decifrò il codice tedesco ENIGMA durante la Seconda guerra mondiale). Nel 1936, egli ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Computazione, teoria della
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 [...] dovesse consistere in una elencazione finita di operazioni elementari, ciascuna eseguibile meccanicamente in tempo finito. Nel 1936 Alan Turing introduceva la sua macchina (MT), che divenne il modello accettato di procedura e rimane tale per la ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] . Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi importanti interrogativi riguardanti la ...
Leggi Tutto
Fondamenti della matematicae teoria algoritmica dell'informazione
Enciclopedia della Scienza e della Tecnica (2007)
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] di verifica per le dimostrazioni. Definiremo teoria assiomatica formale un siffatto sistema formale. Come è stato mostrato da Alan Turing e ulteriormente chiarito da Emil Leon Post, l'insieme X di tutti i teoremi che sono conseguenza degli assiomi ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Programmazione, algoritmi di
Enciclopedia della Scienza e della Tecnica (2008)
Programmazione, algoritmi di
Alessandro Panconesi
Il termine algoritmo denota un procedimento sistematico ed esplicitato nei suoi passi elementari per l’esecuzione di un calcolo, inteso nella sua accezione [...] : the enigma, New York, Simon and Schuster, 1983 (trad. it.: Storia di un enigma: vita di Alan Turing, Torino, Bollati Boringhieri, 1991).
Luccio, Pagli 1999: Luccio, Fabrizio - Pagli, Linda, Algoritmi, divinità e gente comune, Pisa, ETS, 1999.
Nagel ...
Leggi Tutto
macchina di Turing
Enciclopedia della Scienza e della Tecnica (2008)
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] Alan Turing, come sistema astratto che, opportunamente programmato, era capace di eseguire ogni tipo di operazione (l’idea di Turing era di rendere automatica una macchina da scrivere). Oggi ne esistono molte varianti, la più semplice delle quali è ...
Leggi Tutto
calcolabilita
Enciclopedia della Scienza e della Tecnica (2008)
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] alcun algoritmo di calcolo, ovvero problemi non risolubili mediante algoritmi. Il primo di questi problemi, scoperto da Alan Turing nel 1936, può essere formulato in termini intuitivi affermando che non esiste algoritmo che, presi come dati d ...
Leggi Tutto
CATEGORIA:
LOGICA
La grande scienza. Automi e linguaggi formali
Storia della Scienza (2003)
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] ; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post, Alonzo Church e Alan M. Turing, motivati dalla necessità di dare un fondamento alla nozione di dimostrazione matematica sulla via inaugurata dai lavori di David ...
Leggi Tutto
Turing, Alan Mathison
Enciclopedia on line
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un metodo da lui indicato per dare un significato preciso al concetto intuitivo di funzione effettivamente computabile mediante una macchina astrattamente definita (macchina di T.).
Dal 1948 fu lettore ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE