• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

Turing, Alan Mathison

Enciclopedia on line
  • Condividi

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 mediante una macchina astrattamente definita (macchina di T.).

Vita e attività

Dal 1948 fu lettore di matematica all'univ. di Manchester. Dalle sue ricerche svolte prima della seconda guerra mondiale derivò l'elaborazione della macchina di T. Questa è costituita da un nastro diviso in campi, il quale può scorrere in un senso o nell'altro quanto si vuole; ciascun campo è adatto a contenere esattamente un simbolo di un ben determinato alfabeto finito. La macchina inoltre possiede una memoria, capace di ritenere un numero finito di istruzioni, e un "occhio" in grado di esaminare esattamente un campo per volta. Una macchina di T., trovandosi di fronte a determinati simboli scritti (in conformità di precise istruzioni), esegue il relativo calcolo e si porta in una nuova posizione finale esibendo il risultato del calcolo. Naturalmente non tutte le operazioni o funzioni sono eseguibili con questo mezzo. Una funzione a n argomenti numerici sarà detta T. computabile esattamente quando esiste una macchina di T. capace di fornire il valore della funzione in corrispondenza di una determinata n-pla di numeri. Il nome di T. è legato anche ad altri importanti risultati di logica matematica, come una dimostrazione dell'indecidibilità del calcolo predicativo puro e alla dimostrazione dell'insolubilità del problema della parola per i semigruppi. A T. si deve anche l'elaborazione del test di T., criterio che consente di stabilire se una macchina è intelligente, consistente nella impossibilità di distinguere, in un dialogo scritto, se ci si trova di fronte a un interlocutore umano o a un artefatto. Durante la seconda guerra mondiale T. contribuì a decrittare il codice Enigma usato dai tedeschi per le comunicazioni radio.

Opere

Tra le opere: On computable numbers, with an application to the Entscheidungsproblem (1936-37); Computability and λ-definibility (1937); Systems of logic based on ordinals (1939); The word problem in semi-groups with cancellation (1950).

Vedi anche
informatica 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. Il termine i. deriva dal fr. informatique (composto di INFORMATion e automatIQUE, «informazione automatica») ... Gregory Chaitin Matematico statunitense (New York 1947). Ha apportato importanti contributi alla teoria algoritmica dell'informazione (AIT), combinando il metodo di C. Shannon (') e la teoria della computabilità di A.M. Turing ('). Autore di molti saggi, i suoi studi hanno portato a dimostrare l'esistenza della casualità ... logica Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» nell’ambiente protostoico, pur conservando λογικός per tutta la grecità il valore ... matematica Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla m. applicata compete l’elaborazione di strumenti e modelli adatti agli scopi di altre scienze (fisica, ...
Categorie
  • BIOGRAFIE in Matematica
Tag
  • SCIENZA DELL'INFORMAZIONE
  • INTELLIGENZA ARTIFICIALE
  • SECONDA GUERRA MONDIALE
  • LOGICA MATEMATICA
  • MATEMATICA
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
    Dizionario delle Scienze Fisiche (1996)
    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, ...
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),...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali