Turing, macchinadi automa universale, elaborato dal logico inglese A.M. Turing, che fornisce una traduzione formale del concetto intuitivo di → calcolabilità. Sebbene [...] se qj = q0 mentre si dice finale se qj = qƒ. Una transizione elementare di una macchinadiTuring è una funzione C → C dove C è l’insieme delle sue possibili configurazioni e ... ...
Leggi Tutto
Penrose, Sir Roger. - Matematico e fisico britannico (n. Colchester 1931). P. ha dato importanti contributi nella teoria della relatività [...] una teoria basata su un'analogia tra le attività della mente e una macchinadiTuring, accomunate dalla capacità di operare per algoritmi. Ha inoltre proposto e studiato la nozione ...
Leggi Tutto
Logica matematica *La voce enciclopedica Logica matematica è stata ripubblicata da [...] la stessa nozione astratta dimacchinadiTuring abbia notevolmente contribuito allo sviluppo concreto dell'invenzione del calcolatore. Una macchinadiTuring - che prende il nome ...
Leggi Tutto
informatica Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’i. si occupa della rappresentazione, dell’organizzazione [...] , che possiamo datare al 1936, allorché A.M. Turing presentò un modello di calcolo, oggi noto come macchinadiTuring. 1. Elaborazione delle informazioni È caratterizzata da tre ...
Leggi Tutto
Turing ‹ti̯ùriṅ›, Alan Mathison. - Matematico e logico matematico britannico ( [...] Manchester. Dalle sue ricerche svolte prima della seconda guerra mondiale derivò l'elaborazione della macchinadi T. Questa è costituita da un nastro diviso in campi, il quale può ... ...
Leggi Tutto
CIBERNETICA (App. III, 1, p. 368). - Rispetto a tutto ciò che la c. prometteva negli anni Quaranta e Cinquanta, gli sviluppi realizzati in seguito da questa nuova [...] modelli di Grey Walter, la macchinadi P. Nayrac, il modello di C. E. Shannon, quelli di A. M. Uttley, di B. L. M. Chapman, di F. H. George, di P. M. Milner, di P. Rosenblatt, di R ...
Leggi Tutto
di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari [...] 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 ... ...
Leggi Tutto
màcchina (ant. màchina) s. f. [dal lat. machina, che è dal gr. dorico µa¿a¿¿, attico µ¿¿a¿¿]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo che il moto...