Alan Turing y el Poder del Pensamiento Negativo

Alan Turing y el Pensamiento 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 estrategia de Turing se basaba en una técnica matemática llamada diagonalización que tiene una historia distinguida. ¶ Crédito: Kristina Armitage/Quanta Magazine

Los algoritmos se han vuelto omnipresentes. Optimizan nuestros desplazamientos, procesan pagos y coordinan el flujo del tráfico de Internet. Parece que para cada problema que se pueda formular en términos matemáticos precisos, hay un algoritmo que puede resolverlo, al menos en principio.

Pero ese no es el caso: algunos problemas aparentemente simples nunca pueden resolverse de manera algorítmica. El pionero científico de la computación Alan Turing demostró la existencia de estos problemas “no computables” hace casi un siglo, en el mismo artículo en el que formuló el modelo matemático de la computación que lanzó la ciencia de la computación moderna.

Turing demostró este resultado innovador utilizando una estrategia contra intuitiva: definió un problema que simplemente rechaza cualquier intento de resolverlo.

“Te pregunto qué estás haciendo y luego digo: ‘No, voy a hacer algo diferente'”, dijo Rahul Ilango, estudiante de posgrado en el Instituto de Tecnología de Massachusetts que estudia ciencias de la computación teórica.

From Quanta Magazine View Full Article