calcolabilita
calcolabilità in logica, termine che indica la possibilità di descrivere in modo sequenziale, deterministico e finito, una procedura di calcolo che consenta di pervenire a un dato risultato. [...] , consiste cioè in una descrizione concettuale che mostra come scomporre un processo di calcolo in singoli passi elementari (→ Turing, macchinadi). La macchinadiTuring è quindi un modello che fornisce una traduzione formale del concetto intuitivo ...
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 [...] Stearns e Philip M. Lewis, i quali hanno definito e studiato il concetto di classe di complessità per le macchinediTuring. A tali studi hanno fatto seguito quelli di Manuel Blum e Albert Meyer, aventi per oggetto le proprietà astratte (indipendenti ...
Leggi Tutto
Discreto e continuo
Paolo Zellini
Matematica e intuizione
La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] cui appartiene il dato in uscita. Il classico problema dell’arresto diTuring (esistenza di una procedura che ci informi se una qualsiasi macchinadiTuring, con un sistema di dati iniziali, si arresterà o meno) ha il corrispondente nella definizione ...
Leggi Tutto
Tecnologie per la gestione dell’informazione
Francesco Rogo
Era digitale e società dell’informazione
L’informazione ha ormai conquistato i più diversi ambiti della nostra società, ricoprendo ruoli d’importanza [...] sui processi classici della computazione – basata sul modello astratto della macchinadiTuring –, bensì su un nuovo paradigma computazionale che altera la nozione di trattabilità della grandezza maneggiata dai computer, appunto l’informazione ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] funzioni nella classe di quelle computabili con una macchinadiTuring. Esiste altresì una macchinadiTuring universale, capace di realizzare il funzionamento di qualsiasi macchinadiTuring specificata.
La macchinadiTuring quantistica
Fu Deutsch ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] procedure aritmetiche. Per questo era opportuno introdurre modelli di calcolo il più possibile somiglianti alla macchinadiTuring, sebbene calibrati sulla natura specifica del problema numerico. Prima di von Neumann fu Scholtz a introdurre, in una ...
Leggi Tutto
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, [...] realizzabili nel mondo fisico, per esempio da una macchina. Benché egli si avvalga di un linguaggio di programmazione estremamente primitivo (ora chiamato 'macchinadiTuring'), si tratta ugualmente di un decisivo passo avanti verso l'era del ...
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
La cibernetica inaugura, nella prima metà del Novecento, lo studio comparato degli organismi [...] , che tentano un approccio generale alla cognizione antitetico a quello della macchinadiTuring, attribuito all’IA e alla scienza cognitiva classiche. Anche gli automi di Gerald Edelman, basati sui principi del suo “darwinismo neurale”, si collocano ...
Leggi Tutto
Matematica e strumenti di calcolo
Angelo Guerraggio
Matematica e strumenti di calcolo
Quella che ha portato ai moderni calcolatori è una strada lunga, anche se percorsa negli ultimi decenni con un passo [...] problema della decisione) in cui si trova la descrizione di una macchina ideale, oggi universalmente nota come macchinadiTuring, che segna un passo decisivo verso il consolidamento di una mentalità algoritmica e l’avvicinamento all’era dei computer ...
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
Il cognitivismo ha riportato in primo piano lo studio dei processi che possono legittimamente [...] e all’IA. In esse è in diversa misura evidente l’influsso dell’approccio computazionale, ispirato alla macchinadiTuring. Tra i contributi principali alla nascita e ai primi sviluppi della scienza cognitiva possono essere ricordate le ricerche ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...