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
Turing-calcolabilita
Enciclopedia della Matematica (2013)
Turing-calcolabilita
Turing-calcolabilità → Turing, macchina di. ...
Leggi Tutto
Turing, macchina di
Enciclopedia della Matematica (2013)
Turing, macchina di
Turing, macchina di automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene introdotta [...] q1, …, qs} comprende due particolari stati, q0 e qƒ che sono, rispettivamente, lo stato iniziale e lo stato finale. Una macchina di Turing è, quindi, costituita da una sestupla {Σ, σ0, K, δ, q0, qƒ }. Una sua configurazione è una stringa del tipo σi ...
Leggi Tutto
Turing, test di
Enciclopedia della Matematica (2013)
Turing, test di
Turing, test di criterio ideato da A.M. Turing per dimostrare la capacità di pensare di una macchina. Fu proposto nel 1950 in un articolo pubblicato sulla rivista «Mind». Si tratta di [...] l’analisi della grafia o della voce), le risposte alle domande di C devono essere dattiloscritte o similarmente trasmesse. Il test di Turing si basa sul presupposto che una macchina si sostituisca ad A. In tal caso, se C non si accorgesse di nulla ...
Leggi Tutto
Turing, macchina universale di
Enciclopedia della Matematica (2013)
Turing, macchina universale di
Turing, macchina universale di → Turing, macchina di. ...
Leggi Tutto
Turing, configurazione di una macchina di
Enciclopedia della Matematica (2013)
Turing, configurazione di una macchina di
Turing, configurazione di una macchina di → Turing, macchina di. ...
Leggi Tutto
Turing, problema della fermata di una macchina di
Enciclopedia della Matematica (2013)
Turing, problema della fermata di una macchina di
Turing, problema della fermata di una macchina di → Turing, macchina di. ...
Leggi Tutto
automi, classificazione di
Enciclopedia della Matematica (2013)
automi, classificazione di
automi, classificazione di → Turing, macchina di. ...
Leggi Tutto
informatica
Enciclopedia on line
Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. [...] nuovo elaboratore fu inaugurato nel 1952. A seguito delle ricerche sulla ricorsività e sulla macchina ideale condotte da Turing, von Neumann aveva maturato la convinzione che quel computer dovesse essere considerato non solo come ‘macchina da calcolo ...
Leggi Tutto
CAPTCHA
Lessico del XXI Secolo (2012)
CAPTCHA
(in it. <kàpča>) s. m. invar. – Sigla di Completely automated public turing test to tell computers and humans apart. Test completamente automatico per distinguere i computer dagli esseri [...] nel 2003 da Luis von Ahn, Manuel Blum, Nicholas Hopper e John Langford, il CAPTCHA è considerato un test di Turing inverso, in cui un sistema automatico deve riconoscere un essere umano (e non viceversa, come nella formulazione originaria). Nel 2008 ...
Leggi Tutto