Alan Turing e il Potere del Pensiero Negativo

Alan Turing e il Pensiero Negativo

.fav_bar { float:left; border:1px solid #a7b1b5; margin-top:10px; margin-bottom:20px; } .fav_bar span.fav_bar-label { text-align:center; padding:8px 0px 0px 0px; float:left; margin-left:-1px; border-right:1px dotted #a7b1b5; border-left:1px solid #a7b1b5; display:block; width:69px; height:24px; color:#6e7476; font-weight:bold; font-size:12px; text-transform:uppercase; font-family:Arial, Helvetica, sans-serif; } .fav_bar a, #plus-one { float:left; border-right:1px dotted #a7b1b5; display:block; width:36px; height:32px; text-indent:-9999px; } .fav_bar a.fav_print { background:url(‘/images/icons/print.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_print:hover { background:url(‘/images/icons/print.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.mobile-apps { background:url(‘/images/icons/generic.gif’) no-repeat 13px 7px #FFF; background-size: 10px; } .fav_bar a.mobile-apps:hover { background:url(‘/images/icons/generic.gif’) no-repeat 13px 7px #e6e9ea; background-size: 10px} .fav_bar a.fav_de { background: url(/images/icons/de.gif) no-repeat 0 0 #fff } .fav_bar a.fav_de:hover { background: url(/images/icons/de.gif) no-repeat 0 0 #e6e9ea } .fav_bar a.fav_acm_digital { background:url(‘/images/icons/acm_digital_library.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_acm_digital:hover { background:url(‘/images/icons/acm_digital_library.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.fav_pdf { background:url(‘/images/icons/pdf.gif’) no-repeat 0px 0px #FFF; } .fav_bar a.fav_pdf:hover { background:url(‘/images/icons/pdf.gif’) no-repeat 0px 0px #e6e9ea; } .fav_bar a.fav_more .at-icon-wrapper{ height: 33px !important ; width: 35px !important; padding: 0 !important; border-right: none !important; } .a2a_kit { line-height: 24px !important; width: unset !important; height: unset !important; padding: 0 !important; border-right: unset !important; border-left: unset !important; } .fav_bar .a2a_kit a .a2a_svg { margin-left: 7px; margin-top: 4px; padding: unset !important; }

La strategia di Turing si basava su una tecnica matematica chiamata diagonalizzazione che ha una storia distinta. ¶ Credito: Kristina Armitage/Quanta Magazine

Gli algoritmi sono diventati ubiqui. Ottimizzano i nostri spostamenti, elaborano pagamenti e coordinano il flusso del traffico Internet. Sembra che per ogni problema che può essere espresso in termini matematici precisi, esista un algoritmo in grado di risolverlo, almeno in teoria.

Ma non è sempre così: alcuni problemi apparentemente semplici non possono essere risolti tramite algoritmi. Il pioniere informatico Alan Turing ha dimostrato l’esistenza di tali problemi “non calcolabili” quasi un secolo fa, nello stesso articolo in cui ha formulato il modello matematico di calcolo che ha dato il via alla moderna informatica.

Turing ha dimostrato questo risultato innovativo utilizzando una strategia controintuitiva: ha definito un problema che semplicemente respinge ogni tentativo di risolverlo.

“Ti chiedo cosa stai facendo e poi ti dico: ‘No, farò qualcosa di diverso'”, ha detto Rahul Ilango, uno studente di dottorato presso il Massachusetts Institute of Technology che studia informatica teorica.

Da Quanta Magazine Visualizza l’articolo completo