MacchinadiTuring
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 [...] nei due versi e risulta diviso in celle, ciascuna contenente un simbolo appartenente a un insieme finito di simboli detto alfabeto.
Ogni ;macchinadiTuring deve possedere un alfabeto che contenga il simbolo speciale b (blank, spazio), i simboli 0 e ...
Leggi Tutto
Logica e processi cognitivi
Carlo Cellucci
Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore [...] in quell'istante. Le sue operazioni possono essere scomposte in passi atomici semplici, e si può concepire una macchina ideale, la macchinadiTuring, che simuli tale comportamento in modo che a ogni stato mentale corrisponda una configurazione della ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] a porre certi limiti alle tecnologie: ad esempio dalla teoria matematica (dal teorema di Gödel) consegue che la costruzione di una macchinadiTuring capace di calcolare qualsiasi funzione è logicamente impossibile. Da teorie scientifiche consegue l ...
Leggi Tutto
scienza cognitiva L’insieme delle discipline (intelligenza artificiale, psicologia cognitiva, linguistica, psicolinguistica, filosofia della mente e del linguaggio, neuroscienze, antropologia), che hanno [...] celebre test escogitato da A. Turing (➔ Turing, Alan Mathison), il quale, partendo dall’assunto che è impossibile distinguere, in circostanze sperimentali opportune, tra le prestazioni cognitive di una macchina e quelle di un essere umano, suggeriva ...
Leggi Tutto
universale
universale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] spec. per misurazioni geodetiche. ◆ [ALG] Fibrato u.: v. fibrati: II 571 d. ◆ [ASF] Funzione u. (di luminosità): v. galassie: II 810 e. ◆ [INF] MacchinadiTuring u.: v. automi, teoria degli: I 330 e. ◆ [OTT] Obiettivo u.: nella tecnica fotografica ...
Leggi Tutto
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 macchinadiTuring. [...] che devono esistere funzioni cui non corrisponde 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 ...
Leggi Tutto
Somenzi, Vittorio
Antonio Rainone
Filosofo della scienza, nato a Redondesco (Mantova) il 2 aprile 1918. Ufficiale meteorologo nel Genio aeronautico, nel 1945 partecipò alla Resistenza come ufficiale [...] mente-macchina nella prospettiva di un'interpretazione delle attività mentali in termini di elaborazione di informazione; presentati scritti di N. Wiener, A.M. Turing, C.E. Shannon, J. von Neumann e diversi altri. Sostenitore di un approccio ...
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...