universit À degli studi di napoli “federico ii”

Download UNIVERSIT À DEGLI STUDI DI NAPOLI “FEDERICO II”

Post on 19-Mar-2016

44 views

Category:

Documents

0 download

Embed Size (px)

DESCRIPTION

UNIVERSIT À DEGLI STUDI DI NAPOLI “FEDERICO II”. S.I.C.S.I INDIRIZZO TECNOLOGICO - CLASSE 042 CORSO DI STORIA DELL’INFORMATICA E DEL CALCOLO AUTOMATICO. TURING. PRESENTAZIONE A CURA DI ONORATO GENNARO. Contesto storico. - PowerPoint PPT Presentation

TRANSCRIPT

  • UNIVERSIT DEGLI STUDI DI NAPOLIFEDERICO II

    TURING

    S.I.C.S.IINDIRIZZO TECNOLOGICO - CLASSE 042CORSO DI STORIA DELLINFORMATICA E DEL CALCOLO AUTOMATICO

    PRESENTAZIONE A CURA DI ONORATO GENNARO

  • Contesto storicoHilbert al Secondo Congresso Internazionale di Matematica di Parigi del 1900 fece un intervento di portata storica in cui enumer 23 problemi aperti.Tra questi (il secondo) la verifica della consistenza degli assiomi dellaritmetica.

    Il lavoro di Hilbert era focalizzato al raggiungimento di un formalismo matematico universale

  • I teorema di GoedelK. Goedel dimostr (1931, I Teorema di Incompletezza) che in ogni sistema assiomatico (sufficientemente espressivo, cio da contenere almeno laritmetica) sipu costruire una sentenza sui numeri naturali la quale:

    o non pu essere n provata n refutata allinterno del sistema (sistema incompleto);o pu essere provata e refutata allinterno del sistema (sistema inconsistente).

    In altre non tutte le sentenze vere sono teoremi (cio derivabili dagli assiomi usando le regole di inferenza del sistema).

  • II teorema di GoedelGoedel dimostr inoltre (II Teorema di Incompletezza) che ogni sistema assiomatico (sufficientemente espressivo, cio da contenere almeno laritmetica)non pu provare la propria consistenza, risolvendo cos in negativo il 2 problema di Hilbert.

    I teoremi di Goedel gettarono lo scompiglio tra le fila dei matematici dellepoca, poich lidea che qualcosa di matematicamente vero potesse non esser dimostrabile implicava un ridimensionamento essenziale, anche se circoscritto a singoli problemi, nella capacit argomentativa del metodo matematico.

  • Entscheindungsproblem

    Trovare una procedura algoritmica per decidere se una qualunque formula nella logica dei predicati valida (p.es. se una qualunque formula dellaritmetica unteorema, cio derivabile dagli assiomi mediante le regole di inferenza)

    In un articolo intitolato On Computable Numbers, with an Application to the Entscheidungsproblem, un giovane matematico di nome Turing dimostr la non esistenza di tale algoritmo.

  • TuringALAN MATHISON TURING (1912-1954)

    Uno dei pionieri dello studio della logica dei computer cos come la conosciamo oggi ed il primo ad interessarsi all'argomento dellintelligenza artificiale.

  • Peculiarit di un genio (1)Fin dall'infanzia ebbe una grande passione per esperimenti e invenzioni, il che lasciava presagire un notevole interesse per gli aspetti applicativi della scienza, e per la bicicletta e la corsa fino alla morte, cosa che mostrava un interesse per l'attivit fisica oltre che intellettuale, interesse non condiviso dalla mentalit universitaria dell'epoca, che sosteneva la frattura tra "atleti" ed "esteti".

  • Peculiarit di un genio (2)Fu infantile (si fece regalare un orsacchiotto di pezza per Natale a ventidue anni) e antiaccademico (era ancora assistente a trentasei anni). Canticchiava per giorni l'incantesimo della strega malvagia di Biancaneve (sulla mela velenosa), quindici anni prima di scegliere questo metodo per suicidarsi. Durante la guerra seppell lingotti d'argento in modo cos sicuro da non riuscire a ritrovarli dopo la fine.Non sopportava gli sciocchi e arrivava al punto di abbandonare le conversazioni che riteneva vuote e le compagnie poco interessanti repentinamente e senza una sola parola di commiato.

  • Peculiarit di un genio (3)Impar a fare la maglia da una ragazza che aveva deciso di sposare, nonostante la propria omosessualit.

    Durante il periodo dell'impollinazione andava in bicicletta indossando la maschera antigas per evitare la febbre da fieno, e durante la stagione delle piogge circolava avvolto in una tela cerata gialla.

    Legava la tazza del t al termosifone con un lucchetto per evitare che gli fosse rubata.

    Si presentava a lezione con la giacca del pigiama al posto della camicia e pretendeva di lavorare quando voleva, a prescindere dagli orari "standard"

  • Peculiarit di un genio (4)Gettava nel cestino le lettere di sua madre, dicendo che stava sicuramente benissimo.

    Faceva calcoli, anche durante le conferenze pubbliche, con numeri in base 32 scritti all'indietro (come dovevano essere inseriti nel computer).

    Giocava a tennis nudo sotto un impermeabile e non disdegn di discutere con un bambino, chiedendosi se Dio avrebbe preso il raffreddore se si fosse seduto sulla nuda terra.

  • La gioventAlan Turing era giunto a Cambridge nel 1931; vi giunse, in un certo senso, per amore.

    Nato nel 1912 da un impiegato del servizio civile britannico in India, secondo di due figli, era stato spedito in un convitto inglese all'et di nove anni dalla madre, che giudicava l'ambiente indiano inadatto all'educazione dei figli.

    Nulla nella tipica educazione inglese poteva assecondare e ispirare un ragazzino chiuso e sensibile come Alan. Di certo non fu un'infanzia particolarmente felice.

  • Gli studi stentati

    Amava inventare esperimenti di chimica, sdraiarsi e osservare il passaggio delle nuvole oppure, come avrebbe ricordato la madre, "guardar crescere le margherite". Leggeva moltissimo e aveva una spiccata intuizione, ma gli insegnanti avevano di lui una pessima reputazione. Sebbene alcuni insegnanti notarono in lui caratteristiche non comuni " A.M. Turing ha dimostrato di avere attitudini non comuni e notare gli aspetti meno evidenti di certe questioni", su di lui non si riversava alcuna speranza perch, come scrisse il preside della scuola dove si diplom, Turing era destinato a "essere il tipo di ragazzo condannato a rappresentare un problema in ogni tipo di scuola e comunit".

  • Lincontro con Morcom

    Diplomatosi con difficolt, nel 1931 giunse a Cambridge.

    La strada che lo port al prestigioso istituto aveva un nome, Christopher Morcom. Lo conobbe nel 1928 e tra i due fu immediato feeling. Turing era tanto pasticcione, irritante, geniale e bizzarro, per quanto l'altro era gentile, raffinato, intelligente, in breve uno studente e un figlio modello.

    I due, mistero delle grandi amicizie, legarono fortemente ed era facile trovarli a discutere di alti problemi scientifici o a scherzare goliardicamente.

  • Interesse per la mecc. quant.

    Nel 1928 Morcom fece domanda al Trinity College. Turing decise di seguire l'amico, tuttavia Morcom fu promosso all'esame di ammissione, Turing fu bocciato. Due mesi dopo, l'amicizia tra i due si interruppe in modo drammatico; il grande amico di Alan, malato di tubercolosi, mor due anni dopo il loro incontro. Turing ne fu sconvolto. Scrisse alla madre di Cristopher numerose lettere nelle quali cercava di confortare la donna. Voleva dimostrare che lo spirito del giovane era ancora vivo seppur separato dal corpo.

    Tali riflessioni erano supportate dalla convinzione che la meccanica quantistica avrebbe potuto permettere tale possibilit.

  • Luniversit

    Decise di entrare al King's College come se volesse rendere l'ultimo omaggio all'amico scomparso.

    Riusc a ottenere una borsa di studio al Trinity dove ebbe modo di essere allievo di Eddington, Hardy, Shaw e Russell, e dove conobbe uno degli amori pi grandi della sua vita: il teatro, in particolare lo spettacolo Biancaneve e i sette nani. Per settimane canticchi il ritornello che accompagnava la scena nella quale la strega cattiva immergeva la mela nella pozione avvelenata. Un ritornello che lo accompagner fino all'ultimo dei suoi giorni.

  • Turing e la crittografia

    Turing fu presto interessato alla criptografia e alla criptoanalisi.

    Durante la seconda guerra mondiale Turing mise le sue capacit matematiche al servizio del "Department of Communications" inglese per decifrare i codici usati nelle comunicazioni tedesche, un compito particolarmente difficile in quanto i tedeschi avevano sviluppato un tipo di computer denominato "Enigma (progettato da Arthur Scherbius), capace di generare un codice che mutava costantemente.

  • ENIGMA vs COLOSSUSROTORE DI ENIGMACOLOSSUSTuring ed i suoi compagni lavorarono con uno strumento chiamato "Colossus" che decifrava in modo veloce ed efficiente i codici tedeschi creati con "Enigma".

  • Bletchley Park Trustricostruzione della "Bombe room"Bletchley Park Trust, Hut 6(dove si studiava la decodifica di Enigma)

  • Intelligenza artificiale

    Dopo questo contributo fondamentale allo sforzo bellico, finita la guerra, continu a lavorare per il "National Physical Laboratory" (NPL), continuando la ricerca nel campo dei computer digitali. Lavor nello sviluppo all'"Automatic Computing Engine" (ACE), uno dei primi tentativi nel creare un vero computer digitale. Fu in questo periodo che inizi ad esplorare la relazione tra i computer e la natura. Scrisse un articolo dal titolo "Intelligent Machinery", pubblicato poi nel 1969. Fu questa una delle prime volte in cui sia stato presentato il concetto di "Intelligenza Artificiale".

  • Test di Turing

    Turing era dell'idea che si potesse raggiungere la chimera di un'intelligenza davvero artificiale seguendo gli schemi del cervello umano. A questo proposito, scrisse nel 1950 un articolo in cui descriveva quello che attualmente conosciuto come il Test di Turing. Questo test, una sorta di esperimento mentale, prevede che una persona, chiusa in una stanza e senza avere alcuna conoscenza dell'interlocutore con cui sta parlando, dialoghi sia con un altro essere umano che con una macchina intelligente. Se il soggetto in questione non riuscisse a distinguere l'uno dall'altra, allora si potrebbe dire che la macchina, in qualche modo, intelligente.

  • MdTCALCOLABILITCosa pu fare una macchinaCOMPLESSITCosa si intende per algoritmo complessoAlan Turing propose nel 1936 l'idea di una macchina immaginaria che potesse effettuare ogni ti

Recommended

View more >