La domanda potrebbe richiedere una risposta molto lunga, viste le molte
\n interpretazioni e applicazioni di questa teoria. Ma per fortuna a noi
\n interessa la sua applicazioni solo in informatica, per cui si pu\u00f2 iniziare
\n col dire che la tesi di Church in realt\u00e0 viene quasi sempre nascosta dietro
\n un’altra tesi, quella di Turing che chiunque si occupi di informatica
\n conosce o dovrebbe conoscere, anche solo per sentito dire, se non la tesi
\n almeno il test di Turing. <\/p>\n
La prima versione di questa tesi potrebbe sembrare banale: <\/p>\n
“I problemi matematici possono essere risolti solo da operazioni matematiche”\n <\/p>\n
In effetti \u00e8 chiaro che un problema matematico non possa essere risolto
\n con nozioni di medicina, o speculazioni filosofiche (anche se… \ud83d\ude42 ).
\n A parte questo commento poco costruttivo, possiamo analizzare la tesi
\n in modo pi\u00f9 attento, e giungere ad una conclusione ben pi\u00f9 interessante.
\n Infatti se tutti i problemi matematici possono essere risolti con operazioni
\n matematiche, e se avessimo a disposizione una macchina in grado di risolvere
\n problemi matematici, le cose cambiano. <\/p>\n
Prima dell’avvento di questa macchina (e anche dopo \ud83d\ude42 ), gli stessi
\n problemi venivano risolti da esseri umani, che inevitabilmente eseguivano
\n operazioni matematiche, per cui almeno in parte la macchina e l’uomo svolgevano
\n le stesse operazioni. A questo punto interviene Turing che riprendendo
\n questa semplice tesi, aggiunge (Tesi di Church-Turing): <\/p>\n
Ci\u00f2 che pu\u00f2 essere calcolato da un essere umano pu\u00f2 essere calcolato
\n anche da una macchina<\/b><\/i><\/p>\n
A cui si possono unire le seguenti affermazioni collegate alla prima:\n <\/p>\n
Ci\u00f2 che pu\u00f2 essere calcolato da una macchina \u00e8 calcolabile cicli
\n di operazioni e\/o con funzioni ricorsive o parzialmente ricorsive. <\/b><\/i><\/p>\n
Ci\u00f2 che puo’ essere calcolato da un essere umano \u00e8 calcolabile
\n con cicli e\/o funzioni ricorsive oparzialmente ricorsive. <\/i><\/b><\/p>\n
E’ importante sottolineare che la tesi di Church-Turing non \u00e8 dimostrabile
\n come un teorema matematico, \u00e8 semplicemente un’ipotesi sui procedimenti
\n usati dal cervello umano per risolvere i problemi.<\/p>\n
Come ultima citazione (lo prometto) riporto la versione di Hardy che
\n trovo abbastanza divertente: <\/p>\n
In fondo tutti i matematici sono isomorfi (nel senso che compiono
\n pi\u00f9 o meno le stesse operazioni) <\/i><\/b><\/p>\n
Da cui deriva la tesi Church-Turing versione isomorfismo: <\/p>\n
Supponiamo che esista un metodo che un essere senziente possa seguire
\n per risolvere un problema e che permetta di ottenere un risultato in ogni
\n caso e in un tempo finito. Allora esiste un qualche programma che da esattamente
\n le stesse risposte del metodo dell’essere senziente. <\/i><\/b><\/p>\n
e non si ferma qu\u00ec: <\/p>\n
Inoltre il processo mentale ed il programma sono isomorfi, nel
\n senso che a un qualche livello, vi \u00e8 una corrispondenza tra i passi che
\n vengono compiuti nella macchina e nel cervello. <\/i><\/b><\/p>\n
Credo che a questo punto sia chiara l’importanza di questa tesi. Tanto
\n per iniziare ci suggerisce che se riusciamo a risolvere un problema (noi
\n esseri senzienti), esister\u00e0 un programma elaborato da una macchina, che
\n lo potrebbe risolvere al posto nostro. Ma soprattuto fa sorgere il dubbio
\n se sia possibile estendere il ragionamento non solo ai problemi matematici,
\n ma anche a tutti gli altri e quindi se sia possibile realizzare una macchina
\n pensante. <\/p>\n
Vorrei sottolineare che non ho messo la parola pensante tra virgolette,
\n perch\u00e9 in effetti una macchina pensante gi\u00e0 esiste e siamo noi stessi.
\n Probabilmente mi si potrebbe accusare di avere una visione meccanicista
\n della vita, in cui non trova posto il sovrannaturale (in cui molti credono),
\n o la religione con tutti i suoi annessi e connessi (l’anima, gli angeli,
\n Dio, …), ma questo \u00e8 un discorso che esula dall’argomento. <\/p>\n
Prima di terminare non posso evitare una breve citazione del pi\u00f9 famoso
\n test di Turing, pensato per poter stabilire se ci si trova davanti una
\n reale macchina pensante e quindi se si \u00e8 giunti alla realizzazione del
\n sogno di una delle branche pi\u00f9 affascinanti della scienza dell’informazione.<\/p>\n
Nel test si devono avere tre stanze comunicanti tra loro solamente con
\n un dispositivo che permetta uno scambio verbale senza vedere l’interlocutore
\n o ascoltare la sua voce, insomma senza sapere nulla dell’altro se non
\n il contenuto dei suoi messaggi. In una delle stanze ci sar\u00e0 una sorta
\n di giudice e nelle altre due (isolate tra di loro) un essere umano e l’ipotetica
\n macchina pensante. <\/p>\n
Se dopo un certo numero di scambi di messaggi il giudice, non riesca
\n a decidere o peggio si sbagli nel dire quale sia la macchina e quale l’uomo,
\n ci si trover\u00e0 difronte alla prima macchina intelligente. <\/p>\n
Forse non sar\u00e0 un test sicuro al cento per cento, anche considerando
\n che in passato ci si \u00e8 andati vicino con un programma passato alla storia
\n con il nome di Eliza, e che a differenza di quello che pensava Turing
\n non poteva certamente definirsi intelligente. Comunque la ricerca continua
\n e probabilmente non si riusciranno a vedere risultati interessanti per
\n molti anni. <\/p>\n
L’ultima cosa che vorrei aggiungere \u00e8 che questo tipo di approccio, in
\n realt\u00e0 non \u00e8 l’unico, e forse il pi\u00f9 promettente si st\u00e0 rivelando quello
\n delle reti neurali che sostituiscono la sequenza di operazioni previste
\n dalla macchina di Turing, con una rete neurale artificiale, in cui la
\n vera elaborazione non si trova un una singola entit\u00e0 computante, ma nella
\n cooperazione di piccole e semplici macchine (neuroni), che in numero molto
\n elevato lavorano contemporaneamente svolgendo solo una piccolissima frazione
\n del tutto. Alcuni risultati di questo approccio sono le memorie associative
\n di Hebb, e il Perceptron con cui si riescono a riconoscere delle forme
\n e quindi una sorta di senso della vista artificiale<\/p>\n
\u00a0 <\/p>\n","protected":false},"excerpt":{"rendered":"
[…]<\/p>\n","protected":false},"author":176,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[60],"tags":[],"class_list":["post-2004","post","type-post","status-publish","format-standard","hentry","category-domande-varie-informatica-e-telecomunicazioni"],"_links":{"self":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/2004","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/users\/176"}],"replies":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/comments?post=2004"}],"version-history":[{"count":0,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/2004\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/media?parent=2004"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/categories?post=2004"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/tags?post=2004"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}