Turing Alan Mathison

Dizionario delle Scienze Fisiche (1996)

Turing Alan Mathison


Turing 〈tiùrin〉 Alan Mathison [STF] (Londra 1912 - Manchester 1954) Lettore di matematica nell'univ. di Manchester (1948). ◆ [INF] Ipotesi di T.: v. automi, teoria degli: I 330 b. ◆ [INF] Macchina di T.: modello meccanico di algoritmi, proposto da T. nel 1936: v. automi, teoria degli: I 330 b e Gödel, teorema di: III 56 f. ◆ [INF] Test di T.: v. intelligenza artificiale: III 233 b.

Vedi anche
Alonzo Church Church ‹čë´ëč›, Alonzo. - Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia all'univ. di California. Nel 1936 enunciò la proposizione oggi chiamata ... Marvin Lee Minsky Minsky ‹mìnski›, Marvin Lee. - Studioso di scienze cognitive statunitense (n. New York 1927), docente al MIT (Massachusetts institute of technology), è considerato uno dei fondatori dell'intelligenza artificiale. Si è occupato in particolare di rappresentazione della conoscenza e di apprendimento automatico. ... calcolatore (o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali. 1. Cenni storici 1.1 Le origini. - Il desiderio di realizzare uno strumento in grado di compiere operazioni aritmetiche semplici e ripetitive è stato sempre presente nella storia dell’umanità; ... computabilità computabilità In logica matematica, nozione che di solito s’identifica con quella di ricorsività generale, introdotta intorno al 1936 da A.M. Turing e da E.L. Post. Una funzione numerica di n variabili si dice computabile se esiste un algoritmo per cui si possa, con un numero finito di passi, calcolare ...
Categorie
Tag
Altri risultati per Turing Alan Mathison
  • Turing
    Enciclopedia della Matematica (2013)
    Turing Alan Mathison (Londra 1912 - Wilmslow, Cheshire, 1954) logico e matematico inglese. È uno dei fondatori della teoria della → calcolabilità e quindi dell’informatica, e un pioniere dell’intelligenza artificiale. Figlio di un funzionario del servizio civile coloniale, frequentò la scuola pubblica ...
  • Turing, Alan Mathison
    Dizionario di filosofia (2009)
    Matematico e logico matematico inglese (Londra 1912 - Manchester 1954). Dal 1948 fu lettore di matematica nell’univ. di Manchester. Il suo nome è legato a un metodo da lui indicato per dare un significato preciso al concetto intuitivo di funzione effettivamente computabile mediante una macchina astrattamente ...
  • Turing, Alan Mathison
    Enciclopedia on line
    Matematico e logico matematico britannico (Londra 1912 - Manchester 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 ...
Vocabolario
turìngio
turingio turìngio agg. [der. del nome della regione] (pl. f. -ge o -gie). – Della Turingia (ted. Thüringen), regione storica e moderna della Germania centro-orientale: le antiche popolazioni t., di stirpe germanica (e, sost., i turingi);...
turingiano
turingiano agg. e s. m. [dal nome della regione della Turingia (v. turingio)]. – Piano geologico superiore del permiano, tipico dell’Europa centro-orientale e in partic. della Turingia (corrispondente alla facies detta in Germania Zechstein),...