El matemático rebelde que redefinió el signo de igual
Por: BBC Mundo Martes, Octubre 10, 2017-Hrs.
Cliff Moore/IAS, Princeton

Vladimir Voevodsky, ganador de la Medalla Fields, considerada el Premio Nobel de las matem√°ticas, muri√≥ a las 51 a√Īos por motivos desconocidos el viernes pasado en la Universidad de Princeton, en Nueva Jersey, Estados Unidos, donde era profesor desde 2002.

Nacido en Mosc√ļ, tuvo una relaci√≥n turbulenta con la escuela en su √©poca de estudiante, pues fue expulsado o faltaba a clases por considerarlas una p√©rdida de tiempo.

Hijo del director de un laboratorio de f√≠sica experimental en la Academia Rusa de Ciencias y de una profesora de qu√≠mica de la Universidad de Mosc√ļ, Voevodsky estudiaba matem√°ticas por su cuenta.

Sus investigaciones eran tan buenas que fue invitado por la Universidad de Harvard, en Cambridge, Massachusetts, aunque él no pidió admisión.

Despu√©s se convirti√≥ en profesor en la Universidad de Princeton. Y en 2002, con 36 a√Īos, gan√≥ Medalla Internacional para Descubrimientos Sobresalientes en Matem√°ticas, m√°s conocida como la Medalla Fields, considerada el Premio Nobel de las matem√°ticas.

Voevodsky realizó innumerables aportaciones a ese campo, pero hubo una fundamental.

Computadoras

"Redefini√≥ el signo de igual, que es lo m√°s elemental cuando se aprenden matem√°ticas; esto es, que una cantidad es igual que otra. √Čl hizo que fuera m√°s entendible para las computadoras", le explica a BBC Mundo Chris Kapulkin, quien colabor√≥ con Voevodsky en diferentes investigaciones.

El llamado "axioma univalente" es de suma importancia porque ayudó a crear un software que ayuda a los matemáticos a probar sus teoremas, agrega.

"Las computadoras son buenas computando, pueden procesar n√ļmeros muy grandes, pero tambi√©n pueden ser muy est√ļpidas. La contribuci√≥n de Voevodsky ayud√≥ a que una parte de la intuici√≥n humana pudiera incluirse en el software".

Kapulkin aclara que el software con este principio tiene ya algunas aplicaciones, por ejemplo en la compa√Ī√≠a Intel, pero que todav√≠a no se usa de una manera mayoritaria.

Dice que la revoluci√≥n est√° por venir y ser√° un cambio radical, que en los pr√≥ximos a√Īos se volver√° parte del d√≠a a d√≠a.

"Es como si antes escribiéramos los trabajos de investigación a mano. Ahora los escribimos en computadora solo para que se vean más bonitos, pero usando esos principios, se podrá verificar que cada paso es correcto".

La idea es "sutil, pero genial, brillante", sentencia.

Relevancia

Kapulkin cuenta que incluso a él mismo, siendo ya matemático, le costó trabajo comprender la relevancia que tendría este cambio.

"Antes los matem√°ticos presentaban sus trabajos y pasaban d√©cadas para que se pudieran detectar errores en ellos, si es que suced√≠a", dice. Y a√Īade que en parte Voedvodsky podr√≠a haberse concentrado en ese trabajo porque "sab√≠a que sus investigaciones eran tan abstractas que nadie podr√≠a revisarlas".

"En una forma sencilla, sus innovaciones ayudan que las prácticas matemáticas informáticas sean comprensibles para las computadoras", le explica a BBC Mundo Robert Harper, científico de computación de la Universidad Carnegie Mellon de Pittsburgh, EE.UU.

Harper asegura que era "c√°lido y modesto, a pesar de sus logros monumentales".

Los expertos también cuentan que Voevodsky siempre ayudó a investigadores más jóvenes y que siempre estaba dispuesto a aprender de los demás. "En cada discusión estaba dispuesto a cambiar sus ideas si alguien le demostraba lo contrario", asegura Kapulkin.