Cerca nel blog

martedì 16 ottobre 2012

Istituto Superiore di Scienze Religiose Ecclesia Mater - SEFIR - La macchina universale di Turing, la relazione tra hardware e software e i limiti della calcolabilità. DIBATTITO PUBBLICO

 

Istituto Superiore di Scienze Religiose                                                                                  Conferenza Episcopale Italiana

"Ecclesia Mater"                                                                                                                 Servizio Naz.le per il Progetto Culturale

    SEFIR

"Scienza e Fede sull'Interpretazione del Reale"

Area di ricerca interdisciplinare

 

La macchina universale di Turing,

la relazione tra hardware e software

e i limiti della calcolabilità.

 

DIBATTITO PUBBLICO dedicato alla figura e alle scoperte del grande matematico "padre" del calcolatore elettronico, di cui cade quest'anno il centenario della nascita.

 
Pontificia Università Lateranense, Aula 301

Piazza S. Giovanni in Laterano 4,  Roma

Venerdì 26 ottobre 2012, h. 17.30

 

Sappiamo che i processi di calcolo possono essere rappresentati come sequenze di simboli (software) che carichiamo sui nostri computer (hardware): queste sequenze possono anche mettere in moto fenomeni fisici per risolvere molteplici problemi. Esistono però dei limiti teorici alla possibilità di risolvere problemi, anche se potessimo aumentare la capacità di memorizzazione dei computer in maniera illimitata, se avessimo cioè un computer di dimensioni infinite.

Per celebrare i 100 anni della nascita di Alan Turing, matematico, logico e critto-analista inglese, che con le sue intuizioni permise di sviluppare i processi che portarono alla nascita dell'informatica, SEFIR ha invitato il Prof. Alberto Pettorossi docente di Informatica Teoretica all'Università di Roma Tor Vergata, introdotto dal prof. Giandomenico Boffi, ad approfondire i limiti della calcolabilità, partendo dalle idee di base della nota Macchina di Turing. Queste idee sono state al fondamento della costruzione del primo calcolatore elettronico programmabile, "Colossus", che permise negli anni '40 di forzare il famoso codice criptato della macchina "Enigma" usata dai Tedeschi e che diede un contributo notevole alla soluzione della Guerra a favore degli Alleati.

 

Turing fu anche il primo a comprendere che lo sviluppo delle "Macchine" avrebbe dovuto tener conto della "non calcolabilità" di alcune funzioni matematiche. Egli, partendo dalla sua "Macchina", indagò sulla relazione tra l'intelligenza umana e le macchine di calcolo ed elaborò anche una serie di ipotesi sulle caratteristiche della morfogenesi biologica, sul rapporto fra vita e casualità di incredibile attualità.

Questi i temi dalle implicazioni anche teologiche di più ampio respiro, elaborati dagli studiosi di Intelligenza Artificiale, che verranno affrontati dal Prof. Pettorossi.

La conferenza, il cui ingresso è libero, si svolge in parallelo alle due giornate seminariali del gruppo di lavoro SEFIR che si dedica alle "Parole della scienza". Una ventina tra scienziati, filosofi e teologi che riflette già da tempo sull'utilizzo di alcuni vocaboli comuni tanto nel discorso scientifico quanto in quello filosofico e teologico. Temi degli anni passati, le parole "caso", "probabilità", "misura", "verifica", "esperimento", "irreversibilità", "trasformazione", "complessità" e "struttura".

 

I termini del 2012 saranno teoria  e  modello.     

 

 

Rapporti con la stampa

Paola Scarsi 333 8601060

 

 

 

pubblicato alle

Nessun commento:

Posta un commento

Iscriviti a: Commenti sul post (Atom)

Tutte le news della Rete le trovi sul:


Giornale online realizzato da una redazione virtuale composta da giornalisti e addetti stampa, professionisti di marketing, comunicazione, PR, opinionisti e bloggers. Il CorrieredelWeb.it vuole promuovere relazioni tra tutti i comunicatori e sviluppare in pieno le potenzialità della Rete per una comunicazione democratica e partecipata.

Disclaimer

www.CorrieredelWeb.it e' un periodico telematico senza scopi di lucro, i cui contenuti vengono prodotti al di fuori delle tradizionali industrie dell'editoria o dell'intrattenimento, coinvolgendo ogni settore della Societa' dell'Informazione, fino a giungere agli stessi utilizzatori di Internet, che divengono contemporaneamente produttori e fruitori delle informazioni diffuse in Rete. In questo la testata ambisce ad essere una piena espressione dell'Art. 21 della Costituzione Italiana.

Pur essendo normalmente aggiornato piu' volte quotidianamente, CorrieredelWeb.it non ha una periodicita' predefinita e non puo' quindi considerarsi un prodotto editoriale ai sensi della legge n.62 del 7.03.2001.

L'Autore non ha alcuna responsabilita' per quanto riguarda qualità e correttezza dei contenuti inseriti da terze persone. L'Autore si riserva, tuttavia, la facolta' di rimuovere quanto ritenuto offensivo, lesivo o contraro al buon costume.

Le immagini e foto pubblicate sono in larga parte strettamente collegate agli argomenti e alle istituzioni o imprese di cui si scrive. Alcune fotografie possono provenire da Internet, e quindi essere state valutate di pubblico dominio. Eventuali detentori dei diritti d'autore non avranno che da segnalarlo via email alla redazione, che provvedera' all'immediata rimozione o citazione della fonte, a seconda di quanto richiesto.

Viceversa, sostenendo una politica volta alla libera circolazione di ogni informazione e divulgazione della conoscenza, ogni articolo pubblicato sul CorrieredelWeb.it, pur tutelato dal diritto d'autore, può essere ripubblicato citando la legittima fonte e questa testata secondo quanto previsto dalla licenza Creative Common.

Questa opera è pubblicata sotto una Licenza Creative Commons Creative Commons License

CorrieredelWeb.it è un'iniziativa del Cav. Andrea Pietrarota, Sociologo della Comunicazione, Public Reporter, e Giornalista Pubblicista

indirizzo skype: apietrarota